上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(著者名に左の語を含む: #萩谷 昌己)
該当件数:15件
コンピューティング : 原理とその展開 / 萩谷昌己著
東京 : 放送大学教育振興会 , 2019.3. - (放送大学大学院教材 ; 8970157-1-1911 . 情報学プログラム)
図書 <1003047509>
関数プログラミング / 萩谷昌己著
東京 : 日本評論社 , 1998.3. - (情報数学セミナー)
図書 <1000293276>
論理と計算のしくみ / 萩谷昌己, 西崎真也著
東京 : 岩波書店 , 2007.6
図書 <1001833088>
情報システム / 東京大学工学教程編纂委員会編 ; 萩谷昌己著
東京 : 丸善出版 , 2016.11. - (東京大学工学教程 / 東京大学工学教程編纂委員会編 ; . 情報工学)
図書 <1002893119>
Theoretical aspects of computer software : international symposium TACS '94, Sendai, Japan, April 19-22, 1994 ; proceedings / Masami Hagiya, John C. Mitchell, eds
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 789)
図書 <1000495786>
ナチュラルコンピューティング・シリーズ / 萩谷昌己, 横森貴編
東京 : 近代科学社
図書 <1002289011>
コンピューティング : 原理とその展開 / 川合慧, 萩谷昌己著
東京 : 放送大学教育振興会 , 2015.3. - (放送大学大学院教材 ; 8970084-1-1511 . { 情報学プログラム ; 自然環境科学プログラム ; シゼン カンキョウ カガク プログラム })
図書 <1002765567>
DNAロボット : 生命のしかけで創る分子機械 / 萩谷昌己, 西川明男著
東京 : 岩波書店 , 2008.12. - (岩波科学ライブラリー ; 153)
図書 <1002008159>
化学系・生物系の計算モデル / 萩谷昌己, 山本光晴著
東京 : 共立出版 , 2009.9. - (アルゴリズム・サイエンスシリーズ / 杉原厚吉 [ほか] 編 ; 16 ; 適用事例編)
図書 <1002126075>
ソフトウェア科学のための論理学 / 萩谷昌己 [著]
東京 : 岩波書店 , 1994.1. - (岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 11)
図書 <1000248035>
数理的技法による情報セキュリティ / 萩谷昌己, 塚田恭章編
東京 : 共立出版 , 2010.7. - (シリーズ応用数理 / 日本応用数理学会監修 ; 第1巻)
図書 <1002207790>
DNAコンピュータ / 萩谷昌己, 横森貴共編
東京 : 培風館 , 2001.12
図書 <1001355032>
論理と計算 / 萩谷昌己著
東京 : 岩波書店 , 1993.6. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; 3 . 基礎 ; 11)
図書 <1000237971>
遺伝的アルゴリズム / 北野宏明編
[1] - 4. - 東京 : 産業図書 , 1993.6-2000.8
図書 <1000237869>
自然計算へのいざない / 小林聡, 萩谷昌己, 横森貴編著 ; 山村雅幸 [ほか] 共著
東京 : 近代科学社 , 2015.11. - (ナチュラルコンピューティング・シリーズ / 萩谷昌己, 横森貴編 ; 第0巻)
図書 <1002833733>