close
1.

図書
図書
1. 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
所蔵情報: loading…
2.

図書
図書
2. Algorithmic languages : proceedings of the International Symposium on Algorithmic Languages
edited by J.W. de Bakker and J.C. van Vliet
出版情報: Amsterdam ; New York : North-Holland Pub. Co., 1981  xxvi, 431 p. ; 23 cm
所蔵情報: loading…
3.

図書
図書
3. CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, the Netherlands, August 26-29, 1991 : proceedings (: gw ; : us)
J.C.M. Baeten, J.F. Groote, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  ix, 540 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 527
所蔵情報: loading…
4.

図書
図書
4. Proceedings : Sixth Annual IEEE Symposium on Logic in Computer Science, July 15-18, 1991, Amsterdam, the Netherlands (: paper ; : case ; : microfiche)
sponsored by IEEE Technical Committee on Mathematical Foundations of Computing, CWI, Amsterdam, Vrije Universiteit, Amsterdam ; in cooperation with Association for Computing Machinery, Association for Symbolic Logic, European Association for Theoretical Computer Science
出版情報: Los Alamitos, CA. ; Tokyo : IEEE Computer Society Press, c1991  xvii, 417 p. ; 28 cm
所蔵情報: loading…
5.

図書
図書
5. Markov decision theory : proceedings of the Advanced Seminar on Markov Decision Theory held at Amsterdam, The Netherlands, September 13-17, 1976
edited by H. C. Tijms & J. Wessels
出版情報: Amsterdam : Mathematisch Centrum, 1977  220 p. ; 24 cm
シリーズ名: Mathematical Centre tracts ; 93
所蔵情報: loading…
6.

図書
図書
6. CONCUR '90 : theories of concurrency: unification and extension : Amsterdam, the Netherlands, August 27-30, 1990 : proceedings (: gw ; : us)
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
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼