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..
-
Digital Da Vinci
Lee, Newton
-
Orchestrating Human-Centered Design
Boy, Guy Andre (Professor Centralesupelec & Estia)
-
The Art of Artificial Evolution
Romero, Juan
-
Deep Learning for NLP and Speech Reco...
Kamath, Uday
-
Software Business
Cusumano, Michael A.
-
Arithmetik
Knuth, Donald E.
-
Algorithmics for Hard Problems
Hromkovic, Juraj
-
Mathematik für Informatik und Bioinfo...
Wolf, Manfred
-
Raspberry Pi - Das technische Handbuch
Klaus Dembowski
-
Die Oracle Datenbank 19c
Grebe, Thorsten
-
Network-Centric Service Oriented Ente...
Chang, William Y.
-
Creating Web-based Laboratories
Ko, C. C.
-
Replication
Charron-Bost, Bernadette
-
Modelling and Reasoning with Vague Co...
Lawry, Jonathan
-
Computational Creativity Research: To...
Besold, Tarek Richard
-
Der ERP-Irrglaube im Mittelstand
Hertfelder, Tobias