(13/418)冊
- Number Theory, Vol. 2: Analytic and Modern Tools (Graduate Texts in Mathematics) (Henri Cohen / Springer)
- 数学のたのしみ〈2008最終号〉フォーラム:現代数学のひろがり 佐藤‐テイト予想の解決と展望 ( / 日本評論社)
- Introduction to the Construction of Class Fields (Harvey Cohn / Dover Publications)
- Classical Invariant Theory (London Mathematical Society Student Texts) (Peter J. Olver / Cambridge University Press)
- デジタル一眼レフきほんBOOK―はじめての人でも撮れる・使える! (杉本 利彦 / 新星出版社)
- 宇宙が始まるとき (サイエンス・マスターズ) (ジョン バロウ / 草思社)
- 数学文化〈009〉関孝和没後300年記念懸賞問題 ( / 日本評論社)
- 数論入門 (現代数学への入門) (山本 芳彦 / 岩波書店)
- ゲーデルと20世紀の論理学 4 集合論とプラトニズム (田中 一之 / 東京大学出版会)
- 数学文化 第8号 特集=数の不思議・ふしぎな数 ( / 日本評論社)
- FreeBSDのブートプロセスをみる (UNIX MAGAZINE COLLECTION) (白崎 博生 / アスキー)
- Linuxのブートプロセスをみる (UNIXMAGAZINE COLLECTION) (白崎 博生 / アスキー)
- ゲーデルと20世紀の論理学 3 不完全性定理と算術の体系 ( / 東京大学出版会)
- 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)
- ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論 ( / 東京大学出版会)
- ゲーデルと20世紀の論理学(ロジック)〈1〉ゲーデルの20世紀 ( / 東京大学出版会)
- 数学文化〈007〉教育シンポジウム=こんな授業をやってみたい ( / 日本評論社)
- 数学のたのしみ〈2006秋〉フォーラム 現代数学のひろがり ゲーデルと現代ロジック ( / 日本評論社)
- ゲーデル 不完全性定理 (岩波文庫) (ゲーデル / 岩波書店)
- 追悼長岡鉄男「観音力アンソロジー」―オーディオ・音楽・趣味・人生の足跡をたどる著作集 (Ontomo mook―Audio) (長岡鉄男 / 音楽之友社)
- 長岡鉄男編集長の本―ヴィジュアル・オーディオ・パワー (Ontomo mook―Audio) ( / 音楽之友社)
- 開拓者 長岡鉄男 ([MOOK21]シリーズ) ( / 株式会社共同通信社)
- 実験で学ぶ最新トランジスタ・アンプ設計法 (ラジオ技術選書) (黒田 徹 / ラジオ技術社)
- FETアンプ製作集―やさしく作れるスーパーアンプ (窪田 登司 / 誠文堂新光社)
- オーディオDCアンプシステム―時空を超えた音楽再現〈上巻〉 (金田 明彦 / 誠文堂新光社)
- 基礎トランジスタ・アンプ設計法 (黒田 徹 / ラジオ技術社)
- 最新FET〈電界効果トランジスタ〉規格表 (1988年版) ( / CQ出版社)
- /p-his/020112078X ( / )
- 定本 続トランジスタ回路の設計―FET パワーMOS スイッチング回路を実験で解析 (鈴木 雅臣 / CQ出版)
- 博多学 (新潮文庫) (岩中 祥史 / 新潮社)
- Friendly Introduction to Number Theory, A (Joseph H. Silverman / Prentice Hall)
- と学会年鑑BLUE (と学会 / 太田出版)
- トンデモ本1999―このベストセラーがとんでもない (カッパ・ブックス) (と学会 / 光文社)
- トンデモ怪書録―僕はこんな奇妙な本を読んできた (唐沢 俊一, 唐沢 なをき / 光文社)
- Operating Systems: Design And Implementation (International Edition) (Andrew S. Tanenbaum / Prentice-Hall)
- 物語数学史 (新潮選書) (小堀 憲 / 新潮社)
- Friendly Introduction to Number Theory, A (2nd Edition) (Joseph H Silverman / Prentice Hall)
- Prolegomena to a Middlebrow Arithmetic of Curves of Genus 2 (London Mathematical Society Lecture Note Series) (J. W. S. Cassels, E. V. Flynn / Cambridge University Press)
- Analytic Methods for Diophantine Equations and Diophantine Inequalities (Cambridge Mathematical Library) (H. Davenport, T. D. Browning / Cambridge University Press)
- History of the Theory of Numbers, Volume III: Quadratic and Higher Forms (Dover Books on Mathematics) (Leonard Eugene Dickson, Mathematics / Dover Publications)
- History of the Theory of Numbers, Volume I: Divisibility and Primality (Dover Books on Mathematics) (Leonard Eugene Dickson, Mathematics / Dover Publications)
- Standard C Library, The (P.J. Plauger / Prentice Hall)
- 数論〈2〉岩沢理論と保型形式 (黒川 信重, 斎藤 毅, 栗原 将人 / 岩波書店)
- 数論〈1〉Fermatの夢と類体論 (加藤 和也, 斎藤 毅, 黒川 信重 / 岩波書店)
- コンピュータ将棋のアルゴリズム―最強アルゴリズムの探求とプログラミング (I・O BOOKS) (池 泰弘 / 工学社)
- Introductory Algebraic Number Theory (Saban Alaca, Kenneth S. Williams / Cambridge University Press)
- Elliptic Curves: Number Theory and Cryptography (Discrete Mathematics and Its Applications) (Lawrence C. Washington / Chapman & Hall)
- Design and Implementation of the FreeBSD Operating System, The (Marshall Kirk Neville-Neil, George V. McKusick / Addison-Wesley Professional)
- Regular Polytopes (Dover Books on Mathematics) (H. S. M. Coxeter, Mathematics / Dover Publications)
- 初めてのPython 第2版 (マーク ルッツ, デイビッド アスカー / オライリージャパン)
- 「おたく」の精神史 一九八〇年代論 (大塚 英志 / 講談社)
- The Little Book of Big Primes (Paulo Ribenboim / Springer)
- オブジェクト指向スクリプト言語 Ruby (ASCII SOFTWARE SCIENCE Language) (まつもと ゆきひろ, 石塚 圭樹 / アスキー)
- Perl書法 (ASCII SOFTWARE SCIENCE Language) (増井 俊之 / ASCII)
- コーヒーが廻り世界史が廻る―近代市民社会の黒い血液 (中公新書) (臼井 隆一郎 / 中央公論社)
- 笑う雑学 (広済堂文庫) (唐沢 俊一 / 廣済堂出版)
- The Number Pi (Pierre Eymard, Jean-Pierre Lafon / Amer Mathematical Society)
- 数学文化〈002〉特集=数遊び・ことば遊び ( / 日本評論社)
- 数学文化―Journal of mathematical culture (第1号) (日本数学協会 / 日本評論社)
- 数学文化〈003〉特集=形で遊ぼう ( / 日本評論社)
- Introduction to Geometry (Wiley Classics Library) (H. S. M. Coxeter / WILEY)
- The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings (Springer Monographs in Mathematics) (Akihiro Kanamori / Springer)
- 空想流行通信 完全版―スーパーヒロインのファッションセンス (香坂 真帆 / メディアワークス)
- 東大オタク学講座 (岡田 斗司夫 / 講談社)
- オタク学入門 (新潮OH!文庫) (岡田 斗司夫 / 新潮社)
- サンダーバード大図鑑〈2〉 (エンターティメントバイブルシリーズ) ( / バンダイ)
- サンダーバード大図鑑〈1〉 (エンターティメントバイブルシリーズ) ( / バンダイ)
- インターネットを256倍使うための本 (Vol.2) (志村 拓 / アスキー)
- トンデモ本の逆襲 ( / 洋泉社)
- 由比正雪 (村松 友視 / 読売新聞)
- トンデモ本の世界―MONDO TONDEMO ( / 洋泉社)
- 世界文学全集 第1期 普及版 (集英社文庫) (清水 義範 / 集英社)
- 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)
- Debugging With Gdb Manual (Richard M. Stallman / Free Software Foundation)
- The Gnu Emacs Lisp Reference Manual: Gnu Emacs Version 18 for Unix Users (Gnu Manual Group / Free Software Foundation)
- Gnu Emacs Manual (Richard M. Stallman / Specialized Systems Consultants)
- Make Manual (Richard M. Stallman, Roland McGrath / Free Software Foundation)
- GNU Emacs Manual Version 20 (Richard M. Stallman / Free Software Foundation)
- 無限のパラドックス―パズルで学ぶカントールとゲーデル (レイモンド スマリヤン / 白揚社)
- Algebraic Geometry (Graduate Texts in Mathematics. 52) (Robin Hartshorne / Springer)
- 楕円曲線論入門 (J.H. シルヴァーマン, J. テイト / シュプリンガー・フェアラーク東京)
- The Arithmetic of Elliptic Curves (Graduate Texts in Mathematics) (Joseph H. Silverman / Springer)
- The New Astronomy (Nigel Henbest, Michael Marten / Cambridge University Press)
- Rational Points on Modular Elliptic Curves (Cbms Regional Conference Series in Mathematics) (Henri Darmon / Amer Mathematical Society)
- コンピュータチェス―世界チャンピオンへの挑戦 (Information & Computing) (D. リービ, M. ニューボーン / サイエンス社)
- Kasparov Versus Deep Blue: Computer Chess Comes of Age (Monroe Newborn, Monty Newborn / Springer-Verlag New York Inc (C))
- カラー版 ハッブル望遠鏡が見た宇宙 (岩波新書) (野本 陽代, ロバート ウィリアムズ / 岩波書店)
- Hubble Space Telescope: New Views of the Universe (Mark Voit / Harry N. Abrams)
- カラー版 続・ハッブル望遠鏡が見た宇宙 (岩波新書) (野本 陽代 / 岩波書店)
- 量子力学 (2) (物理学大系 基礎物理篇 8) (朝永 振一郎 / みすず書房)
- 量子力学 (1) (物理学大系―基礎物理篇) (朝永 振一郎 / みすず書房)
- 角運動量とスピン―『量子力学』補巻 (朝永 振一郎 / みすず書房)
- 茶の世界史―緑茶の文化と紅茶の社会 (中公新書 (596)) (角山 栄 / 中央公論新社)
- Pascalの言語処理系―翻訳系・直訳系/通訳系 (ソフトウェア工学ライブラリ (10)) (スティーブン・ペンバートン, マーチン・ダニエルズ, 武市 正人, 木村友則 / 近代科学社)
- MINIXを256倍使うための本 (古田 敦, 友石 正彦, 端山 毅, 宮川 晋 / アスキー)
- ACMチューリング賞講演集 ( / 共立出版)
- 形式意味論入門―言語・論理・認知の世界 (白井 賢一郎 / 産業図書)
- POV‐Rayではじめるレイトレーシング (Ascii books) (小室 日出樹 / アスキー)
- Number Theory and Algebraic Geometry (London Mathematical Society Lecture Note Series) ( / Cambridge University Press)
- 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)
- プログラミング言語StandardML入門 (大堀 淳 / 共立出版)
- Rubyを256倍使うための本 無道編 (青木 峰郎 / アスキー)
- Rubyライブラリ編 (ASCII SOFTWARE SCIENCE Language) ( / アスキー)
- リスト遊び―Emacsで学ぶLispの世界 (ASCII SOFTWARE SCIENCE Language) (山本 和彦 / アスキー)
- 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)
- Object-Oriented Programming in Common Lisp: A Programmer's Guide to CLOS (Sonya E. Keene / Addison-Wesley Professional)
- Lisp (Patrick Winston, Berthold Horn / Addison Wesley)
- LISP (Patrick Henry Winston / Addison Wesley Longman Publishing Co)
- ソフトウェア千夜一夜物語 (Themsky / 共立出版)
- Design and Evolution of C++, The (Bjarne Stroustrup / Addison-Wesley Professional)
- The C++ Programming Language (Bjarne Stroustrup / Addison-Wesley Pub (Sd))
- 計算幾何学 (情報数学講座) (今井 浩, 今井 桂子 / 共立出版)
- コンピュータ将棋の進歩〈2〉 (松原 仁 / 共立出版)
- 暗号理論の基礎 (ダグラス・R. スティンソン / 共立出版)
- コンピュータ将棋の進歩 (松原 仁 / 共立出版)
- コンピュータ将棋―あなたも挑戦してみませんか (Information & Computing) (小谷 善行, 柿木 義一, 吉川 竹四郎, 森田 和郎 / サイエンス社)
- 将棋とコンピュータ (情報フロンテイアシリーズ) (松原 仁 / 共立出版)
- 思考ゲームプログラミング―オセロゲームのアルゴリズムと作成法 (アスキーブックス) (森田 和郎, 国枝 交子, 津田 伸秀 / アスキー)
- Opengl Reference Manual: The Official Reference Document for Opengl, Release 1 (OTL) (OpenGL Architecture Review Board / Addison-Wesley (C))
- Opengl Programming Guide: The Official Guide to Learning Opengl, Release 1 (Jackie Neider, Tom Davis, Mason Woo / Addison-Wesley (C))
- Ghostscript Another Manual (江口 庄英 / ソフトバンククリエイティブ)
- Tex for the Impatient (Paul W. Abrahams / Addison-Wesley Pub (Sd))
- 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)
- Introduction To Functional Programming, 2nd Edition (Prentice Hall Series in Computer Science) (Richard Bird / Prentice Hall)
- Principles of Functional Programming (Hugh Glaser, etc. / Pearson Education Limited)
- Functional Programming (International Computer Science Series) (Anthony J. Field, Peter Harrison / Addison-Wesley)
- Modula-2: A Software Development Approach (Gary Ford, Richard S. Wiener / Wiley)
- CGIプログラミング (シシャ ガンダヴァラム / オライリー・ジャパン)
- Programming With Standard Ml (BCS Practitioner) (Colin Myers, Chris Clack, Ellen Poon / Prentice Hall)
- プログラミング言語ML (ASCII SOFTWARE SCIENCE Language) (ジェフリー・D. ウルマン / アスキー)
- Smalltalk-80: Bits of History, Words of Advice ( / Addison-Wesley)
- SMALLTALK-80―対話形プログラミング環境 (Adele Goldberg / オーム社)
- 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サンプル集 (山田 祥寛 / 秀和システム)