>> Google Books

Theory and Applications of Satisfiability Testing – SAT 2007 / João Marques-Silva, David Hutchison, Takeo Kanade, Karem A. Sakallah

資料種別:
電子ブック
出版情報:
Springer eBooks Computer Science
Springer Berlin Heidelberg, 2007
著者名:
ISBN:
9783540727873 [3540727876]
9786610949472 [6610949476]
書誌ID:
OB00278573
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

Sakallah, Karem A., Kanade, Takeo, Simon, Laurent

Springer eBooks Computer Science, Springer Berlin Heidelberg

SAT 2005, Bacchus, Fahiem, Kanade, Takeo, Walsh, Toby

Springer eBooks Computer Science, Springer Berlin / Heidelberg

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Kleine Büning, Hans, Zhao, Xishun

Springer eBooks Computer Science, Springer Berlin Heidelberg

Kullmann, Oliver, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Jarvisalo, Matti; Gelder, Allen

Springer eBooks Computer Science, Springer Berlin Heidelberg

Biere, Armin, Gomes, Carla P., Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin / Heidelberg

Springer eBooks Computer Science, Springer International Publishing

Strichman, Ofer, Kanade, Takeo, Szeider, Stefan

Springer eBooks Computer Science, Springer Berlin Heidelberg

Carsten Sinz, Uwe Egly

Springer eBooks Computer Science, Springer International Publishing

Hoos, Holger H., Kanade, Takeo, Mitchell, David G.

Springer eBooks Computer Science, Springer Berlin / Heidelberg

Springer eBooks Computer Science, Springer International Publishing

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