A decade of concurrency : reflections and perspectives : REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993 : proceedings

>> Google Books

所蔵情報QRコード

A decade of concurrency : reflections and perspectives : REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993 : proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg, (eds.)

資料種別:

図書

出版情報:

Berlin ; New York : Springer-Verlag, c1994

形態:

684 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 803 <BA00009279>

著者名:

ISBN:

9783540580430 [3540580433] (: gw)
9780387580432 [0387580433] (: us)

書誌ID:

BA22946848

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	Includes bibliographical references
主題:	Parallel processing (Electronic computers)--Congresses
言語:	英語

東工大ブックレビュー

類似資料:

1 電子ブック A Decade of Concurrency: Reflections and Perspectives : Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. … Bakker, J.W.de., Roever, W.-P.de., Rozenberg, G., SpringerLink (Online service)	7 電子ブック Semantics: Foundations and Applications REX Workshop, Bakker, Jacobus Willem, Roever, W.-P de, Rozenberg, Grzegorz SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 図書 Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings (: gw ; : us) REX School/Workshop, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz Springer-Verlag	8 電子ブック Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness Bakker, Bakker, Jacobus Willem, Roever, W.-P de, Rozenberg, Grzegorz SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 電子ブック A Decade of Concurrency Reflections and Perspectives Bakker, Bakker, Jacobus Willem, Roever, W.-P de, Rozenberg, Grzegorz SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 電子ブック Foundations of Object-Oriented Languages : REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990 Bakker, J.W. de., Roever, W.P. de., Rozenberg, G., SpringerLink (Online service)
4 図書 Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings (: gw ; : us) REX Workshop, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz Springer-Verlag	10 図書 Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings (: gw ; : us) REX Workshop, Bakker, Jacobus Willem de, 1939- Springer-Verlag
5 図書 Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop, Mook, the Netherlands, May 29-June 2, 1989, proceedings (: gw ; : us) REX Workshop, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz Springer-Verlag	11 図書 PARLE : parallel architectures and languages Europe, Eindhoven, The Netherlands, June 15-19, 1987 : proceedings (v. 1 : gw - v. 2 : us) Conference on Parallel Architectures and Languages Europe, Bakker, Jacobus Willem de, 1939-, Nijman, A. J., Treleaven, … Springer-Verlag
6 電子ブック Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 Bakker, Jacobus W. de., Roever, Willem-Paul de., Rozenberg, Grzegorz., SpringerLink (Online service)	12 電子ブック Current Trends in Concurrency : Overviews and Tutorials Bakker, Jacobus W. De., Roever, Willem-Paul De., Rozenberg, Grzegorz., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12