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..
-
Präsentation
Bühler, Peter
-
KI & Recht kompakt
Hartmann, Matthias
-
Digital Da Vinci
Lee, Newton
-
Orchestrating Human-Centered Design
Boy, Guy Andre (Professor Centralesupelec & Estia)
-
Produktdesign
Bühler, Peter
-
The Art of Artificial Evolution
Romero, Juan
-
Bibliothek der Mediengestaltung - Auf...
Bühler, Peter
-
Grundlagen des Geschäftsprozessmanage...
Dumas, Marlon; La Rosa, Marcello; Mendling, Jan; Reijers, Hajo A.
-
Raspberry Pi - Das technische Handbuch
Klaus Dembowski
-
Agent and Multi-Agent Systems: Techno...
Jezic, Gordan
-
Bibliothek der Mediengestaltung - Bas...
Bühler, Peter
-
Theoretische Mechanik
Ilk, Karl Heinz
-
Technische Transport- und Lagerlogistik
Martin, Heinrich
-
Kommentar zur VOB/C
Bielefeld, Bert
-
Methoden der Mikrobiologie
Brandis-Heep, Astrid
-
Actuarial Sciences and Quantitative F...
Londoño, Jaime A.