close
1.

図書
図書
1. Proceedings 6 : November 8-12, 1982, the Marriott Hotel, Chicago, Illinois : COMPSAC 82, the IEEE Computer Society's Sixth International Computer Software & Applications Conference
COMPSAC ; IEEE Computer Society
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1982  xix, 692 p. ; 28 cm
所蔵情報: loading…
2.

図書
図書
2. International symposium on programming : 5th colloquium, Turin, April 6-8, 1982, proceedings (: gw ; : us)
edited by M. Dezani-Ciancaglini and U. Montanari
出版情報: Berlin : Springer-Verlag, 1982  vi, 406 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 137
所蔵情報: loading…
3.

図書
図書
3. Problems and methodologies in mathematical software production : international seminar held at Sorrento, Italy, November 3-8, 1980 (: gw ; : us)
edited by P.C. Messina and A. Murli
出版情報: Berlin : Springer-Verlag, 1982  271 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 142
所蔵情報: loading…
4.

図書
図書
4. Logics of programs : workshop, Yorktown Heights, New York, May 1981 (: gw ; : us)
edited by Dexter Kozen
出版情報: Berlin : Springer-Verlag, 1982  vi, 429 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 131
所蔵情報: loading…
5.

図書
図書
5. Applied probability-computer science : the interface (v. 1 ; v. 2)
sponsored by Applied Probability Technical Section-College of the Operations Research Society of America, the Institute of Management Sciences, January 5-7, 1981, Florida Atlantic University, Boca Raton, Florida ; Ralph L. Disney, Teunis J. Ott, editors
出版情報: Boston : Birkhäuser, 1982-  2 v. ; 24 cm
シリーズ名: Progress in computer science ; no. 2-3
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼