A Decade of Concurrency Reflections and Perspectives | 東京工業大学附属図書館蔵書検索

>> Google Books

A Decade of Concurrency Reflections and Perspectives / Bakker, Jacobus Willem Bakker, W.-P de Roever, Grzegorz Rozenberg

資料種別:

電子ブック

出版情報:

SpringerLink Books - AutoHoldings
Springer Berlin Heidelberg, 1994

著者名:

ISBN:

9783540580430 [3540580433]
9783540484233 [354048423X]

書誌ID:

OB00485177

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

その他の標題:	A DECADE OF CONCURRENCY REFLECTIONS & PERSPECTIVES
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 A decade of concurrency : reflections and perspectives : REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993 : proceedings (: gw ; : us) REX School/Symposium, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz Springer-Verlag	7 図書 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
2 電子ブック Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness Bakker, Bakker, Jacobus Willem, Roever, W.-P de, Rozenberg, Grzegorz SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 図書 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
3 電子ブック Semantics: Foundations and Applications REX Workshop, Bakker, Jacobus Willem, Roever, W.-P de, Rozenberg, Grzegorz SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 図書 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
4 電子ブック Current Trends in Concurrency : Overviews and Tutorials Bakker, Jacobus W. De., Roever, Willem-Paul De., Rozenberg, Grzegorz., SpringerLink (Online service)	10 図書 Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988 (: gw ; : us) Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz, School/Workshop on Linear Time, … Springer-Verlag
5 図書 Current trends in concurrency : overviews and tutorials (: gw ; : us) ESPRIT/LPC Advanced School on Current Trends in Concurrency, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, … Springer-Verlag	11 図書 Languages for parallel architectures : design, semantics, implementation models Bakker, Jacobus Willem de, 1939- Wiley
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 電子ブック Real-Time: Theory in Practice REX Workshop, Bakker, Jacobus Willem SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12