<図書>

Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings / I. Guessarian (ed.)

(Lecture notes in computer science;469)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図 : gw 39:L:1.469 2012326258

5708/保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer-Verlag
出版年 c1990
大きさ iv, 456 p. : ill. ; 25 cm
一般注記 "The School was organized jointly by the LITP (Laboratoire d'informatique théorique et programmation, Paris) and IRIT (Institut pour la recherche en informatique de Toulouse)"--Foreword
Includes bibliographical references
著者標目 Guessarian, Irène, 1948-
Laboratoire Informatique Théorique et Programmation (France). Spring School (1990 : La Roche Posay, France)
Institut pour la recherche en informatique de Toulouse
件 名 LCSH:Parallel processing (Electronic computers)
LCSH:Programming languages (Electronic computers) -- Semantics
分 類 LCC:QA76.58
DC20:004/.35
本文言語 英語
書誌ID 2000194594
ISBN 3540534792
NCID BA11415533 WCLINK

類似資料

  1. 1 Non-monotonic extensions of logic programming : ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers / Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski (eds.)
  2. 2 Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings / A. Beaumont, G. Gupta (eds.)
  3. 3 Specification and verification of concurrent systems / C. Rattray, (ed.)
  4. 4 Parallelism, learning, evolution : Workshop on Evolutionary Models and Strategies, Neubiberg, Germany, March 10-11, 1989, Workshop on Parallel Processing, Logic, Organization, and Technology-WOPPLOT 89, Wildbad Kreuth, Germany, July 24-28, 1989 : proceedings / J.D. Becker, I. Eisele, F.W. Mündemann, eds
  5. 5 Parallel computing : state-of-the-art and perspectives / edited by E. D'Hollander ... [et al.] ; co-edited by K. De Bosschere, J. Van Campenhout
  6. 6 CONCUR '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings / Ugo Montanari, Vladimiro Sassone, (eds.)
  7. 7 Proceedings of the 1996 ICPP Workshop on Challenges for Parallel Processing, August 12, 1996 / H.J. Siegel, editor
  8. 8 Parallel computation : Third International ACPC Conference with special emphasis on parallel databases and parallel I/O, Klagenfurt, Austria, September 23-25, 1996 : proceedings / László Böszörményi (ed.)
  9. 9 Euro-Par'96 : parallel processing : Second International Euro-Par Conference, Lyon, France, August 26-29, 1996 : proceedings / Luc Bougé ...[et al.] (eds.)
  10. 10 CONCUR '95 : concurrency theory : 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, proceedings / Insup Lee, Scott A. Smolka, (eds.)

検索結果一覧に戻る ページトップ