1.

図書
図書
1. 計算モデルの基礎理論
井田哲雄 [著]
出版情報: 東京 : 岩波書店, 1991.3
シリーズ名: 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 12
2.

図書
図書
2. ソフトウェア科学のための論理学
萩谷昌己 [著]
出版情報: 東京 : 岩波書店, 1994.1
シリーズ名: 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 11
3.

図書
図書
3. ファインマン計算機科学
[ファインマン述] ; A. ヘイ, R. アレン編 ; 原康夫, 中山健, 松田和典訳
出版情報: 東京 : 岩波書店, 1999.1
4.

図書
図書
4. プログラミング言語処理系
佐々政孝 [著]
出版情報: 東京 : 岩波書店, 1989.10
シリーズ名: 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 5
5.

図書
図書
5. プログラミング言語
武市正人 [著]
出版情報: 東京 : 岩波書店, 1994.6
シリーズ名: 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 4
6.

図書
図書
6. 数値処理プログラミング
津田孝夫 [著]
出版情報: 東京 : 岩波書店, 1988.11
シリーズ名: 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 9
7.

図書
図書
7. コンピュータ概論
都倉信樹著
出版情報: 東京 : 岩波書店, 1992.7
シリーズ名: 情報処理入門コース / 土居範久, 筧捷彦編 ; 1