Model Checking Software
47
%
911 Kč 1 731 Kč
Sleva až 70% u třetiny knih
Autor: | Thunnissen, Marian; Gallardo-Gallardo, Eva |
Nakladatel: | Springer-Verlag GmbH |
ISBN: | 3319941100 |
Rok vydání: | 2018 |
Jazyk : | Angličtina |
Vazba: | brožovaná/paperback |
Mohlo by se vám také líbit..
-
Software Business
Cusumano, Michael A.
-
The Art of Artificial Evolution
Romero, Juan
-
Deep Learning for NLP and Speech Reco...
Kamath, Uday
-
Digital Da Vinci
Lee, Newton
-
Orchestrating Human-Centered Design
Boy, Guy Andre (Professor Centralesupelec & Estia)
-
Die Ausrichtung des IT-Service-Manage...
Mitrakis, Nikolaos
-
Skills + Tools
Nahrstedt, Harald
-
Complex Event Processing
Hedtstück, Ulrich
-
Künstliche Intelligenz im Handel 2 - ...
Glas, Rainer
-
Strategie, Planung und Organisation v...
Witte, Frank
-
Twitter Data Analytics
Kumar, Shamanth
-
Fundamentals of Computerized Tomography
Herman, Gabor T.
-
Social Media
Leinemann, Ralf
-
Sensor Devices and Systems for Robotics
Casals, Alicia
-
Bildverarbeitung
Nischwitz, Alfred
-
Verteiltes Arbeiten kompakt
Ebert, Christof