Test Pattern Generation using Boolean Proof Engines
34
%
2445 Kč 3 682 Kč
Sleva až 70% u třetiny knih
| Autor: | Drechsler, Rolf |
| Nakladatel: | Springer-Verlag GmbH |
| ISBN: | 9048123593 |
| Rok vydání: | 2009 |
| Jazyk : | Angličtina |
| Vazba: | pevná |
Mohlo by se vám také líbit..
-
Noch analog oder lebst Du schon?
Drechsler, Rolf
-
Theoretische Mechanik
Ilk, Karl Heinz
-
Technische Transport- und Lagerlogistik
Martin, Heinrich
-
Computer Aided Verification
Gopalakrishnan, Ganesh
-
Actuarial Sciences and Quantitative F...
Londoño, Jaime A.
-
Correlated Random Systems - Five Diff...
Gayrard, Véronique
-
Orchestrating Human-Centered Design
Boy, Guy Andre (Professor Centralesupelec & Estia)
-
Sustainable Fashion: Consumer Awarene...
Muthu, Subramanian Senthilkannan
-
Digital Da Vinci
Lee, Newton
-
Costs of Ammonia Abatement and the Cl...
Reis, Stefan
-
Complex Intelligent Systems and Their...
Jorge, Miguel; Caballe, Santi; Xhafa, Fatos
-
Praxis der Zerspantechnik
Dietrich, Jochen
-
Die proximale Humerusfraktur
Lill, Helmut
-
Wissenschaft meets Game of Thrones
Thompson, Rebecca C. (Head of Public Outreach, The American Physical Society)
-
Voice over IP Networks
Verma, Pramode; Zhang, Fan
-
Endocannabinoid Signaling
Maccarrone, Mauro