Theory and Applications of Satisfiability Testing -- SAT 2012
67
%
605 Kč 1 837 Kč
Sleva až 70% u třetiny knih
| Autor: | Cimatti, Alessandro |
| Nakladatel: | Springer-Verlag GmbH |
| ISBN: | 3642316115 |
| Rok vydání: | 2012 |
| Jazyk : | Angličtina |
| Vazba: | brožovaná/paperback |
Mohlo by se vám také líbit..
-
High-Performance Energy-Efficient Mic...
Oklobdzija, Vojin G.
-
Decarbonising Cities
Rauland, Vanessa
-
Orchestrating Human-Centered Design
Boy, Guy Andre (Professor Centralesupelec & Estia)
-
Künstliche Intelligenz in den Ingenie...
Matzka, Stephan
-
Die neue digitale Welt verstehen
Asjoma, Maxim
-
Software Business
Cusumano, Michael A.
-
Natürliche Kognition technologisch be...
Haun, Matthias
-
Hochspannungsmesstechnik
Schon, Klaus
-
The Art of Artificial Evolution
Romero, Juan
-
Raum- und Gebäudeautomation für Archi...
Lauckner, Gunter
-
Halbleiter-Schaltungstechnik
Tietze, Ulrich
-
Wendehorst Bautechnische Zahlentafeln
Vismann, Ulrich
-
Advances in Electromagnetic Fields in...
Lin, James C.
-
Voice over IP Networks
Verma, Pramode; Zhang, Fan
-
Produktdesign
Bühler, Peter
-
Big Data Analytics
D'Onofrio, Sara