close
1.

図書
図書
1. Proceedings 8, COMPSAC 84 : the IEEE Computer Society's Eighth International Computer Software & Applications Conference, November 7-9, 1984, Americana Congress Hotel, Chicago, Illinois
COMPSAC ; IEEE Computer Society
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1984  550 p. ; 28 cm
所蔵情報: loading…
2.

図書
図書
2. International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings (: gw ; : us)
edited by M. Paul and B. Robinet
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  vi, 262 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 167
所蔵情報: loading…
3.

図書
図書
3. Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 (: gw ; : us)
edited by Edmund Clarke and Dexter Kozen
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  vi, 527 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 164
所蔵情報: loading…
4.

図書
図書
4. Industrial implications of Ada and Ada programming support environment : proceedings of the 3rd Joint Ada Europe/Ada TEC Conference, Brussels, 26-28 June 1984
editor, J. Teller
出版情報: Cambridge ; New York, N.Y. : Cambridge University Press, 1984  xi, 313p. , 24cm.
シリーズ名: The Ada companion series
所蔵情報: loading…
5.

図書
図書
5. Conference record of the 1984 ACM Symposium on LISP and Functional Programming : papers presented at the symposium, Austin, Texas, August 6-8, 1984
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.

図書
図書
6. Tools, methods, and languages for scientific and engineering computation : proceedings of the International Conference on Tools, Methods, and Languages for Scientific and Engineering Computation, Paris, France, May 17-19, 1983
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…
7.

図書
図書
7. Program transformation and programming environments : report on a workshop directed by F.L. Bauer and H. Remus (: Germany ; : U.S.)
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…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼