close
1.

図書
図書
1. Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings (: gw ; : us)
A.R. Meyer, M.A. Taitslin (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  x, 289 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 363
所蔵情報: loading…
2.

図書
図書
2. Digest of papers : Compcon Spring 89, February 27-March 3, 1989, Thirty-fourth IEEE Computer Society International Conference, San Francisco : Intellectual leverage (: paper ; : case ; : microfiche)
Compcon ; IEEE Computer Society
出版情報: Washington, D.C. : IEEE Computer Society Press , Tokyo : Order from IEEE Computer Society, c1989  xiii, 596 p. ; 28 cm
所蔵情報: loading…
3.

図書
図書
3. STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989 : proceedings (: gw ; : us)
B. Monien, R. Cori (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  viii, 543 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 349
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼