東京農工大学が所蔵する図書や雑誌、電子ブックを検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索します。
国内の学術論文を検索します。
国内の学術機関リポジトリに登録された学術情報を検索します。
国立国会図書館や公共図書館等が提供する資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(著者名に左の語を含む: #萩谷 昌己)
該当件数:13件
論理と計算 / 萩谷昌己著
東京 : 岩波書店 , 1993.6. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; 3 . 基礎 ; 11)
図書
分子コンピュータの現状と展望 : 分子プログラミングへの展開 / 萩谷昌己編著
東京 : サイエンス社 , 2004.3. - (臨時別冊・数理科学 ; . SGCライブラリ ; 31)
ナチュラルコンピューティング・シリーズ / 萩谷昌己, 横森貴編
東京 : 近代科学社
ソフトウェア科学のための論理学 / 萩谷昌己 [著]
東京 : 岩波書店 , 1994.1. - (岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 11)
第2刷. - 東京 : 岩波書店 , 1999.3. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 基礎 ; 11)
Common Lisp入門 / 湯浅太一, 萩谷昌己著
東京 : 岩波書店 , 1986.7. - (岩波コンピュータサイエンス)
化学系・生物系の計算モデル / 萩谷昌己, 山本光晴著
東京 : 共立出版 , 2009.9. - (アルゴリズム・サイエンスシリーズ / 杉原厚吉 [ほか] 編 ; 16 ; 適用事例編)
論理と計算のしくみ / 萩谷昌己, 西崎真也著
東京 : 岩波書店 , 2007.6
DNAロボット : 生命のしかけで創る分子機械 / 萩谷昌己, 西川明男著
東京 : 岩波書店 , 2008.12. - (岩波科学ライブラリー ; 153)
DNAコンピュータ / 萩谷昌己, 横森貴共編
東京 : 培風館 , 2001.12
数理的技法による情報セキュリティ / 萩谷昌己, 塚田恭章編
東京 : 共立出版 , 2010.7. - (シリーズ応用数理 / 日本応用数理学会監修 ; 第1巻)
遺伝的アルゴリズム / 北野宏明編
[1] - 4. - 東京 : 産業図書 , 1993.6-2000.8
自然計算へのいざない / 小林聡, 萩谷昌己, 横森貴編著 ; 山村雅幸 [ほか] 共著
東京 : 近代科学社 , 2015.11. - (ナチュラルコンピューティング・シリーズ / 萩谷昌己, 横森貴編 ; 第0巻)