関連資料一覧:(本学所蔵)
選択行を:
| 資料名 | 所在 |
1 | Automata, languages and programming : 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings / Thomas Ottmann, (ed.) ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 267). | 理数学 007.6:I |
2 | DNAコンピューティング : 新しい計算パラダイム / G. パウン, G. ローゼンバーグ, A. サローマ著 ; 横森貴, 榊原康文, 小林聡訳. -- シュプリンガー・フェアラーク東京, 1999.12. | 図書館(閲覧室) 007.1:P |
3 | アンダースタンディングコンピュテーション : 単純な機械から不可能なプログラムまで / Tom Stuart著 ; 笹井崇司訳. -- オライリー・ジャパン, . | 図書館(閲覧室) 007.1:S |
4 | オートマトン・形式言語理論と計算論 / 福村晃夫, 稲垣康善 [著]. -- 岩波書店, 1982.3. -- (岩波講座情報科学 ; 6). | 図書館(書庫) 007.08:I:6 教養(教養学部棟) 007.08:I:6 |
5 | オートマトン・言語理論 / 本多波雄著. -- コロナ社, 1972.3. -- (情報工学講座 ; 6). | 図書館(書庫) 401:H 図書館(上原文庫) 401:H |
6 | オートマトン言語理論計算論 / J. ホップクロフト, J. ウルマン共著 ; 野崎昭弘 [ほか] 共訳 ; 1, 2. -- サイエンス社, 1984.8-1986.3. -- (Information & computing ; 3-4). | 図書館(閲覧室) 548.3:cH:1 図書館(閲覧室) 548.3:cH:2 図書館(書庫) 548.3:cH:1 図書館(書庫) 548.3:cH:2 |
7 | オートマトン・言語理論入門 / 大川知, 広瀬貞樹, 山本博章著. -- 共立出版, 2012.1. -- (未来へつなぐデジタルシリーズ = Connection to the future with digital series ; 5). | 図書館(閲覧室) 007.1:O |
8 | オートマトンと言語理論 / リチャード Y.ケイン著 ; 宮川洋, 原島博訳. -- 産業図書, 1978.3. -- (コンピュータ・サイエンス翻訳選書 ; 7). | 図書館(書庫) 401:cK |
9 | オートマトン・言語理論 / 富田悦次, 横森貴共著. -- 第2版. -- 森北出版, 2013.12. | 図書館(閲覧室) 007.1:To 図書館(書庫) 007.1:To |
10 | 計算理論の基礎 / Michael Sipser著 ; 阿部正幸 [ほか] 訳. -- 共立出版, 2000.4. | 図書館(閲覧室) 007.1:S 図書館(書庫) 007.1:S |
選択行を:
|