close
1.

図書
図書
1. Proceedings 5, COMPSAC 81 : the IEEE Computer Society's Fifth International Computer Software & Applications Conference, November 16-20, 1981, the Marriott Hotel, Chicago, Illinois
COMPSAC ; IEEE Computer Society
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1981  xviii, 446 p. ; 28 cm
所蔵情報: loading…
2.

図書
図書
2. 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…
3.

図書
図書
3. Proceedings : Symposium on Logic in Computer Science, Ithaca, New York, June 22-25, 1987 (: pbk. ; : hard ; : microfiche)
sponsored by the Computer Society of the IEEE Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science
出版情報: Washington, D.C. : Computer Society Press of the IEEE , Los Angeles, CA : Order from Computer Society of the IEEE, c1987  xi, 361 p. ; 28 cm
所蔵情報: loading…
4.

図書
図書
4. Proceedings : Symposium on Logic in Computer Science, Cambridge, Massachusetts, June 16-18, 1986 (pbk. ; microfiche)
sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science
出版情報: Washington, D.C. : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1986  xi, 383 p. ; 28 cm
所蔵情報: loading…
5.

図書
図書
5. Proceedings : Third Annual Symposium on Logic in Computer Science, July 5-8, 1988, Edinburgh, Scotland (: pbk. ; : hard ; : microfiche)
sponsored by the Computer Society's Technical Committee on Mathematical Foundations of Computing
出版情報: Washington, D.C. : Computer Society Press , Los Angeles, CA : Ordered from Computer Society, c1988  xi, 436 p. ; 28 cm
所蔵情報: loading…
6.

図書
図書
6. Proceedings : Fourth Annual Symposium on Logic in Computer Science (paper ; case ; microfiche)
[sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing]
出版情報: Washington, D.C. ; Tokyo : IEEE Computer Society Press, c1989  xvi, 402 p. ; 28 cm
所蔵情報: loading…
7.

図書
図書
7. Proceedings of the Fourth International Conference on Symbolic and Logical Computing
edited by Eric Johnson
出版情報: Madison, S.D. (114 Beadle Hall, Dakota State University, Madison 57042-1799) : Dakota State University, 1989  vii, 390 p. ; 23 cm
所蔵情報: loading…
8.

図書
図書
8. Proceedings of the Third International Conference on Symbolic and Logical Computing
edited by Eric Johnson
出版情報: Madison, S.D. : Dakota State College, 1988  259 p. ; 23 cm
所蔵情報: loading…
9.

図書
図書
9. 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…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼