Computer Aided Verification
7
%
1214 Kč 1 304 Kč
Expedujeme 1 až 2 dny
Sleva až 70% u třetiny knih
| Autor: | Gopalakrishnan, Ganesh |
| Nakladatel: | Springer-Verlag GmbH |
| ISBN: | 3642221092 |
| Rok vydání: | 2011 |
| Jazyk : | Angličtina |
| Vazba: | brožovaná/paperback |
Mohlo by se vám také líbit..
-
Theoretische Mechanik
Ilk, Karl Heinz
-
Technische Transport- und Lagerlogistik
Martin, Heinrich
-
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
-
Invariance and Structural Dependence
Odelstad, Jan
-
Integrating Emotions and Cognition Th...
Labouvie-Vief, Gisela