>> 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 図書 Struktur data & algoritma menggunakan C++

Nor Bahiah Ahmad

Penerbit Universiti Teknologi Malaysia
2 図書 The design and analysis of algorithms

Kozen, Dexter, 1951-

Springer-Verlag
8 図書 CUDAプログラミング実践講座 : 超並列プロセッサにおけるプログラミング手法

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

ボーンデジタル
3 図書 Logics of programs : workshop, Yorktown Heights, New York, May 1981

Logics of Programs Workshop, Kozen, Dexter, 1951-

Springer-Verlag
9 図書 Programming Languages : An active learning approach

Lee, Kent D.

Springer US
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 図書 アルゴリズム・サイエンスシリーズ

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

共立出版
5 電子ブック Logics of Programs : Workshop, Yorktown Heights, New York, May 1981

Kozen, Dexter, SpringerLink (Online service)

Springer-Verlag
11 図書 Basic algorithms and operators

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

Institute of Physics Pub.
6 図書 IPython Interactive Computing and Visualization Cookbook : over 100 hands-on recipes to sharpen your skills in high-performance numerical computing and data …

Rossant, Cyrille

Packt Publishing
12 図書 Advanced algorithms and operators

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

Institute of Physics Pub.