-
Coq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化
(萩原 学 / 森北出版)
-
モトローラ 6800伝説
(鈴木哲哉 / ラトルズ)
-
スパコンとは何か (ウェッジ選書46)
(金田 康正 / ウェッジ)
-
コンピュータ囲碁 ―モンテカルロ法の理論と実践―
(美添 一樹, 山下 宏 / 共立出版)
-
コンピュータ将棋の進歩 6 -プロ棋士に並ぶ-
(松原 仁 / 共立出版)
-
コンピュータ囲碁の入門
(清 愼一, 佐々木 宣介, 山下 宏 / 共立出版)
-
ゲーデル,エッシャー,バッハ―あるいは不思議の環
(野崎 昭弘, はやし はじめ, 柳瀬 尚紀 / 白揚社)
-
アマトップクラスに迫る―コンピュータ将棋の進歩〈5〉
(松原 仁 / 共立出版)
-
M.C. Escher's Legacy: A Centennial Celebration : Collection of Articles Coming from the M.C. Escher Centennial Conference, Rome 1998
(Italy) M. C. Escher Centennial Conference (1998 Rome, Michele Emmer / Springer)
-
コンピュータ将棋のアルゴリズム―最強アルゴリズムの探求とプログラミング (I・O BOOKS)
(池 泰弘 / 工学社)
-
The Definition of Standard ML
(Robin Milner, Mads Tofte, Robert Harper / The MIT Press)
-
The Powerpc Architecture: A Specification for a New Family of Risc Processors
(Ed Sikha, Rick Simpson, Cathy May / Morgan Kaufmann Pub)
-
コンピュータチェス―世界チャンピオンへの挑戦 (Information & Computing)
(D. リービ, M. ニューボーン / サイエンス社)
-
Kasparov Versus Deep Blue: Computer Chess Comes of Age
(Monroe Newborn, Monty Newborn / Springer-Verlag New York Inc (C))
-
ACMチューリング賞講演集
( / 共立出版)
-
形式意味論入門―言語・論理・認知の世界
(白井 賢一郎 / 産業図書)
-
LaTeX: A Document Preparation System (Addison-Wesley Series on Tools and Techniques for Computer T)
(Leslie Lamport / Addison-Wesley Professional)
-
The CWEB System of Structured Documentation
(Donald E. Knuth, Silvio Levy / Addison-Wesley Professional)
-
TEX(テック)ブック―コンピュータによる組版システム (アスキー・電子出版シリーズ)
(ドナルド・E. クヌース / アスキー)
-
METAFONTブック―タイポグラファのためのプログラミング言語 (アスキー・電子出版シリーズ)
(ドナルド・E. クヌース / ASCII)
-
The LaTeX Graphics Companion: Illustrating Documents with TeX and Postscript(R) (Tools and Techniques for Computer Typesetting)
(Michel Goossens, Sebastian Rahtz, Frank Mittelbach / Addison-Wesley Professional)
-
Garbage Collection: Algorithms for Automatic Dynamic Memory Management
(Richard Jones, Rafael Lins / Wiley)
-
Essentials of Programming Languages
(Daniel P. Friedman, Mitchell Wand, Christopher T. Haynes / The MIT Press)
-
Lisp
(Patrick Winston, Berthold Horn / Addison Wesley)
-
LISP
(Patrick Henry Winston / Addison Wesley Longman Publishing Co)
-
ソフトウェア千夜一夜物語
(Themsky / 共立出版)
-
計算幾何学 (情報数学講座)
(今井 浩, 今井 桂子 / 共立出版)
-
コンピュータ将棋の進歩〈2〉
(松原 仁 / 共立出版)
-
コンピュータ将棋の進歩
(松原 仁 / 共立出版)
-
コンピュータ将棋―あなたも挑戦してみませんか (Information & Computing)
(小谷 善行, 柿木 義一, 吉川 竹四郎, 森田 和郎 / サイエンス社)
-
将棋とコンピュータ (情報フロンテイアシリーズ)
(松原 仁 / 共立出版)
-
思考ゲームプログラミング―オセロゲームのアルゴリズムと作成法 (アスキーブックス)
(森田 和郎, 国枝 交子, 津田 伸秀 / アスキー)
-
Principles of Compiler Design
(Alfred V. Aho, Jeffrey D. Ullman / Addison Wesley World Student Series)
-
並列アルゴリズム―理論と設計
(宮野 悟 / 近代科学社)
-
プログラミング言語の新潮流 (計算機科学・ソフトウェア技術講座)
(井田 哲雄 / 共立出版)
-
The Art of Computer Programming: Fundamental Algorithms v.1 (World Student)
(Donald E. Knuth / Addison Wesley)
-
Principles of Functional Programming
(Hugh Glaser, etc. / Pearson Education Limited)
-
Functional Programming (International Computer Science Series)
(Anthony J. Field, Peter Harrison / Addison-Wesley)
-
Retargetable C Compiler, A: Design and Implementation
(David R. Fraser, Christopher W. Hanson / Addison-Wesley Professional)
-
並列論理型言語GHCとその応用 (知識情報処理シリーズ)
( / 共立出版)
-
Metamagical Themas: Questing for the Essence of Mind and Pattern
(Douglas R. Hofstadter / Penguin Books Ltd)
-
π(パイ)のはなし
(金田 康正 / 東京図書)
-
メタマジック・ゲーム―科学と芸術のジグソーパズル
(竹内 郁雄, 斉藤 康己, 片桐 恭弘, ダグラス・R. ホフスタッター, Douglas R. Hofstadter / 白揚社)
-
MMIXware: A RISC Computer for the Third Millennium (Lecture Notes in Computer Science)
(Donald E. Knuth / Springer)
-
ゲームプログラミング
( / 共立出版)
-
コンピュータ囲碁GREAT―プログラムの作り方とネット対局の実際
(吉川 竹四郎 / エスアイビーアクセス)
-
Computers & Typesetting, Volume B: TeX: The Program (Computers and Typesetting)
(Donald E. Knuth / Addison-Wesley Professional)
-
Structure and Interpretation of Computer Programs (MIT Electrical Engineering and Computer Science)
(Harold Abelson, Gerald Jay Sussman / The MIT Press)
-
コンピュータは名人を超えられるか (岩波科学ライブラリー (90))
(飯田 弘之 / 岩波書店)
-
リバーシのアルゴリズム C++&Java対応―「探索アルゴリズム」「評価関数」の設計と実装 (I・O BOOKS)
(Seal Software / 工学社)
-
アマ4段を超える―コンピュータ将棋の進歩〈4〉
(松原 仁 / 共立出版)
-
コンピュータ科学者がめったに語らないこと
(D・E・クヌース / エスアイビー・アクセス)