関連資料一覧：（本学所蔵）
選択行を：
| 資料名 | 所在 |
| 1 | DNAコンピュータ / 萩谷昌己, 横森貴共編. -- 培風館, 2001.12. | 図書館(書庫) 007.1:H |
| 2 | DNAコンピューティング : 新しい計算パラダイム / G. パウン, G. ローゼンバーグ, A. サローマ著 ; 横森貴, 榊原康文, 小林聡訳. -- シュプリンガー・フェアラーク東京, 1999.12. | 図書館(閲覧室) 007.1:P |
| 3 | PとNP : 計算量の根本問題 / 竹内外史著. -- 日本評論社, 1996.9. | 理数学 410.9:Ta |
| 4 | アルゴリズム理論の基礎 / 宮崎修一著. -- 森北出版, 2019.8. | 図書館(閲覧室) 007.6:M |
| 5 | アンダースタンディングコンピュテーション : 単純な機械から不可能なプログラムまで / Tom Stuart著 ; 笹井崇司訳. -- オライリー・ジャパン, . | 図書館(閲覧室) 007.1:S |
| 6 | オートマトンと言語 / Michael Sipser著 ; 阿部正幸 [ほか] 訳. -- 共立出版, 2008.5. -- (計算理論の基礎 / Michael Sipser著 ; 阿部正幸 [ほか] 訳 ; 1). | 図書館(閲覧室) 007.1:S
図書館(シラバス) 007.1:S |
| 7 | 計算可能性の理論 / Michael Sipser著 ; 阿部正幸 [ほか] 訳. -- 共立出版, 2008.5. -- (計算理論の基礎 / Michael Sipser著 ; 阿部正幸 [ほか] 訳 ; 2). | 図書館(閲覧室) 007.1:S
図書館(シラバス) 007.1:S |
| 8 | 計算できるもの、計算できないもの : 実践的アプローチによる計算理論入門 / ジョン・マコーミック著 ; 長尾高弘訳. -- オライリー・ジャパン, . | 図書館(閲覧室) 410.9:M |
| 9 | 計算理論とオートマトン言語理論 : コンピュータの原理を明かす / 丸岡章著. -- 第2版. -- サイエンス社, 2021.11. -- (Information & computing ; 122). | 図書館(閲覧室) 007.1:M |
| 10 | 計算理論とオートマトン言語理論 : コンピュータの原理を明かす/ 丸岡章著. -- サイエンス社, 2005.11. -- (Information & computing ; 106). | 図書館(閲覧室) 007.1:M
図書館(書庫) 007.1:M |
選択行を：
|