>> 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 Symposium on the Semantics of Data Types, Kahn, G., MacQueen, D. B. (David B.), 1946-, Plotkin, G. …

Springer-Verlag

Courant Computer Science Symposium, Rustin, Randall

Prentice-Hall

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

IEEE Computer Society Press

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

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

Springer

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

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 Workshop on Practical Aspects of Declarative Languages, Krishnamurthi, Shriram, Ramakrishnan, C. R.

Springer

IFIP WG 2.6 Working Conference on Data Semantics, Steel, Thomas B., 1929-, Meersman, R., IFIP WG 2.6

North-Holland

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

Springer

Brookes, Stephen D., Conference on the Mathematical Foundations of Programming Semantics

Springer-Verlag

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