Computer Aided Verification
47
%
691 Kč 1 312 Kč
Sleva až 70% u třetiny knih
| Autor: | Chockler, Hana |
| Nakladatel: | Springer-Verlag GmbH |
| ISBN: | 3319961446 |
| Rok vydání: | 2018 |
| Jazyk : | Angličtina |
| Vazba: | brožovaná/paperback |
Mohlo by se vám také líbit..
-
Lohmeyer Baustatik 1
Baar, Stefan
-
Nuclear Power and Energy Security
Apikyan, Samuel
-
Development and Application of the Fi...
Baaser, Herbert
-
Sicherheit bei Kranen
Koop, Jürgen
-
Costs of Ammonia Abatement and the Cl...
Reis, Stefan
-
Fahrwerklehrbuch Band 2
Ersoy, Metin
-
Digital Da Vinci
Lee, Newton
-
Decarbonising Cities
Rauland, Vanessa
-
High-Performance Energy-Efficient Mic...
Oklobdzija, Vojin G.
-
Künstliche Intelligenz in den Ingenie...
Matzka, Stephan
-
Die neue digitale Welt verstehen
Asjoma, Maxim
-
Software Business
Cusumano, Michael A.
-
Orchestrating Human-Centered Design
Boy, Guy Andre (Professor Centralesupelec & Estia)
-
Hochspannungsmesstechnik
Schon, Klaus
-
Natürliche Kognition technologisch be...
Haun, Matthias
-
The Art of Artificial Evolution
Romero, Juan