close
1.

図書

図書
edited by M. Paul and B. Robinet
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  vi, 262 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 167
所蔵情報: loading…
2.

図書

図書
edited by Edmund Clarke and Dexter Kozen
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  vi, 527 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 164
所蔵情報: loading…
3.

図書

図書
organised by the Institut national de recherche d'informatique et d'automatique (INRIA) ; edited by B. Ford, J.C. Rault, F. Thomasset
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y. : Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984  xvi, 458 p. ; 23 cm
所蔵情報: loading…
4.

図書

図書
editor, J. Teller
出版情報: Cambridge ; New York, N.Y. : Cambridge University Press, 1984  xi, 313p. , 24cm.
シリーズ名: The Ada companion series
所蔵情報: loading…
5.

図書

図書
sponsored by the Association for Computing Machinery, SIGPLAN, SIGACT, SIGART
出版情報: New York, N.Y. : Association for Computing Machinery, c1984  x, 362 p. ; 28 cm
所蔵情報: loading…
6.

図書

図書
COMPSAC ; IEEE Computer Society
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1984  550 p. ; 28 cm
所蔵情報: loading…
7.

図書

図書
edited by Peter Pepper
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  xiv, 378 p. ; 25 cm
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 8
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼