核融合科学研究所図書室を検索します。
CiNii Researchを検索します。
NDLサーチのサイトはこちら
CiNii Booksを検索します。
目次情報検索を検索します。
SCOPUSを検索します。検索パネルが閉じている場合は+ボタンを押してください。
Web of Scienceを検索します。検索パネルが閉じている場合は+ボタンを押してください。
岡崎図書館を検索します。検索パネルが閉じている場合は+ボタンを押してください。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(著者名に左の語を含む: #広瀬 健)
該当件数:4件
数学的帰納法 / 廣瀬健著
東京 : 教育出版 , 1975.6. - (シリーズ新しい応用の数学 / 一松信, 伊理正夫, 竹内啓編 ; 11)
図書
情報数学 / 廣瀬健執筆
東京 : コロナ社 , 1985.11. - (電子通信学会大学シリーズ / 電子通信学会編 ; A-5)
アルゴリズムと複雑さ
東京 : 丸善 , 1994.2. - (コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 1)
形式的モデルと意味論
東京 : 丸善 , 1994.2. - (コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 2)