東京農工大学が所蔵する図書や雑誌、電子ブックを検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索します。
国内の学術論文を検索します。
国内の学術機関リポジトリに登録された学術情報を検索します。
国立国会図書館や公共図書館等が提供する資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(著者名に左の語を含む: #広瀬 健)
該当件数:22件
論理 / 廣瀬健著
東京 : 日本評論社 , 1994.5. - (現代応用数学の基礎)
図書
代数系 : 環・体・ガロア体・群・束 / 廣瀬健著
情報数学 / 廣瀬健執筆
東京 : コロナ社 , 1985.11. - (電子通信学会大学シリーズ / 電子通信学会編 ; A-5)
数学の方法 : 直観的イメージから数学的対象へ / 廣瀬健 [ほか] 共著
東京 : 共立出版 , 1982.6
帰納的関数 / 廣瀬健著
東京 : 共立出版 , 1989.2. - (共立講座現代の数学 ; 3)
数学基礎論の応用 / 廣瀬健編著
東京 : 日本評論社 , 1981.3. - (数学セミナー ; 増刊 . 入門・現代の数学 ; 12)
計算機科学/ソフトウェア技術講座 / 廣瀬健 [ほか] 編
東京 : 共立出版
数学的帰納法 / 廣瀬健著
東京 : 教育出版 , 1975.6. - (シリーズ新しい応用の数学 / 一松信, 伊理正夫, 竹内啓編 ; 11)
基礎概念 / D.E. Knuth著 ; 廣瀬健訳
東京 : サイエンス社 , 1978.3. - (The art of computer programming ; 1 . 基本算法)
文化のなかの数学 / 斎藤正彦, 廣瀬健, 森毅編
東京 : 日本評論社 , 1981.9. - (シンポジウム数学 ; 3 . 数学セミナー増刊)
アルゴリズムと複雑さ
東京 : 丸善 , 1994.2. - (コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 1)
形式的モデルと意味論
東京 : 丸善 , 1994.2. - (コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 2)
コンピュータから生まれた新しい数学 / 野崎昭弘, 広瀬健編
東京 : 日本評論社 , 1986.4. - (別冊・数学セミナー ; . コンピュータと数学 ; 5)
ゲーデルの世界 : 完全性定理と不完全性定理 / 廣瀬健, 横田一正著
東京 : 海鳴社 , 1985.5
数学研究の最前線 / 斎藤正彦, 廣瀬健, 森毅編
東京 : 日本評論社 , 1982.7. - (シンポジウム数学 ; 4 . 数学セミナー増刊)
数学と諸科学 / 斎藤正彦, 廣瀬健, 森毅編
東京 : 日本評論社 , 1980.12. - (シンポジウム数学 ; 2 . 数学セミナー増刊)
数学と教育 / 斎藤正彦, 廣瀬健, 森毅編
東京 : 日本評論社 , 1980.4. - (シンポジウム数学 ; 1 . 数学セミナー増刊)
コンピュータソフトウェア事典 / 廣瀬健, 高橋延匡, 土居範久編
東京 : 丸善 , 1990.4
コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳
東京 : 丸善 , 1994.2
数学と現代 / 斎藤正彦, 廣瀬健, 森毅編
東京 : 日本評論社 , 1983.3. - (シンポジウム数学 ; 5 . 数学セミナー増刊)