※一部利用できない機能があります
QRコード(所蔵情報)
計算モデル論入門 : チューリング機械からラムダ計算へ
- フォーマット:
- 図書
- 責任表示:
- 井田哲雄, 浜名誠共著
- 言語:
- 日本語
- 出版情報:
- 東京 : サイエンス社, 2006.8
- 形態:
- iv, 125p : 挿図 ; 21cm
- 著者名:
- シリーズ名:
- Information science & engineering ; F5 <BA47503960>
- 書誌ID:
- BA78024780
- ISBN:
- 9784781911359 [4781911358]
類似資料:
日経BP社, 日経BPマーケティング (発売) |
朝倉書店 |
サイエンス社 |
牧野書店, 星雲社(発売) |
森北出版 |
近代科学社 |
岩波書店 |
オライリー・ジャパン, オーム社 (発売) |
ピアソン・エデュケーション |
オライリー・ジャパン, オーム社 (発売) |
シュプリンガー・フェアラーク東京 |