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
-
Orchestrating Human-Centered Design
Boy, Guy Andre (Professor Centralesupelec & Estia)
-
Datenmanagement
Bühler, Peter
-
Quantum Computing verstehen
Homeister, Matthias
-
KI & Recht kompakt
Hartmann, Matthias
-
Produktdesign
Bühler, Peter
-
IT-Revision, IT-Audit und IT-Compliance
Sowa, Aleksandra
-
Quantencomputing kompakt
Just, Bettina
-
Digital Media
Vince, John
-
Software Business
Cusumano, Michael A.
-
Natürliche Kognition technologisch be...
Haun, Matthias
-
Künstliche Intelligenz
Paaß, Gerhard
-
Strategie, Planung und Organisation v...
Witte, Frank
-
Statistisches Programmieren mit R
Obszelka, Daniel
-
Daten- und Informationsqualität
Hildebrand, Knut
-
Developing Services for the Wireless ...
Morisio, Maurizio