>> Google Books
所蔵情報QRコード

Semantics of concurrent computation : proceedings of the international symposium, Evian, France, July 2-4, 1979 / edited by Gilles Kahn

資料種別:
図書
出版情報:
Berlin : Springer-Verlag, 1979
形態:
vi, 368 p. ; 25 cm
シリーズ名:
Lecture notes in computer science ; 70 <BA00009279>
著者名:
ISBN:
9783540095118 [354009511X] (: gw)
9780387095110 [038709511X] (: us)
書誌ID:
BA03647715
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

International Workshop on Practical Aspects of Declarative Languages, Krishnamurthi, Shriram, Ramakrishnan, C. R.

Springer

International Symposium on the Semantics of Data Types, Kahn, G., MacQueen, D. B. (David B.), 1946-, Plotkin, G. …

Springer-Verlag

International Workshop PSLS, 伊藤, 貴康(1940-), Halstead, Robert H., 1953-, Queinnec, Christian

Springer

International Symposium on Databases in Parallel and Distributed Systems, Agrawal, Rakesh, Bell, D. A. (David A.), IEEE …

IEEE Computer Society Press

Courant Computer Science Symposium, Rustin, Randall

Prentice-Hall

Kahn

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

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

Springer-Verlag

International Workshop on Practical Aspects of Declarative Languages, Hanus, Michael, 1959-

Springer

IFIP TC-10/WG 10.1 Workshop on Concepts and Characteristics of Declarative Systems, Dávid, Gábor, 1942-, Boute, …

North-Holland, Distributors for the U.S. and Canada, Elsevier Science Pub. Co.

International Conference on Concurrency Theory, Mazurkiewicz, Antoni, Winkowski, Józef, 1934-

Springer

International Symposium on Solving Irregularly Structured Problems in Parallel, Bilardi, G. (Gianfranco)

Springer

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12