CONCUR '90 Theories of Concurrency: Unification and Extension | 東京工業大学附属図書館蔵書検索

>> Google Books

CONCUR '90 Theories of Concurrency: Unification and Extension / Baeten, J. C. M. Baeten, J. W. Klop, Netherlands) Centrum voor Wiskunde en Informatica (Amsterdam

資料種別:

電子ブック

出版情報:

SpringerLink Books - AutoHoldings
Springer Berlin Heidelberg, 1990

著者名:

ISBN:

9783540530480 [3540530487]
9783540463955 [354046395X]

書誌ID:

OB00488989

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

その他の標題:	CONCUR '90 THEORIES OF CONCURRENCY CONCUR '90 THEORIES OF CONCURRENCY: UNIFICATION & EXTENSION
言語:	英語

東工大ブックレビュー

Loading review 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 図書 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
2 図書 CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, the Netherlands, August 26-29, 1991 : proceedings (: gw ; : us) International Conference on Concurrency Theory, Baeten, J. C. M., Groote, J. F. (Jan Frisco), 1965-, Centrum voor … Springer-Verlag	8 電子ブック CONCUR 2003 - Concurrency Theory International Conference on Concurrency Theory, Amadio, Roberto M., Lugiez, Denis SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 電子ブック CONCUR’99 Concurrency Theory International Conference on Concurrency Theory, Baeten, J. C. M., Mauw, S., Mauw, Sjouke SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 電子ブック CONCUR '91 Baeten SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 図書 Markov decision theory : proceedings of the Advanced Seminar on Markov Decision Theory held at Amsterdam, The Netherlands, September 13-17, 1976 Advanced Seminar on Markov Decision Theory, Wessels, Jacobus, 1939-, Centrum voor Wiskunde en Informatica (Amsterdam, … Mathematisch Centrum	10 図書 Algorithmic languages : proceedings of the International Symposium on Algorithmic Languages International Symposium on Algorithmic Languages, Bakker, Jacobus Willem de, 1939-, Vliet, J. C. (Johannes Cornelis) … North-Holland Pub. Co.
5 図書 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	11 電子ブック CONCUR 2013 ? Concurrency Theory D'Argenio, Pedro R.; Melgratti, Hernan Springer eBooks Computer Science, Springer Berlin Heidelberg
6 図書 Mathematics and computer science : proceedings of the CWI symposium, November 1983 Bakker, J. W. de (Jacobus Willem), 1939-, Hazewinkel, Michiel, Lenstra, J. K., Symposium on Mathematics and Computer … North-Holland	12 電子ブック CONCUR 2006 ? Concurrency Theory Baier, Christel, Hermanns, Holger, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin / Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12