Blank Cover Image
QRコード(所蔵情報)

計算モデル論入門 : チューリング機械からラムダ計算へ

フォーマット:
図書
責任表示:
井田哲雄, 浜名誠共著
言語:
日本語
出版情報:
東京 : サイエンス社, 2006.8
形態:
iv, 125p : 挿図 ; 21cm
著者名:
シリーズ名:
Information science & engineering ; F5 <BA47503960>
書誌ID:
BA78024780
ISBN:
9784781911359 [4781911358]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 チューリングを読む : コンピュータサイエンスの金字塔を楽しもう

Petzold, Charles, 1953-, 井田, 哲雄(1947-), 鈴木, 大郎, 奥居, 哲, 浜名, 誠(1971-), 山田, 俊行

日経BP社, 日経BPマーケティング (発売)
7 図書 コンピュータの思考法 : 計算モデル

有澤, 誠(1944-)

朝倉書店
2 図書 やさしい計算理論 : 有限オートマトンからチューリング機械まで

丸岡, 章

サイエンス社
8 図書 計算理論入門 = Introduction to computation theory

五十嵐, 善英, Lewis, Forbes D., 舩田, 眞里子(1955-)

牧野書店, 星雲社(発売)
3 図書 計算モデルとプログラミング

猪股, 俊光, 山田, 敬三

森北出版
9 図書 計算論 : 計算可能性とラムダ計算

高橋, 正子

近代科学社
4 図書 計算モデルの基礎理論

井田, 哲雄(1947-)

岩波書店
10 図書 計算できるもの、計算できないもの : 実践的アプローチによる計算理論入門

MacCormick, John, 1972-, 長尾, 高弘(1960-), 松崎, 公紀(1979-)

オライリー・ジャパン, オーム社 (発売)
5 図書 計算論への入門 : オートマトン・言語理論・チューリング機械

Kinber, Efim, Smith, Carl, 1950-, 筧, 捷彦(1945-), 杉原, 崇憲(1969-)

ピアソン・エデュケーション
11 図書 アンダースタンディングコンピュテーション : 単純な機械から不可能なプログラムまで

Stuart, Tom, 笹井, 崇司, 笹田, 耕一

オライリー・ジャパン, オーム社 (発売)
6 図書 Mathematica自然現象の計算モデル化 : セルラーオートマタ・シミュレーション

Gaylord, Richard J., 西館, 数芽(1965-), 西川, 清(1947- 理論計算化学)

トッパン
12 図書 DNAコンピューティング : 新しい計算パラダイム

Păun, Gheorghe, 1950-, Rozenberg, Grzegorz, Salomaa, Arto, 1934-, 横森, 貴, 榊原, 康文, 小林, 聡(1965-)

シュプリンガー・フェアラーク東京