Formal Methods for Eternal Networked Software Systems
67
%
646 Kč 1 962 Kč
Sleva až 70% u třetiny knih
| Autor: | Bernardo, Marco |
| Nakladatel: | Springer-Verlag GmbH |
| ISBN: | 3642214541 |
| Rok vydání: | 2011 |
| Jazyk : | Angličtina |
| Vazba: | brožovaná/paperback |
Mohlo by se vám také líbit..
-
Daten- und Informationsqualität
Hildebrand, Knut
-
Designgeschichte
Bühler, Peter
-
Big Data Analytics
D'Onofrio, Sara
-
Special Topics in Mathematics for Com...
Doberkat, Ernst-Erich
-
Präsentation
Bühler, Peter
-
Abenteuer Informatik
Gallenbacher, Jens
-
Handbook of Model Checking
Bloem, Roderick
-
Orchestrating Human-Centered Design
Boy, Guy Andre (Professor Centralesupelec & Estia)
-
Digital Da Vinci
Lee, Newton
-
Digital Media
Vince, John
-
Quantum Computing verstehen
Homeister, Matthias
-
Produktdesign
Bühler, Peter
-
IT-Revision, IT-Audit und IT-Compliance
Sowa, Aleksandra
-
Quantencomputing kompakt
Just, Bettina
-
Software Business
Cusumano, Michael A.
-
Natürliche Kognition technologisch be...
Haun, Matthias