(13/477)冊
- Smalltalk-80: The Interactive Programming Environment (Adele Goldberg / Addison-Wesley)
- Retargetable C Compiler, A: Design and Implementation (David R. Fraser, Christopher W. Hanson / Addison-Wesley Professional)
- 並列論理型言語GHCとその応用 (知識情報処理シリーズ) ( / 共立出版)
- Prolog for Programmers (Apic Studies in Data Processing) (Feliks Kluzniak, Stanislaw Szpakowicz / Academic Pr)
- Prologのソフトウェア作法 (岩波コンピュータサイエンス) (黒川 利明 / 岩波書店)
- Implementations of PROLOG (J.A. Campbell / Ellis Horwood Ltd , Publisher)
- インターネットを256倍使うための本 (Vol.1) (志村 拓, 榊 隆 / アスキー)
- /p-his/1565922360 ( / )
- TCP/IP Illustrated, Volume 3: TCP for Transactions, HTTP, NNTP, and the UNIX® Domain Protocols (Addison-Wesley Professional Computing Series) (W. Richard Stevens / Addison-Wesley Professional)
- TCP/IP Illustrated, Volume 2: The Implementation (Addison-Wesley Professional Computing Series) (Gary R. Stevens, W. Richard Wright / Addison-Wesley Professional)
- Linuxカーネルインターナル (アスキーアジソンウェスレイシリーズ) (Michael Beck / ピアソン・エデュケーション)
- FreeBSDシステムアドミニストレーターズマニュアル (PC‐UNIXシリーズ) ( / 毎日コミュニケーションズ)
- BSDを256倍使うための本 (宮川 晋, 増田 佳泰, 古場 正行 / アスキー)
- FreeBSDユーザーズリファレンスマニュアル (PC‐UNIXシリーズ) ( / 毎日コミュニケーションズ)
- The Design and Implementation of the 4.4 BSD Operating System (Addison-Wesley UNIX and Open Systems Series) (Marshall Kirk McKusick, Keith Bostic, Michael J. Karels, John S. Quarterman / Addison-Wesley Professional)
- プロフェショナルBSD (ASCH SOFTWARE SCIENCE Operating System) (砂原 秀樹, 植原 啓介, 石井 秀治, 林 周志 / アスキー)
- 4.4 Bsd System Manager's Manual (Smm) (Computer Systems Research Group, Computer Systems Research Group Uc Berkeley, Uc Berkeley Computer Systems Research Group / Oreilly & Associates Inc)
- UNIX 4.3BSDの設計と実装 (Samuel J. Leffler, Michael J. Karels, Marshall Kirk McKusick, John S. Quarterman / 丸善)
- 最前線UNIXのカーネル (ユーレッシュ ヴァハリア / ピアソンエデュケーション)
- Life with UNIX―UNIXを愛するすべての人に (ドン ライブ, サンディ レスラ / アスキー)
- 入門X Window (Ascii books) (松田 晃一, 暦本 純一 / ASCII)
- たのしいUNIX―UNIXへの招待 (Ascii books) (坂本 文 / アスキー)
- ゲーデルの不完全性定理 (レイモンド スマリヤン / 丸善)
- 連続体仮説 (P.J. コーヘン / 東京図書)
- 証明論入門 (竹内 外史, 八杉 満利子 / 共立出版)
- Proof Theory and Logical Complexity (Studies in Proof Theory, Vol 1) (Jean-Yves Girard / Humanities Pr)
- 数理論理学とタイプ理論―証明による真理へ (ピーター アンドリュース / 丸善)
- Introduction to Mathematical Logic and Type Theory (Computer Science and Applied Mathematics) (Peter B. Andrews / Academic Pr)
- From Frege to Goedel: A Source Book in Mathematical Logic, 1879-1931 (Source Books in the History of the Sciences) (Jean van Heijenoort / Harvard University Press)
- 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)
- Geometric Modular Forms and Elliptic Curves (Haruzo Hida / World Scientific Pub Co Inc)
- ゲームプログラミング ( / 共立出版)
- Elliptic Curves in Cryptography (London Mathematical Society Lecture Note Series) (I. Blake, G. Seroussi, N. Smart / Cambridge University Press)
- The Geometry of Schemes (Graduate Texts in Mathematics) (David Eisenbud, Joe Harris / Springer)
- Rational Points on Curves over Finite Fields: Theory and Applications (London Mathematical Society Lecture Note Series) (Harald Niederreiter, Chaoping Xing / Cambridge University Press)
- A Course in Computational Algebraic Number Theory (Graduate Texts in Mathematics) (Henri Cohen / Springer-Verlag)
- Solaris8 サーバ構築ガイド―理論・実践・応用 (井上 亜潮 / 秀和システム)
- バージョン管理システム(CVS)の導入と活用 (鯉江 英隆, 馬場 肇, 西本 卓也 / ソフトバンククリエイティブ)
- Prime Numbers: A Computational Perspectives (Richard Crandall, Carl Pomerance / Springer)
- IMAP (ダイアナ マレット, ケビン マレット / オライリー・ジャパン)
- コンピュータ囲碁GREAT―プログラムの作り方とネット対局の実際 (吉川 竹四郎 / エスアイビーアクセス)
- A Course in Model Theory: An Introduction to Contemporary Mathematical Logic (Universitext) (Bruno Poizat / Springer)
- A Course in P-Adic Analysis (Graduate Texts in Mathematics) (Alain M. Robert / Springer)
- Geometry: Euclid and Beyond (Springer Undergraduate Texts in Mathematics and Technology) (Robin Hartshorne / Springer)
- 使って学ぶIPv6 (増田 康人, 有賀 征爾, 長橋 賢吾 / アスキー)
- /p-his/1565924924 ( / )
- Ramanujan: Essays and Surveys (History of Mathematics, V. 22) ( / Amer Mathematical Society)
- 日本で生まれた数式処理ソフト―リサアジールガイドブック (斎藤 友克, 平野 照比古, 竹島 卓 / SEG出版)
- Diophantine Geometry: An Introduction (Graduate Texts in Mathematics) (Marc Hindry, Joseph H. Silverman / Springer)
- Commutative Ring Theory (Cambridge Studies in Advanced Mathematics) (H. Matsumura / Cambridge University Press)
- ゼータの世界 (梅田 亨, 若山 正人, 黒川 信重, 中島 さち子 / 日本評論社)
- 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)
- PC UNIXユーザのためのPostgreSQL完全攻略ガイド (石井 達夫 / 技術評論社)
- PostgreSQLオフィシャルマニュアル (PostgreSQL Global Development Group / インプレス)
- 今日からつかえるPHP4サンプル集 (山田 祥寛 / 秀和システム)
- qmail メールサーバの構築 (Expert UNIX Series) (リチャード ブラム / アスキー)
- ゼータ研究所だより ( / 日本評論社)
- Advanced Topics in Computational Number Theory (Graduate Texts in Mathematics) (Henri Cohen / Springer)
- My Numbers, My Friends: Popular Lectures on Number Theory (Paulo Ribenboim / Springer)
- コンピュータは名人を超えられるか (岩波科学ライブラリー (90)) (飯田 弘之 / 岩波書店)
- Javaグラフィクス完全制覇 (標準プログラマーズライブラリ) (芹沢 浩 / 技術評論社)
- Javaスレッド完全制覇 (標準プログラマーライブラリ) (村上 列 / 技術評論社)
- 標準FreeBSDリファレンス (マイケル アーバン, ブライアン ティーマン / インプレス)
- A Singular Introduction to Commutative Algebra (Gert-Martin Greuel, Gerhard Pfister / Springer)
- Computer Algebra and Symbolic Computation: Mathematical Methods (Joel S. Cohen / A K Peters/CRC Press)
- Surveys in Number Theory: Papers from the Millennial Conference on Number Theory ( / A K Peters/CRC Press)
- リバーシのアルゴリズム C++&Java対応―「探索アルゴリズム」「評価関数」の設計と実装 (I・O BOOKS) (Seal Software / 工学社)
- アマ4段を超える―コンピュータ将棋の進歩〈4〉 (松原 仁 / 共立出版)
- Linux Zaurus Super Guide―for Linux Zaurus SL‐C860、SL‐C760、SL‐C750、SL‐C700 (丸山 弘詩 / 毎日コミュニケーションズ)
- ペトロス伯父と「ゴールドバッハの予想」 (ハヤカワ・ノヴェルズ) (アポストロス ドキアディス / 早川書房)
- 数学の基礎をめぐる論争―21世紀の数学と数学基礎論のあるべき姿を考える ( / シュプリンガー・フェアラーク東京)
- Elliptic Curves (Graduate Texts in Mathematics) (Dale Husemoller / Springer)
- コンピュータ科学者がめったに語らないこと (D・E・クヌース / エスアイビー・アクセス)