>> Amazon.co.jp
このページのQRコード

Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group

種類:
図書
責任表示:
editors, J.W. de Bakker and J.J.M.M. Rutten
出版情報:
Singapore : World Scientific, 1992
著者名:
ISBN:
9789810210410 [9810210418]  CiNii Books  Calil
注記:
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Control flow semantics

Bakker, Jacobus Willem de, 1939-, Vink, Erik de

MIT Press
7 図書 CONCUR '90 : theories of concurrency: unification and extension : Amsterdam, the Netherlands, August 27-30, 1990 : proceedings

Baeten, J. C. M., Klop, J. W. (Jan Willem), 1945-, Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands), …

Springer-Verlag
2 図書 Current trends in concurrency : overviews and tutorials

ESPRIT/LPC Advanced School on Current Trends in Concurrency, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, …

Springer-Verlag
8 図書 The atlas of finite groups : ten years on

Curtis, Robert, 1946-, Wilson, Robert, 1958-

Cambridge University Press
3 図書 Parallel computing 1988 : Shell Conference, Amsterdam, the Netherlands, June 1/2, 1988 : proceedings

Shell Conference, Zee, Gerrit A. van, 1951-, Vorst, Johannes G. G. van de, Koninklijke Shell Laboratorium

Springer-Verlag
9 図書 Computer algebra and parallelism

Della Dora, J., Fitch, John, 1945-

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

REX School/Symposium, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz

Springer-Verlag
10 図書 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 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

Bakker, Jacobus W. De., Roever, Willem-Paul De., Rozenberg, Grzegorz., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
11 図書 Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings

REX Workshop, Bakker, Jacobus Willem de, 1939-

Springer-Verlag
6 図書 Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings

REX Workshop, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz

Springer-Verlag
12 図書 Ten papers in analysis

Budi︠a︡nu, M. S.

American Mathematical Society