1.

図書
図書
1. A fascinating country in the world of computing : your guide to automated reasoning
Larry Wos, Gail W. Pieper
出版情報: Singapore : World Scientific, c1999
所蔵情報: loading…
2.

図書
図書
2. Combinatorics, computation & logic '99 : proceedings of DMTCS'99 and CATS'99 Auckland, New Zealand, 18-21 january 1999
eds. C.S. Calude, M.J. Dinneen
出版情報: Singapore ; Tokyo : Springer, c1999
シリーズ名: Australian computer science communications ; v. 21, no. 3
所蔵情報: loading…
3.

図書
図書
3. Congressus numerantium (v. 117 - v. 177)
ed. by Ralph G. Stanton
出版情報: Utilitas Mathematica Pub, 1996-
所蔵情報: loading…
4.

図書
図書
4. Image data compression : block truncation coding
[compiled by] Belur V. Dasarathy
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, 1995
所蔵情報: loading…
5.

図書
図書
5. Introduction to computer performance analysis with mathematica
Arnold O. Allen
出版情報: Boston : AP Professional, c1994
シリーズ名: Computer science and scientific computing
所蔵情報: loading…
6.

図書
図書
6. Proceedings of the Twelfth National Conference on Artificial Intelligence (1 ; 2)
sponsored by the American Association for Artificial Intelligence
出版情報: Menlo Park [Calif.] : AAAI Press , Cambridge, Mass. : MIT Press, c1994
所蔵情報: loading…
7.

図書
図書
7. Computers and creativity
Derek Partridge and Jon Rowe
出版情報: Oxford, England : Intellect, c1994
所蔵情報: loading…
8.

図書
図書
8. ニューラルコンピュータ : 統計物理学からのアプローチ
J. ハーツ, A. クロー, R. G. パルマー著 ; 笹川辰弥, 呉勇訳
出版情報: 東京 : トッパン, 1994.5
シリーズ名: アジソンウェスレイ・トッパン情報科学シリーズ ; 41
所蔵情報: loading…
9.

図書
図書
9. Computer intensive statistical methods : validation model selection and bootstrap
J.S. Urban Hjorth
出版情報: London ; Tokyo : Chapman & Hall, 1994
所蔵情報: loading…
10.

図書
図書
10. AAAI-92 : proceedings Tenth National Conference on Artificial Intelligence, July 12-16, 1992
sponsored by the American Association for Artificial Intelligence
出版情報: Menlo Park, Calif. : AAAI Press , Cambridge, Mass. : MIT Press, c1992
所蔵情報: loading…