@tkの本棚
(12/12)冊
- プログラム検証論 (情報数学講座) (林 晋 / 共立出版)
- プログラミング言語StandardML入門 (大堀 淳 / 共立出版)
- ゲーデルの世界―その生涯と論理 (ジョン・L. カスティ, ヴェルナー デパウリ / 青土社)
- ゲーデルは何を証明したか―数学から超数学へ (E. ナーゲル, J.R. ニューマン / 白揚社)
- ライフゲイムの宇宙 (ウィリアム・パウンドストーン, William Poundstone / 日本評論社)
- 計算可能性・計算の複雑さ入門 (アルゴリズムシリーズ) (渡辺 治 / 近代科学社)
- 嗤う日本の「ナショナリズム」 (NHKブックス) (北田 暁大 / 日本放送出版協会)
- 磁力と重力の発見〈1〉古代・中世 (山本 義隆 / みすず書房)
- 情報科学における論理 (情報数学セミナー) (小野 寛晰 / 日本評論社)
- Concurrency: State Models & Java Programs (Worldwide Series in Computer Science) (Jeff Magee, Jeff Kramer / Wiley)
- ソフトウェア・テストの技法 (G.J. マイヤーズ / 近代科学社)
- The Monopoly Companion: The Player's Guide : The Game from A to Z, Winning Tips, Trivia (Philip Orbanes / Adams Media Corp)