close
1.

図書
図書
1. P-functions and Boolean matrix factorization : a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms (: gw ; : us)
André Thayse
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, 1984  vii, 248 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 175
所蔵情報: loading…
2.

図書
図書
2. Principles of functional programming (pbk.)
Hugh Glaser, Chris Hankin and David Till
出版情報: Englewood Cliffs, N.J. : Prentice/Hall International, c1984  xi, 251 p. ; 24 cm
所蔵情報: loading…
3.

図書
図書
3. Automated reasoning : introduction and applications (pbk.)
Larry Wos ... [et al.]
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1984  xiv, 482 p. ; 24 cm
所蔵情報: loading…
4.

図書
図書
4. The cognitive computer : on language, learning, and artificial intelligence (: [hbk] ; : pbk)
Roger C. Schank with Peter G. Childers
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1984  xiii, 268 p. ; 25 cm
所蔵情報: loading…
5.

図書
図書
5. Interactive programming environments
editors, David R. Barstow, Howard E. Shrobe, Erik Sandewall
出版情報: New York : McGraw-Hill, c1984  xii, 609 p. ; 24 cm
所蔵情報: loading…
6.

図書
図書
6. Virtual memory management
by Richard William Carr
出版情報: Ann Arbor, Mich. : UMI Research Press, c1984  xiii, 158 p. ; 24 cm
シリーズ名: Computer science / ed. by Harold S. Stone ; Systems programming ; no. 20
所蔵情報: loading…
7.

図書
図書
7. Logic, algebra, and databases (Halsted, lib. ed. - Ellis Horwood, stud. ed.)
Peter M.D. Gray
出版情報: Chichester, West Sussex, England : E. Horwood , New York : Distributor, Halsted Press, 1984  294 p. ; 25 cm
シリーズ名: Ellis Horwood series in computers and their applications ; 29
所蔵情報: loading…
8.

図書
図書
8. Catalogue of artificial intelligence tools (: us. : pbk ; : gw. : pbk)
edited by Alan Bundy
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  xxv, 150 p. ; 25 cm
シリーズ名: Symbolic computation ; Artificial intelligence
所蔵情報: loading…
9.

図書
図書
9. Coordinated computing : tools and techniques for distributed software
Robert E. Filman, Daniel P. Friedman
出版情報: New York ; Tokyo : McGraw-Hill, c1984  xx, 370 p. ; 25 cm
シリーズ名: McGraw-Hill computer science series
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼