Formal Methods for Hardware Verification
28
%
1328 Kč 1 838 Kč
Sleva až 70% u třetiny knih
| Autor: | Bernardo, Marco |
| Nakladatel: | Springer-Verlag GmbH |
| ISBN: | 3540343040 |
| Rok vydání: | 2006 |
| Jazyk : | Angličtina |
| Vazba: | brožovaná/paperback |
Mohlo by se vám také líbit..
-
Künstliche Intelligenz in den Ingenie...
Matzka, Stephan
-
Digital Da Vinci
Lee, Newton
-
Abenteuer Informatik
Gallenbacher, Jens
-
Orchestrating Human-Centered Design
Boy, Guy Andre (Professor Centralesupelec & Estia)
-
Natürliche Kognition technologisch be...
Haun, Matthias
-
Deep Learning for NLP and Speech Reco...
Kamath, Uday
-
Produktdesign
Bühler, Peter
-
The Art of Artificial Evolution
Romero, Juan
-
Künstliche Intelligenz
Paaß, Gerhard
-
Designgeschichte
Bühler, Peter
-
Software Business
Cusumano, Michael A.
-
Bibliothek der Mediengestaltung - Auf...
Bühler, Peter
-
Robotic Process Automation
Koch, Christina
-
Die Oracle Datenbank 19c
Grebe, Thorsten
-
Präsentation
Bühler, Peter
-
Big Data Analytics
D'Onofrio, Sara