1 |
計算可能性の理論 / Michael Sipser著 ; 阿部正幸 [ほか] 訳
東京 : 共立出版 , 2023.5
|
2 |
複雑さの理論 / Michael Sipser著 ; 阿部正幸 [ほか] 訳
東京 : 共立出版 , 2023.5
|
3 |
オートマトンと言語 / Michael Sipser著 ; 阿部正幸 [ほか] 訳
東京 : 共立出版 , 2023.4
|
4 |
計算理論の基礎 / Michael Sipser著 ; 阿部正幸 [ほか] 訳
東京 : 共立出版 , 2023
|
5 |
理論計算機科学事典= Encyclopedia of theoretical computer science / 徳山豪, 小林直樹総編集 ; 岩間一雄 [ほか] 編集
東京 : 朝倉書店 , 2022.1
|
6 |
コンピュータサイエンス : 計算を通して世界を観る / 渡辺治著
東京 : 丸善出版 , 2015.9
|
7 |
数学の言葉と論理 / 渡辺治 [ほか] 著
東京 : 朝倉書店 , 2008.9
|
8 |
オートマトンと言語 / Michael Sipser著 ; 阿部正幸 [ほか] 訳
東京 : 共立出版 , 2008.5
|
9 |
計算可能性の理論 / Michael Sipser著 ; 阿部正幸 [ほか] 訳
東京 : 共立出版 , 2008.5
|
10 |
複雑さの理論 / Michael Sipser著 ; 阿部正幸 [ほか] 訳
東京 : 共立出版 , 2008.5
|
11 |
計算理論の基礎 / Michael Sipser著 ; 阿部正幸 [ほか] 訳
東京 : 共立出版
|
12 |
現代基礎数学 / 新井仁之 [ほか] 編
東京 : 朝倉書店 , 2006.12-
|
13 |
アルゴリズム・サイエンスシリーズ / 杉原厚吉 [ほか] 編
東京 : 共立出版 , 2006.10-
|
14 |
ブースティング : 学習アルゴリズムの設計技法 / 金森敬文, 畑埜晃平, 渡辺治共著
東京 : 森北出版 , 2006.9
|
15 |
教養としてのコンピュータ・サイエンス / 渡辺治著
東京 : サイエンス社 , 2001.9
|
16 |
計算理論の基礎 / Michael Sipser著 ; 阿部正幸 [ほか] 訳
東京 : 共立出版 , 2000.4
|
17 |
計算論入門 : 計算の基本原理理解のために / 渡辺治, 米崎直樹著
東京 : 日本評論社 , 1997.3
|
18 |
情報セキュリティの科学 : マジック・プロトコルへの招待 / 太田和夫, 黒澤馨, 渡辺治著
東京 : 講談社 , 1995.2
|
19 |
計算可能性・計算の複雑さ入門 / 渡辺治著
東京 : 近代科学社 , 1992.10
|
20 |
Kolmogorov complexity and computational complexity / Osamu Watanabe (ed.)
: us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1992
|