>> Amazon.co.jp
このページのQRコード

Theory of computation

種類:
図書
責任表示:
Dexter C. Kozen
出版情報:
London : Springer, c2006
著者名:
Kozen, Dexter, 1951- <DA02211787>  
シリーズ名:
Texts in computer science <BA60860215>
ISBN:
9781846282973 [1846282977]  CiNii Books  Calil
注記:
"with 75 illustrations"
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Dynamic Programming : A Computational Tool

Lew, Art, Mauch, Holger

Springer
7 図書 Programming Languages : An active learning approach

Lee, Kent D.

Springer US
2 図書 The design and analysis of algorithms

Kozen, Dexter, 1951-

Springer-Verlag
8 図書 アルゴリズム・サイエンスシリーズ

杉原, 厚吉(1948-), 室田, 一雄(1955-), 山下, 雅史, 渡辺, 治(1958-)

共立出版
3 図書 Logics of programs : workshop, Yorktown Heights, New York, May 1981

Logics of Programs Workshop, Kozen, Dexter, 1951-

Springer-Verlag
9 図書 Basic algorithms and operators

Bäck, Thomas, Fogel, David B., Michalewicz, Zbigniew, 1952-

Institute of Physics Pub.
4 図書 Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983

Logics of Programs Workshop, Clarke, Edmund, Kozen, Dexter, 1951-

Springer-Verlag
10 図書 Advanced algorithms and operators

Bäck, Thomas, Fogel, David B., Michalewicz, Zbigniew, 1952-

Institute of Physics Pub.
5 電子ブック Logics of Programs : Workshop, Yorktown Heights, New York, May 1981

Kozen, Dexter, SpringerLink (Online service)

Springer-Verlag
11 図書 REALbasic : the definitive guide

Neuburg, Matt

O'Reilly
6 図書 CUDAプログラミング実践講座 : 超並列プロセッサにおけるプログラミング手法

Kirk, David B., Hwu, Wen-mei W., Bスプラウト

ボーンデジタル
12 図書 PalmPilot : the ultimate guide

Pogue, David, 1963-

O'Reilly