ICU図書館の所蔵資料を検索します。
他大学図書館の所蔵資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード：(件名: #オートマトン)
該当件数:45件
オートマトン・形式言語理論と計算論
東京 : 岩波書店 , 1982.3. - (岩波講座情報科学 ; 6)
図書 [BN00245364]
オートマトンと計算可能性 / 有川節夫,宮野悟著
東京 : 培風館 , 1986.9. - (情報処理シリーズ ; 9)
図書 [BN00433502]
有限オートマトン入門 / 岩田茂樹,笠井琢美共著
東京 : 森北出版 , 1986.5
図書 [BN00474408]
形式言語理論 / 嵩忠雄[ほか]共著 ; 電子情報通信学会編
東京 : 電子情報通信学会 , 1988.3. - (情報とシステムシリーズ)
図書 [BN02498145]
ライフゲイムの宇宙 / ウィリアム・パウンドストーン著 ; 有沢誠訳
東京 : 日本評論社 , 1990.6
図書 [BN04752783]
オートマトン言語理論計算論 / J. ホップクロフト,J. ウルマン共著 ; 野崎昭弘[ほか]共訳
東京 : サイエンス社 , 1986.3. - (Information & computing ; 4)
図書
オートマトンの理論
東京 : 共立出版 , 1983.7. - (電子計算機基礎講座 ; 11)
図書 [BN00569785]
東京 : サイエンス社 , 1984.8. - (Information & computing ; 3)
計算論とオートマトン理論 / A. サローマ著 ; 野崎昭弘[ほか]共訳
東京 : サイエンス社 , 1988.10. - (Information & computing ; 28)
図書 [BN02644972]
計算モデル論入門 : チューリング機械からラムダ計算へ / 井田哲雄共著 ; 浜名誠共著
東京 : サイエンス社 , 2006.8. - (Information Science & Engineering ; F5)
オートマトンと言語理論 / 足立暁生著
東京 : 森北出版 , 1992.1. - (情報工学入門シリーズ ; 4)
図書 [BN07072479]
セルオートマトン / Joel L. Schiff著 ; 足立進 [ほか] 訳
東京 : 共立出版 , 2011.12
図書 [BB07764183]
チューリングの考えるキカイ : 人工知能の父に学ぶコンピュータ・サイエンスの基礎 / 阿部彩芽, 笠井琢美著
東京 : 技術評論社 , 2018.5
図書 [BB26184431]
計算論 / 隈部正博著
改訂版. - 東京 : 放送大学教育振興会 , 2016.3. - (放送大学大学院教材 ; 8960631-1-1611 . 自然環境科学プログラム)
図書 [BB2082495X]
オートマトン・言語理論入門 / 大川知, 広瀬貞樹, 山本博章著
東京 : 共立出版 , 2012.1. - (未来へつなぐデジタルシリーズ = Connection to the future with digital series ; 5)
図書 [BB07923775]
量子コンピュータの理論 : 量子コンピューティング入門 / 西野哲朗著
東京 : 培風館 , 2002.12
ファインマン・プロセッサ : 夢の量子コンピュータ / G.ミルバーン〔著〕 ; 林一訳
東京 : 岩波書店 , 2003.1
図書 [BA60747562]
量子コンピュータの数理 / 大矢雅則著
東京 : 丸善 , 1999.5. - (パリティ物理学コース ; ; 牧 二郎/編)
図書 [BA4157856X]
形式言語の理論 / 西野哲朗著 ; 石坂裕毅著 ; 有川節夫監修
東京 : 丸善 , 1999.7. - (情報科学コアカリキュラム講座 ; ; 稲垣 康善/〔ほか〕編集委員)
図書 [BA42491456]
量子コンピュータの基礎 / 細谷暁夫著
東京 : サイエンス社 , 1999.12. - (SGCライブラリ ; 4)
オートマトンと形式言語 / 都倉信樹著
東京 : 昭晃堂 , 1995.6
図書 [BN12672227]
オートマトン・言語と計算理論 / 電子情報通信学会編 ; 岩間一雄著
東京 : コロナ社 , 2003.11. - (電子情報通信レクチャーシリーズ / 電子情報通信学会編 ; B-6)
図書 [BA64107562]
計算理論入門 / 五十嵐善英, Forbes D.Lewis, 舩田眞里子著
東京 : 牧野書店. - 東京 : 星雲社 (発売) , 2013.6. - (数理情報科学シリーズ ; 27)
図書 [BB12859154]
チューリングを読む : コンピュータサイエンスの金字塔を楽しもう / チャールズ・ペゾルド著 ; 井田哲雄 [ほか] 訳
[東京] : 日経BP社. - 東京 : 日経BPマーケティング (発売) , 2012.6
図書 [BB09343233]
オートマトンと形式言語の基礎 / 五十嵐善英 [ほか] 著
東京 : 牧野書店. - 東京 : 星雲社(発売) , 2011.9. - (数理情報科学シリーズ ; 24)
図書 [BB06574808]
謎のチェス指し人形「ターク」 / トム・スタンデージ著 ; 服部桂訳
東京 : NTT出版 , 2011.12
図書 [BB0778166X]
計算可能性の理論 / Michael Sipser著 ; 阿部正幸 [ほか] 訳
東京 : 共立出版 , 2008.5. - (計算理論の基礎 / Michael Sipser著 ; 阿部正幸 [ほか] 訳 ; 2)
図書 [BA86004337]
計算理論の基礎 / Michael Sipser著 ; 渡辺治監訳 ; 太田和夫監訳 ; 阿部正幸〔ほか〕訳
東京 : 共立出版 , 2000.4
図書 [BA4621889X]
量子コンピュータの基礎数理 / 上坂吉則著
東京 : コロナ社 , 2000.5
図書 [BA46565667]
量子コンピュータ入門 / 西野哲朗著
東京 : 東京電機大学出版局 , 1997.3. - (情報科学セミナー)
図書 [BA2994254X]
入門量子コンピュータ / ゲナディ・P.ベルマン〔ほか〕著 ; 松田和典訳
東京 : パーソナルメディア , 2002.9
図書 [BA58557881]
オートマトン・言語理論の基礎 / 米田政明 [ほか] 著
東京 : 近代科学社 , 2003.5
図書 [BA62071985]
量子コンピューティング / ヨゼフ・グルスカ原著 ; 伊藤正美 [ほか] 共訳
東京 : 森北出版 , 2003.11
図書 [BA64588981]
白と黒のとびら : オートマトンと形式言語をめぐる冒険 / 川添愛著
東京 : 東京大学出版会 , 2013.4. - (Archimage Garret's apprenticeship / 川添愛著)
図書 [BB12255065]
アンダースタンディングコンピュテーション : 単純な機械から不可能なプログラムまで / Tom Stuart著 ; 笹井崇司訳
東京 : オライリー・ジャパン. - 東京 : オーム社 (発売) , 2014.9
図書 [BB1668682X]
オートマトン 言語理論 計算論 / J.ホップクロフト共著 ; R.モトワニ共著 ; J.ウルマン共著 ; 野崎昭弘〔ほか〕共訳
第2版. - 東京 : サイエンス社 , 2003.8. - (Information & computing ; 4)
渋滞学 / 西成活裕著
東京 : 新潮社 , 2006.9. - (新潮選書)
コンピュータの思考法 = 計算モデル
東京 : 朝倉書店 , 2004.9. - (情報数学の世界 / 有沢誠著 ; 3)
よくわかる渋滞学 / 西成活裕著
東京 : ナツメ社 , 2009.8. - (図解雑学 : 絵と文章でわかりやすい!)
図書 [BA90873522]
オートマトンと言語 / Michael Sipser著 ; 阿部正幸 [ほか] 訳
東京 : 共立出版 , 2008.5. - (計算理論の基礎 / Michael Sipser著 ; 阿部正幸 [ほか] 訳 ; 1)
図書 [BA86003560]
複雑さの理論 / Michael Sipser著 ; 阿部正幸 [ほか] 訳
東京 : 共立出版 , 2008.5. - (計算理論の基礎 / Michael Sipser著 ; 阿部正幸 [ほか] 訳 ; 3)
図書 [BA86004654]
第2版. - 東京 : サイエンス社 , 2003.4. - (Information & computing ; 3)
機械と言語
東京 : 東京電機大学出版局 , 1993.3. - (チューリングオムニバス : コンピュータサイエンスへの旅 / A.K.デュードニー著 ; 足立暁生訳 ; 第3巻)
量子コンピュータと量子暗号
東京 : 岩波書店 , 2002.3. - (岩波講座物理の世界 / 佐藤文隆〔ほか〕編集委員 ; 物理と情報4)
言語と構文解析 / 徳田雄洋著
東京 : 共立出版 , 1995.10. - (情報数学講座 ; 第5巻)
