城西国際大学を検索します。
CiNii Booksを検索します。
CiNiiを検索します。
CiNii Dissertationsを検索します。
IRDBを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(著者名に左の語を含む: #萩谷 昌己)
該当件数:6件
ソフトウェア科学のための論理学 / 萩谷昌己 [著]
東京 : 岩波書店 , 1994.1. - (岩波講座ソフトウェア科学 ; 11)
図書
基礎情報科学 / 川合慧, 萩谷昌己著
東京 : 放送大学教育振興会 , 2009.3. - (放送大学大学院教材 ; 8960518-1-0911 . 自然環境科学プログラム)
論理と計算 / 萩谷昌己著
東京 : 岩波書店 , 1993.6. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 基礎 ; 11)
情報システム / 東京大学工学教程編纂委員会編 ; 萩谷昌己著
東京 : 丸善出版 , 2016.11. - (東京大学工学教程 / 東京大学工学教程編纂委員会編 ; . 情報工学)
化学系・生物系の計算モデル / 萩谷昌己, 山本光晴著
東京 : 共立出版 , 2009.9. - (アルゴリズム・サイエンスシリーズ / 杉原厚吉 [ほか] 編 ; 16 ; 適用事例編)
数理的技法による情報セキュリティ / 萩谷昌己, 塚田恭章編
東京 : 共立出版 , 2010.7. - (シリーズ応用数理 / 日本応用数理学会監修 ; 第1巻)