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

Mathematics and computer science : proceedings of the CWI symposium, November 1983 / edited by J.W. de Bakker, M. Hazewinkel, J.K. Lenstra

資料種別:
図書
出版情報:
Amsterdam ; Tokyo : North-Holland, 1986
形態:
vii, 351 p. ; 25 cm
シリーズ名:
CWI monograph ; 1 <BA00265574>
著者名:
ISBN:
9780444700247 [0444700242]
書誌ID:
BA00265530
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 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.
7 図書 Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings (: gw ; : us)

REX Workshop, Bakker, Jacobus Willem de, 1939-

Springer-Verlag
2 図書 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
8 図書 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
3 図書 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
9 図書 Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings (: gw ; : us)

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

Springer-Verlag
4 図書 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
10 図書 Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings (: gw ; : us)

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

Springer-Verlag
5 図書 A decade of concurrency : reflections and perspectives : REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993 : proceedings (: gw ; : us)

REX School/Symposium, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz

Springer-Verlag
11 図書 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
6 図書 KdV '95 : proceedings of the international symposium, held in Amsterdam, the Netherlands, April 23-26, 1995, to commemorate the centennial of the publication of …

Hazewinkel, Michiel, 1943-, Capel, Hans W., Jager, E. M. de (Eduardus Marie de)

Kluwer Academic
12 図書 Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop, Mook, the Netherlands, May 29-June 2, 1989, proceedings (: gw ; : us)

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

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