OPAC

目録検索結果一覧

絞込項目

NII検索	検索条件	和洋区分	図　書	雑　誌
	件名=オートマトン	全資料	31件	0件

図書一覧

該当件数：31件 ページ： 1

ﾍﾟｰｼﾞ選択ﾍﾟｰｼﾞ解除全件選択全件解除	書影	書誌事項
1		計算できるもの、計算できないもの : 実践的アプローチによる計算理論入門 / ジョン・マコーミック著 ; 長尾高弘訳. -- オライリー・ジャパン, 2020.
2		オートマトン・言語理論の基礎 / 米田政明 [ほか] 著. -- 近代科学社, 2003.
3		例解図説オートマトンと形式言語入門 / 岡留剛著. -- 森北出版, 2015.
4		DNAコンピュータ / 萩谷昌己, 横森貴共編. -- 培風館, 2001.
5		C言語による計算の理論 / 鹿島亮著. -- サイエンス社, 2008. -- (Computer science library).
6		DNAコンピューティング : 新しい計算パラダイム / G. パウン, G. ローゼンバーグ, A. サローマ著 ; 横森貴, 榊原康文, 小林聡訳. -- シュプリンガー・フェアラーク東京, 1999.
7		機械と言語. -- 東京電機大学出版局, 1993. -- (チューリングオムニバス : コンピュータサイエンスへの旅 / A. K. デュードニー著 ; 足立暁生訳).
8		計算論とオートマトン理論 / A.サローマ著 ; 野崎昭弘 [ほか] 共訳. -- サイエンス社, 1988. -- (Information & computing).
9		オートマトンの理論 / 小林孝次郎, 高橋正子共著. -- 共立出版, 1983. -- (電子計算機基礎講座 / 一松信, 浦昭二編).
10		オートマトンと言語理論 / 足立暁生著. -- 森北出版, 1992. -- (情報工学入門シリーズ / 城戸健一, 三井田惇郎監修).
11		形式言語理論 / 嵩忠雄, 都倉信樹, 谷口健一共著 ; 電子情報通信学会編. -- 電子情報通信学会, 1988. -- (情報とシステムシリーズ).
12		セルオートマトン : 複雑系の具象化 / 森下信著. -- 養賢堂, 2003.
13		離散情報処理とオートマトン / 小淵洋一著. -- 朝倉書店, 1999. -- (システム制御情報ライブラリー / システム制御情報学会編).
14		論理回路とオートマトン / 稲垣康善編. -- オーム社, 1998. -- (インターユニバーシティ).
15		セルオートマトン法 : 複雑系の自己組織化と超並列処理 / 加藤恭義, 光成友孝, 築山洋共著. -- 森北出版, 1998.
16		量子コンピュータと量子暗号 / 西野哲朗著. -- 岩波書店, 2002. -- (岩波講座物理の世界 / 佐藤文隆 [ほか] 編).
17		量子コンピュータ入門 / 西野哲朗著. -- 東京電機大学出版局, 1997. -- (情報科学).
18		計算論的学習 / 榊原康文, 小林聡, 横森貴共著. -- 培風館, 2001. -- (情報数理シリーズ).
19		形式言語の理論 / 西野哲朗, 石坂裕毅著. -- 丸善, 1999. -- (情報科学コアカリキュラム講座 / 稲垣康善 [ほか] 編集).
20		形式言語理論入門 / R. モル, M. アービブ, A. クフォーリ著 ; 西野哲朗訳. -- 東京電機大学出版局, 1995. -- (情報科学).
21		計算理論の基礎 / Michael Sipser著 ; 阿部正幸 [ほか] 訳. -- 共立出版, 2000.
22		オートマトンと計算可能性 / 有川節夫, 宮野悟著. -- 培風館, 1986. -- (情報処理シリーズ).
23		オートマトン・言語理論 / 本多波雄著. -- コロナ社, 1972. -- (情報工学講座).
24		有限オートマトン入門 / 岩田茂樹, 笠井琢美共著. -- 森北出版, 1986.
25		オートマトン・言語理論 / 富田悦次, 横森貴共著. -- 第2版. -- 森北出版, 2013.
26		形式的モデルと意味論. -- 丸善, 1994. -- (コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳).
27		コンピュータの思考法 : 計算モデル / 有澤誠著. -- 朝倉書店, 2004. -- (情報数学の世界 / 有沢誠著).
28		発見的最適化手法による構造のフォルムとシステム / 三井和男[ほか]共著. -- コロナ社, 2004. -- (計算工学シリーズ).
29		オートマトン・言語理論 / 富田悦次, 横森貴共著. -- 森北出版, 1992. -- (基礎情報工学シリーズ / 飯島泰蔵編).
30		量子コンピューティング : 量子コンピュータの実現へ向けて / C. P. ウィリアムズ, S. H. クリアウォータ著 ; 西野哲朗, 荒井隆, 渡邉昇訳. -- シュプリンガー・フェアラーク東京, 2000.
31		量子コンピュータの基礎数理 / 上坂吉則著. -- コロナ社, 2000.
ﾍﾟｰｼﾞ選択ﾍﾟｰｼﾞ解除全件選択全件解除	書影	書誌事項