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

>> Google Books

所蔵情報QRコード

CONCUR '90 : theories of concurrency: unification and extension : Amsterdam, the Netherlands, August 27-30, 1990 : proceedings / J.C.M. Baeten, J.W. Klop (eds.)

資料種別:

図書

出版情報:

Berlin ; New York : Springer-Verlag, c1990

形態:

vii, 536 p. ; 25 cm

シリーズ名:

Lecture notes in computer science ; 458 <BA00009279>

著者名:

ISBN:

9783540530480 [3540530487] (: gw)
9780387530482 [0387530487] (: us)

書誌ID:

BA10756798

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	"The ESPRIT Basic Research Action 3006, CONCUR (Theories of concurrency--unification and extension) started on September 1, 1989 ... The conference CONCUR '90, hosted by CWI with the help of the University of Amsterdam, marks the end of the first year of CONCUR"--Pref Includes index
主題:	Machine theory--Congresses; Parallel processing (Electronic computers)--Congresses
言語:	英語

東工大ブックレビュー

類似資料:

1 図書 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	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 '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 図書 Automata, languages and programming : 30th International Colloquium, ICALP 2003, Eindhoven, the Netherlands, June 30-July 4, 2003 : proceedings International Colloquium on Automata, Languages and Programming, Baeten, Jos C. M. Springer
3 電子ブック CONCUR '90: Theories of Concurrency: Unification and Extension : Theories of Concurrency: Unification and Extension Baeten, Joseph C.M., Klop, Jan W., SpringerLink (Online service)	9 図書 PARLE : parallel architectures and languages Europe, Eindhoven, The Netherlands, June 15-19, 1987 : proceedings (v. 1 : gw - v. 2 : us) Conference on Parallel Architectures and Languages Europe, Bakker, Jacobus Willem de, 1939-, Nijman, A. J., Treleaven, … Springer-Verlag
4 図書 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	10 図書 Parallel problem solving from nature-PPSN V : 5th International Conference, Amsterdam, The Netherlands, September 27-30, 1998 : proceedings Conference on Parallel Problem Solving from Nature, Eiben, Agoston E. Springer
5 図書 Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings (: gw ; : us) JELIA, Eijck, J. van (Jan) Springer-Verlag	11 図書 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
6 電子ブック CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings Baeten, Jos C.M., Groote, Jan F., SpringerLink (Online service)	12 図書 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

1

2

3

4

5

6

7

8

9

10

11

12