close
1.

図書
図書
1. 論理
廣瀬健著
出版情報: 東京 : 日本評論社, 1994.5
シリーズ名: 現代応用数学の基礎
所蔵情報: loading…
2.

図書
図書
2. 代数系 : 環・体・ガロア体・群・束
廣瀬健著
出版情報: 東京 : 日本評論社, 1994.5
シリーズ名: 現代応用数学の基礎
所蔵情報: loading…
3.

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

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

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

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

図書
図書
7. 情報数学
廣瀬健執筆
出版情報: 東京 : コロナ社, 1985.11
シリーズ名: 電子情報通信学会大学シリーズ / 電子情報通信学会編 ; A-5
所蔵情報: loading…
8.

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

図書
図書
9. 数学の方法 : 直観的イメージから数学的対象へ
廣瀬健 [ほか] 共著
出版情報: 東京 : 共立出版, 1982.6
所蔵情報: loading…
10.

図書
図書
10. 数学と諸科学
斎藤正彦, 廣瀬健, 森毅編
出版情報: 東京 : 日本評論社, 1980.12
シリーズ名: シンポジウム数学 ; 2 . 数学セミナー増刊||スウガク セミナー ゾウカン
所蔵情報: loading…