帝京科学大学の蔵書を検索できます。
他大学図書館等の蔵書を検索できます。
国内の学協会誌や研究紀要などを中心とした論文等を検索できます。
国立国会図書館、都道府県立図書館、政令指定都市の市立図書館等の蔵書を検索できます。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #オートマトン)
該当件数:35件
離散情報処理とオートマトン / 小淵洋一著
東京 : 朝倉書店 , 1999.2. - (システム制御情報ライブラリー / システム制御情報学会編 ; 18)
図書
形式言語理論 / 嵩忠雄, 都倉信樹, 谷口健一共著 ; 電子情報通信学会編
東京 : 電子情報通信学会 , 1988.3. - (情報とシステムシリーズ)
オートマトン・言語理論 / 本多波雄著
東京 : コロナ社 , 1972.3. - (情報工学講座 ; 6)
オートマトン・言語理論 / 富田悦次, 横森貴共著
東京 : 森北出版 , 1992.5. - (基礎情報工学シリーズ / 飯島泰蔵編 ; 5)
オートマトンと計算可能性 / 有川節夫, 宮野悟著
東京 : 培風館 , 1986.9. - (情報処理シリーズ ; 9)
有限オートマトン入門 / 岩田茂樹, 笠井琢美共著
東京 : 森北出版 , 1986.5
コンピュータ・サイエンスのための言語理論入門 / V. J. Rayward-Smith著 ; 吉田敬一, 石丸清登訳 ; 井上謙蔵監修
東京 : 共立出版 , 1986.4
有限オートマトンと正規言語 / 山崎克典著
東京 : 東京理科大学出版会 , 1986.4
計算モデル論入門 : チューリング機械からラムダ計算へ / 井田哲雄, 浜名誠共著
東京 : サイエンス社 , 2006.8. - (Information science & engineering ; F5)
計算論への入門 : オートマトン・言語理論・チューリング機械 / エフィーム・キンバー, カール・スミス著 ; 筧捷彦監修 ; 杉原崇憲訳
東京 : ピアソン・エデュケーション , 2002.10. - (スタンダードテキスト)
オートマトン言語理論計算論 / J. ホップクロフト, J. ウルマン共著 ; 野崎昭弘 [ほか] 共訳
1,2. - 東京 : サイエンス社 , 1984.8-1986.3. - (Information & computing ; 3-4)
DNAコンピューティング : 新しい計算パラダイム / G. パウン, G. ローゼンバーグ, A. サローマ著 ; 横森貴, 榊原康文, 小林聡訳
東京 : シュプリンガー・フェアラーク東京 , 1999.12
C言語による計算の理論 / 鹿島亮著
東京 : サイエンス社 , 2008.10. - (Computer science library ; 4)
形式言語理論入門 / R. モル, M. アービブ, A. クフォーリ著 ; 西野哲朗訳
東京 : 東京電機大学出版局 , 1995.12. - (情報科学)
オートマトンと形式言語 / 都倉信樹著
東京 : 昭晃堂 , 1995.6
量子コンピュータの基礎数理 / 上坂吉則著
東京 : コロナ社 , 2000.5
オートマトン・言語と計算理論 / 電子情報通信学会編 ; 岩間一雄著
東京 : コロナ社 , 2003.11. - (電子情報通信レクチャーシリーズ / 電子情報通信学会編 ; B-6)
量子コンピューティング / ヨゼフ・グルスカ原著 ; 伊藤正美 [ほか] 共訳
東京 : 森北出版 , 2003.11
形式言語の理論 / 西野哲朗, 石坂裕毅著
東京 : 丸善 , 1999.7. - (情報科学コアカリキュラム講座 / 稲垣康善 [ほか] 編集)
複雑系の科学 : セル・オートマタ体験CD-ROM付 / 市川惇信著
東京 : オーム社 , 2002.10
計算論とオートマトン理論 / A.サローマ著 ; 野崎昭弘 [ほか] 共訳
東京 : サイエンス社 , 1988.10. - (Information & computing ; 28)
言語と構文解析 / 徳田雄洋著
東京 : 共立出版 , 1995.10. - (情報数学講座 ; 5)
計算理論の基礎 / Michael Sipser著 ; 阿部正幸 [ほか] 訳
東京 : 共立出版 , 2000.4
形式言語とオートマトン / 守屋悦朗著
東京 : サイエンス社 , 2001.7. - (Information science & engineering ; F3)
量子コンピュータの数理 / 大矢雅則著
東京 : 丸善 , 1999.5. - (パリティ物理学コース / 牧二郎 [ほか] 編 ; . クローズアップ)
量子コンピュータ入門 / 西野哲朗著
東京 : 東京電機大学出版局 , 1997.3. - (情報科学)
論理回路とオートマトン / 稲垣康善編
東京 : オーム社 , 1998.1. - (インターユニバーシティ)
量子コンピューティング : 量子コンピュータの実現へ向けて / C. P. ウィリアムズ, S. H. クリアウォータ著 ; 西野哲朗, 荒井隆, 渡邉昇訳
東京 : シュプリンガー・フェアラーク東京 , 2000.6
計算理論とオートマトン言語理論 : コンピュータの原理を明かす/ 丸岡章著
東京 : サイエンス社 , 2005.11. - (Information & computing ; 106)
DNAコンピュータ / 萩谷昌己, 横森貴共編
東京 : 培風館 , 2001.12
計算できるもの、計算できないもの : 実践的アプローチによる計算理論入門 / ジョン・マコーミック著 ; 長尾高弘訳
東京 : オライリー・ジャパン. - 東京 : オーム社 (発売) , 2020.12
ライフゲイムの宇宙 / ウィリアム・パウンドストーン著 ; 有澤誠訳
新装版. - 東京 : 日本評論社 , 2003.6
量子コンピュータと量子暗号 / 西野哲朗著
東京 : 岩波書店 , 2002.3. - (岩波講座物理の世界 / 佐藤文隆 [ほか] 編 ; . 物理と情報 ; 4)
DNAロボット : 生命のしかけで創る分子機械 / 萩谷昌己, 西川明男著
東京 : 岩波書店 , 2008.12. - (岩波科学ライブラリー ; 153)
形式的モデルと意味論
東京 : 丸善 , 1994.2. - (コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 2)