>> Google Books

Logic-Based Program Synthesis and Transformation / David; Kanade, Takeo; Kittler, Josef Hutchison

資料種別:
電子ブック
出版情報:
Springer eBooks Computer Science
Springer Berlin Heidelberg, 2013
著者名:
Hutchison, David; Kanade, Takeo; Kittler, Josef  
ISBN:
9783642381966 [3642381960]
9783642381973 [3642381979]
書誌ID:
OB00281993
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Puebla, Germán, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

2 電子ブック Programming Logics

Hutchison, David; Kanade, Takeo; Kittler, Josef

Springer eBooks Computer Science, Springer Berlin Heidelberg

Hutchison, David; Kanade, Takeo; Kittler, Josef

Springer eBooks Computer Science, Springer Berlin Heidelberg

Hutchison, David; Kanade, Takeo; Kittler, Josef

Springer eBooks Computer Science, Springer Berlin Heidelberg

Hutchison, David; Kanade, Takeo; Kittler, Josef

Springer eBooks Computer Science, Springer Berlin Heidelberg

Hanus, Michael, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

10 電子ブック Wireless Sensor Networks

Hutchison, David; Kanade, Takeo; Kittler, Josef

Springer eBooks Computer Science, Springer Berlin Heidelberg

Alpuente, María, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Hutchison, David; Kanade, Takeo; Kittler, Josef

Springer eBooks Computer Science, Springer Berlin Heidelberg

Schreye, Danny, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Hutchison, David; Kanade, Takeo; Kittler, Josef

Springer eBooks Computer Science, Springer Berlin Heidelberg

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12