close
1.

図書
図書
1. 1986 ACM Fourteenth Annual Computer Science Conference, February 4-6, 1986, Cincinnati Convention Center, Cincinnati, Ohio
Association for Computing Machinery
出版情報: New York, N.Y. : ACM, c1986  531 p. ; 28 cm
所蔵情報: loading…
2.

図書
図書
2. 1986 proceedings Fall Joint Computer Conference, November 2-6, 1986, INFOMART, Dallas, Texas (: pbk. ; microfiche ; case)
sponsored by ACM and Computer Society of the IEEE ; Harold S. Stone, proceedings editor and program chairman ; Stanley Winkler, conference chairman
出版情報: Washington, D.C. : IEEE Computer Society Press, 1986  xxvi, 1248 p. ; 28 cm
所蔵情報: loading…
3.

図書
図書
3. Foundations of software technology and theoretical computer science : Sixth Conference, New Delhi, India, December 18-20, 1986, proceedings : FSTandTCS6 (: gw ; : us)
edited by Kesav V. Nori
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  xii, 518 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 241
所蔵情報: loading…
4.

図書
図書
4. Information processing 86 : proceedings of the IFIP 10th World Computer Congress, Dublin, Ireland, September 1-5, 1986
edited by H.-J. Kugler ; programme committee, D. Bjørner ... [et al.]
出版情報: Amsterdam ; Tokyo : North-Holland, 1986  xxxvii, 1215 p. ; 31 cm
シリーズ名: IFIP congress series ; v. 10
所蔵情報: loading…
5.

雑誌
雑誌
5. Proceedings
Symposium on Logic in Computer Science
出版情報: Washington, D.C. : IEEE Computer Society Press, c1986-  v. ; 28 cm
巻次年月次: 1st (1986)-
所蔵情報: loading…
6.

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