1.

図書
図書
1. ゲーデルの世界 : 完全性定理と不完全性定理
廣瀬健, 横田一正著
出版情報: 東京 : 海鳴社, 1985.5
所蔵情報: loading…
2.

図書
図書
2. ソフトウェア評価技法 : 検査・検定・保守・コスト積算
廣瀬健編
出版情報: 東京 : 共立出版, 1982.9
所蔵情報: loading…
3.

図書
図書
3. 認知科学と人工知能
安西祐一郎著
出版情報: 東京 : 共立出版, 1987.11
シリーズ名: 計算機科学/ソフトウェア技術講座 / 廣瀬健[ほか]編 ; 17
所蔵情報: loading…
4.

図書
図書
4. 形式的モデルと意味論
Leeuwen, Jan van ; 広瀬, 健(1935-)
出版情報: 東京 : 丸善, 1994.2
シリーズ名: コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 2
所蔵情報: loading…
5.

図書
図書
5. コンピュータソフトウェア事典
廣瀬健, 高橋延匡, 土居範久編
出版情報: 東京 : 丸善, 1990.4
所蔵情報: loading…
6.

図書
図書
6. 基礎概念
D. E. Knuth著 ; 廣瀬健訳
出版情報: 東京 : サイエンス社, 1978.3
シリーズ名: The art of computer programming ; 1 . 基本算法||キホン サンポウ
所蔵情報: loading…
7.

図書
図書
7. アルゴリズムと複雑さ
Leeuwen, Jan van ; 広瀬, 健(1935-)
出版情報: 東京 : 丸善, 1994.2
シリーズ名: コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 1
所蔵情報: loading…