ログイン
ヘルプ
×終了
日本語
|
English
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
検索条件
著者情報:萩谷, 昌己(1957-)
図書(5件)
選択行を:
10件
20件
50件
資料名
所蔵館
責任表示
出版者
出版年
所在
1
ソフトウェア科学のための論理学 ( 岩波講座ソフトウェア科学 ; 11 )
亀岡本館
萩谷昌己 [著]
岩波書店
1994
亀岡本館:書庫
007.63||I95||11
2
化学系・生物系の計算モデル ( アルゴリズム・サイエンスシリーズ ; 16 ; 適用事例編 )
太秦南館
萩谷昌己, 山本光晴著
共立出版
2009
太秦南館:5階閲覧室
007.64||H14k
3
数理的技法による情報セキュリティ ( シリーズ応用数理 ; 第1巻 )
太秦南館
萩谷昌己, 塚田恭章編
共立出版
2010
太秦南館:5階閲覧室
007.609||Su76
4
自然計算へのいざない ( ナチュラルコンピューティング・シリーズ ; 第0巻 )
太秦南館
小林聡, 萩谷昌己, 横森貴編著, 山村雅幸 [ほか] 共著
近代科学社
2015
太秦南館:5階閲覧室
007.1||Sh93
5
情報システム ( 東京大学工学教程[ 情報工学] )
太秦南館
東京大学工学教程編纂委員会編, 萩谷昌己著
丸善出版
2016
太秦南館:5階閲覧室
007||H14j
選択行を
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。