close
1.

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

図書
図書
2. 量子コンピューティング : 量子コンピュータの実現へ向けて
C. P. ウィリアムズ, S. H. クリアウォータ著 ; 西野哲朗, 荒井隆, 渡邉昇訳
出版情報: 東京 : シュプリンガー・フェアラーク東京, 2000.6
所蔵情報: loading…
3.

図書
図書
3. アンチパターン : ソフトウェア危篤患者の救出
William J.Brown [ほか] 共著 ; 岩谷宏訳
出版情報: 東京 : ソフトバンク, 1999.3
所蔵情報: loading…
4.

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