Logic Based Program Synthesis and Transformation | 東京科学大学図書館　蔵書検索（大岡山図書館、すずかけ台図書館）

>> Google Books

Logic Based Program Synthesis and Transformation / Patricia M. Hill, Takeo Kanade, Josef Kittler

資料種別:

電子ブック

出版情報:

SpringerLink Books - AutoHoldings
Springer Berlin / Heidelberg, 2006

著者名:

ISBN:

9783540326540 [3540326545]
9783540326564 [3540326561]

書誌ID:

OB00498467

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

言語:

英語

ブックレビュー

Loading review information

類似資料:

1 電子ブック Logic Based Program Synthesis and Transformation Hill, Patricia M., Kanade, Takeo Springer eBooks Computer Science, Springer Berlin / Heidelberg	7 電子ブック Logic Based Program Synthesis and Transformation LOPSTR 2004, Etalle, Sandro, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
2 電子ブック Logic-Based Program Synthesis and Transformation Hutchison, David; Kanade, Takeo; Kittler, Josef, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 電子ブック Logic-Based Program Synthesis and Transformation Hutchison, David, Kanade, Takeo, Kittler, Josef, Vidal, Germán SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 電子ブック Logic-Based Program Synthesis and Transformation Hutchison, David; Kanade, Takeo; Kittler, Josef Springer eBooks Computer Science, Springer Berlin Heidelberg	9 電子ブック Logic-Based Program Synthesis and Transformation Hanus, Michael, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
4 電子ブック Logic-Based Program Synthesis and Transformation Hanus, Michael, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	10 電子ブック Logic-Based Program Synthesis and Transformation Alpuente, Mar?a, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
5 電子ブック Logic-Based Program Synthesis and Transformation Schreye, Danny, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Logic-Based Program Synthesis and Transformation Schreye, Danny, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
6 電子ブック Logic-Based Program Synthesis and Transformation Alpuente, María, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	12 電子ブック Logic-Based Program Synthesis and Transformation Hutchison, David, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12