科目名 |
参考文献 |
出版社 |
2年 |
| アルゴリズムとデータ構造 |
データ構造とアルゴリズム / エイホ他 |
培風館 |
3年 |
| 離散数学 |
グラフ・ネットワーク・組合せ論 / 藤重 |
共立出版 |
| 最適化法 / 田村 |
共立出版 |
| 離散数学とその応用 / 徳山 |
数理工学社 |
| Algorithm design / Kleinberg |
Addison-W. |
| Combinatorial optimization. Vol. 1-3 |
Springer |
| 情報論理 |
数学基礎論入門 / 前原 |
朝倉書店 |
| 情報科学における論理 / 小野 |
日本評論社 |
| 数理論理学 / 林 |
コロナ社 |
| 言語処理系論 |
コンパイラの構成と最適化 / 中田 |
朝倉書店 |
| 計算機構成論 |
Computer architecture / Hennessy. 3rd ed. |
Kaufmann |
| 計算機アーキテクチャと構成方式 / 中澤 |
朝倉書店 |
| 知能システム論 |
Artificial intelligence / Russell. 2nd ed. |
PH |
| 言語モデル論 |
モデルと表現 / 米澤他 |
岩波書店 |
| コンパイラの構成と最適化 / 中田 |
朝倉書店 |
| Concepts in programming languages / Mitchell |
MIT Press |
| Types and programming languages / Pierce |
MIT Press |
| 計算量理論 |
Computers and intractability / Garey |
Freeman |
| Computational complexity / Papadimitriou |
Addison-W. |
| Combinatorial optimization / Papadimitriou |
Dover |
| 連続系アルゴリズム |
Matrix / Golub. 3rd ed. |
Johns Hopkins |
| 数値計算のつぼ / 二宮 |
共立出版 |
| 反復法Templates |
朝倉書店 |
| Accuracy and stability of numerical algorithms / Higham. 2nd ed. |
SIAM |
| 数値計算法の数理 / 杉原 |
岩波書店 |
| 数値計算の常識 / 伊理 |
共立出版 |
| コンピュータネットワーク |
Computer networks / Tanenbaum. 4th ed. |
P-H |
| コンピュータネットワーク / 水野訳 |
日経BP |
| Computer networking / Kurose. 3rd ed. |
Peason |
| インターネット技術のすべて / 秋月訳 |
ピアソン |
| Interconnections / Perlman. 2nd ed. |
Addison-W. |
| Interconnections / 加藤訳 |
ソフトバンク |
| Internetworking with TCP/IP. Vol.1. 4th ed. |
P-H |
| Internetworking with TCP/IP. Vol.2. 4th ed. |
P-H |
| TCP/IPによるネットワーク構築 Vol. 1-3 |
共立出版 |
| TCP/IP illustrated / Stevens. Vol. 1-3 |
Addison-W. |
| 詳解TCP/IP / 橘・徳田・中本訳 Vol.1-3 |
ピアソン |
4年 |
| コンピュータグラフィクス論 |
Introduction to Computer Graphics /J. Foley |
Addison-W. |
| ｺﾝﾋﾟｭｰﾀｸﾞﾗﾌｨｯｸｽ / ｺﾝﾋﾟｭｰﾀｸﾞﾗﾌｨｯｸｽ編集委員会監修 |
CG-ARTS |
| 計算アルゴリズム論 |
Quantum computation and quantum information / Nielsen |
Cambridge |
| (アルゴリズム論) |
Randomized algorithms / Motwani |
Cambridge |
| 計算機言語論 |
Advanced topics in types and proｇramming lang. / Pierce |
MIT Press |
| Essentials of programming languages / Friedman. 2nd ed. |
MIT Press |
| Foundations of object-oriented languages / Bruce |
MIT Press |
| The C++ programming language / Stroustrup |
Addison-W. |
| The Java programming language / Arnold |
Addison-W. |
| ユーザインタフェース |
誰のためのデザイン？ / ノーマン |
新曜社 |
| The human interface / Raskin |
Addison-W. |
| Bringing design to software / Winograd eds. |
Addison-W. |
<librarian@is.s.u-tokyo.ac.jp>
Last modified on 2007-03-20