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

CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, the Netherlands, August 26-29, 1991 : proceedings / J.C.M. Baeten, J.F. Groote, (eds.)

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1991
形態:
ix, 540 p. ; 25 cm
シリーズ名:
Lecture notes in computer science ; 527 <BA00009279>
著者名:
International Conference on Concurrency Theory <DA05734533>
Baeten, J. C. M. <DA01868152>
Groote, J. F. (Jan Frisco), 1965- <DA05698203>
Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands) <DA0054797X>
Universiteit van Amsterdam <DA00497408>
European Research Consortium for Informatics and Mathematics <DA05941935>
さらに 1 件
ISBN:
9783540544302 [3540544305] (: gw)
9780387544304 [0387544305] (: us)
書誌ID:
BA12823841
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 CONCUR '90 : theories of concurrency: unification and extension : Amsterdam, the Netherlands, August 27-30, 1990 : proceedings (: gw ; : us)

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

Springer-Verlag
7 図書 CONCUR '98 : concurrency theory : 9th International Conference, Nice, France, September 8-11, 1998 : proceedings

International Conference on Concurrency Theory, Sangiorgi, Davide, Simone, Robert de

Springer
2 電子ブック CONCUR '90 Theories of Concurrency: Unification and Extension

Baeten, Baeten, J. C. M., Klop, J. W., Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands)

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
8 図書 CONCUR '97 : concurrency theory : 8th International Conference, Warsaw, Poland, July 1-4, 1997 : proceedings

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

Springer
3 図書 CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings

International Conference on Concurrency Theory, Baeten, Jos C. M., Mauw, Sjouke

Springer
9 図書 CONCUR '95 : concurrency theory : 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, proceedings

International Conference on Concurrency Theory, Lee, Insup, Smolka, Scott A.

Springer-Verlag
4 図書 CONCUR '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings

International Conference on Concurrency Theory, Montanari, U. (Ugo), Sassone, Vladimiro

Springer
10 図書 CONCUR '92 : Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992 : proceedings (: gw ; : us)

International Conference on Concurrency Theory, Cleaveland, W. R. (Walter Rance), 1961-

Springer-Verlag
5 図書 Proceedings : Sixth Annual IEEE Symposium on Logic in Computer Science, July 15-18, 1991, Amsterdam, the Netherlands (: paper ; : case ; : microfiche)

Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of …

IEEE Computer Society Press
11 図書 CONCUR '94: Concurrency theory : 5th International Conference, Uppsala, Sweden, August 22-25, 1994, proceedings (: us ; : gw)

International Conference on Concurrency Theory, Jonsson, Bengt, 1957-, Parrow, Joachim, 1956-

Springer-Verlag
6 図書 CONCUR 2005 - concurrency theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings

International Conference on Concurrency Theory, Abadi, Martín, De Alfaro, Luca, 1966-

Springer
12 図書 CONCUR 2001 - concurrency theory : 12th International Conference, Aalborg, Denmark, August 20-25, 2001 : proceedings

International Conference on Concurrency Theory, Larsen, K. G. (Kim G.), 1957-, Nielsen, M. (Mogens), 1949-

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