close
1.

図書
図書
1. A practical theory of programming. 1st ed (: us ; : gw)
Eric C. R. Hehner
出版情報: New York ; Berlin : Springer-Verlag, c1993
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
2.

図書
図書
2. What computing is all about (: us ; : gw)
Jan L. A. van de Snepscheut
出版情報: New York : Springer-Verlag, c1993
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
3.

図書
図書
3. Artificial intelligence and mathematical theory of computation : papers in honor of John McCarthy
edited by Vladimir Lifschitz
出版情報: Boston : Academic Press, c1991
所蔵情報: loading…
4.

図書
図書
4. Programming in Mathematica
Roman E. Maeder
出版情報: Redwood City, Calif. ; Tokyo : Addison-Wesley, Advanced Book Program, c1990
所蔵情報: loading…
5.

図書
図書
5. Artificial intelligence programming. 2nd ed
Eugene Charniak ... [et al.]
出版情報: Hillsdale, N.J. : L. Erlbaum Associates, 1987
所蔵情報: loading…
6.

図書
図書
6. Computer graphics : a programming approach. 2nd ed (: pbk)
Steven Harrington
出版情報: New York : McGraw-Hill, c1987
シリーズ名: McGraw-Hill international editions ; . Computer science series
所蔵情報: loading…
7.

図書
図書
7. Automatic correction and improvement of programs (: us ; : uk)
H. Wertz ; [translator, Jonathan Barchan]
出版情報: Chichester : Ellis Horwood , New York : Halsted Press, c1987
シリーズ名: Ellis Horwood books in computing science ; . Series in artificial intelligence
Ellis Horwood series in artificial intelligence
所蔵情報: loading…
8.

図書
図書
8. Programming expert systems in OPS5 : an introduction to rule-based programming
Lee Brownston ... [et al.]
出版情報: Reading, Mass. ; Tokyo : Addison-Wesley, 1985
シリーズ名: The Addison-Wesley series in artificial intelligence
所蔵情報: loading…
9.

図書
図書
9. The logic of programming
Eric C.R. Hehner
出版情報: Englewood Cliffs, N.J. : Prentice/Hall International, c1984
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
10.

図書
図書
10. Computer graphics : a programming approach (hard. ; pbk.)
Steven Harrington
出版情報: New York : McGraw-Hil , Aukland ; Tokyo : McGraw-Hill International Book Companyl, c1983
所蔵情報: loading…