close
1.

図書
図書
1. 発見的最適化手法による構造のフォルムとシステム
三井和男[ほか]共著
出版情報: 東京 : コロナ社, 2004.7
シリーズ名: 計算工学シリーズ ; 4
所蔵情報: loading…
2.

図書
図書
2. 量子コンピューティング
ヨゼフ・グルスカ原著 ; 伊藤正美 [ほか] 共訳
出版情報: 東京 : 森北出版, 2003.11
所蔵情報: loading…
3.

図書
図書
3. 計算理論とオートマトン言語理論 : コンピュータの原理を明かす
丸岡章著
出版情報: 東京 : サイエンス社, 2005.11
シリーズ名: Information & computing ; 106
所蔵情報: loading…
4.

図書
図書
4. オートマトンと言語
Michael Sipser著 ; 阿部正幸 [ほか] 訳
出版情報: 東京 : 共立出版, 2008.5
シリーズ名: 計算理論の基礎 / Michael Sipser著 ; 阿部正幸 [ほか] 訳 ; 1
所蔵情報: loading…
5.

図書
図書
5. 計算可能性の理論
Michael Sipser著 ; 阿部正幸 [ほか] 訳
出版情報: 東京 : 共立出版, 2008.5
シリーズ名: 計算理論の基礎 / Michael Sipser著 ; 阿部正幸 [ほか] 訳 ; 2
所蔵情報: loading…
6.

図書
図書
6. 複雑さの理論
Michael Sipser著 ; 阿部正幸 [ほか] 訳
出版情報: 東京 : 共立出版, 2008.5
シリーズ名: 計算理論の基礎 / Michael Sipser著 ; 阿部正幸 [ほか] 訳 ; 3
所蔵情報: loading…
7.

図書
図書
7. DNAロボット : 生命のしかけで創る分子機械
萩谷昌己, 西川明男著
出版情報: 東京 : 岩波書店, 2008.12
シリーズ名: 岩波科学ライブラリー ; 153
所蔵情報: loading…
8.

図書
図書
8. セルオートマトン : 複雑系の具象化
森下信著
出版情報: 東京 : 養賢堂, 2003.3
所蔵情報: loading…
9.

図書
図書
9. ファインマン・プロセッサ : 夢の量子コンピュータ
G.ミルバーン [著] ; 林一訳
出版情報: 東京 : 岩波書店, 2003.1
所蔵情報: loading…
10.

図書
図書
10. 計算論への入門 : オートマトン・言語理論・チューリング機械
エフィーム・キンバー, カール・スミス著 ; 筧捷彦監修 ; 杉原崇憲訳
出版情報: 東京 : ピアソン・エデュケーション, 2002.10
シリーズ名: スタンダードテキスト
所蔵情報: loading…