関連資料一覧：（本学所蔵）
選択行を：
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
| 1 |  | 物理学の歩み ( 文庫クセジュ ; 226 ) | 鶴川図書館 | ピエール・ゲイディエ著, 和田英一, 岡野光治共訳 | 白水社 | 1957 | 鶴川２階 |
| 2 | | Logic Programming '85 : proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985 : gw , : us ( Lecture notes in computer science ; 221 ) | 中央図書館 | edited by Eiiti Wada | Springer-Verlag | 1986 | 中央５階洋 007.1||L 49||221 |
| 3 |  | Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986 : gw , : us ( Lecture notes in computer science ; 264 ) | 中央図書館 | Eiiti Wada (ed.) | Springer-Verlag | 1987 | 中央５階洋 007.1||L 49||264 |
| 4 |  | 計算機プログラムの構造と解釈 | 中央図書館 | ジェラルド・ジェイ・サスマン, ハロルド・エイブルソン, ジュリー・サスマン共著, 和田英一訳 | ピアソン・エデュケーション | 2000 | 中央５階 007.64||Su 79 |
| 5 |  | MMIX-A RISC Computer for the New Millennium ( Ascii Addison Wesley programming series[ The art of computer programming ; Volume 1, Fascicle 1] ) | 中央図書館 | Donald E. Knuth著, 青木孝訳 | アスキー | 2006 | 中央５階 007.64||Kn 8||1-1 |
| 6 |  | Seminumerical algorithms ( Ascii Addison Wesley programming series[ The art of computer programming ; 2] ) | 中央図書館 | Donald E. Knuth著, 斎藤博昭 [ほか] 訳 | アスキー | 2004 | 中央５階 007.64||Kn 8||2 |
| 7 | | Bitwise tricks & techniques, binary decision diagrams ( Ascii Addison Wesley programming series[ The Art of computer programming ; Volume 4, Fascicle 1] ) | 中央図書館 | Donald E. Knuth著, 和田英一訳 | アスキー・メディアワークス, 角川グループパブリッシング (発売) | 2011 | 中央５階 007.64||Kn 8||4-1 |
選択行を
|