Perspectives of Systems Informatics
67
%
606 Kč 1 839 Kč
Sleva až 70% u třetiny knih
| Autor: | Jr., Edmund M. Clarke (Carnegie Mellon University); Grumberg, Orna (Technion); Kroening, Daniel (Oxford University); Pel |
| Nakladatel: | Springer-Verlag GmbH |
| ISBN: | 3642297080 |
| Rok vydání: | 2012 |
| Jazyk : | Angličtina |
| Vazba: | brožovaná/paperback |
Mohlo by se vám také líbit..
-
Model Checking
Jr., Edmund M. Clarke (Carnegie Mellon University); Grumberg, Orna (Technion); Kroening, Daniel (Oxford University); Pel
-
The Art of Artificial Evolution
Romero, Juan
-
Deep Learning for NLP and Speech Reco...
Kamath, Uday
-
Orchestrating Human-Centered Design
Boy, Guy Andre (Professor Centralesupelec & Estia)
-
Software Business
Cusumano, Michael A.
-
Digital Da Vinci
Lee, Newton
-
Mathematik für Informatik und Bioinfo...
Wolf, Manfred
-
Big Data Concepts, Theories, and Appl...
Yu, Shui
-
Developing Services for the Wireless ...
Morisio, Maurizio
-
Fundamentals of Computerized Tomography
Herman, Gabor T.
-
Algorithmics for Hard Problems
Hromkovic, Juraj
-
Electronic Value Exchange
Stearns, David
-
Replication
Charron-Bost, Bernadette
-
Big Data Analytics
D'Onofrio, Sara
-
Bibliothek der Mediengestaltung - Auf...
Bühler, Peter
-
Handbook of Model Checking
Bloem, Roderick