東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(著者名に左の語を含む: #広瀬 健)
該当件数:17件
情報数学 / 廣瀬健執筆
東京 : コロナ社 , 1985.11. - (電子通信学会大学シリーズ / 電子通信学会編 ; A-5)
図書
数学の方法 : 直観的イメージから数学的対象へ / 廣瀬健 [ほか] 共著
東京 : 共立出版 , 1982.6
数学的帰納法 / 廣瀬健著
東京 : 教育出版 , 1975.6. - (シリーズ新しい応用の数学 / 一松信, 伊理正夫, 竹内啓編 ; 11)
計算機科学/ソフトウェア技術講座 / 廣瀬健 [ほか] 編
東京 : 共立出版
帰納的関数 / 廣瀬健著
東京 : 共立出版 , 1989.2. - (共立講座現代の数学 ; 3)
基礎概念 / D.E. Knuth著 ; 廣瀬健訳
東京 : サイエンス社 , 1978.3. - (The art of computer programming ; 1 . 基本算法)
形式的モデルと意味論
東京 : 丸善 , 1994.2. - (コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 2)
アルゴリズムと複雑さ
東京 : 丸善 , 1994.2. - (コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 1)
情報と社会 / 廣瀬健, 有澤誠著
東京 : 岩波書店 , 1988.1. - (文科系のコンピュータ ; 環境篇)
認知科学と人工知能 / 安西祐一郎著
東京 : 共立出版 , 1987.11. - (計算機科学/ソフトウェア技術講座 / 廣瀬健 [ほか] 編 ; 17)
第五世代コンピュータの計画 / 淵一博, 広瀬健著
東京 : 海鳴社 , 1984.6. - (Monad books ; 27)
ゲーデルの世界 : 完全性定理と不完全性定理 / 廣瀬健, 横田一正著
東京 : 海鳴社 , 1985.5
新データベース論 : 関係から演繹・オブジェクト指向へ / 横田一正, 宮崎収兄著
東京 : 共立出版 , 1994.7. - (計算機科学/ソフトウェア技術講座 / 廣瀬健 [ほか] 編 ; 4)
数学・基礎の基礎 / 廣瀬健著
東京 : 海鳴社 , 1996.6
コンピュータソフトウェア事典 / 廣瀬健, 高橋延匡, 土居範久編
東京 : 丸善 , 1990.4
コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳
東京 : 丸善 , 1994.2
情報数学講座
東京 : 共立出版 , 1993.5-