Verified Software: Theories, Tools and Experiments
67
%
565 Kč 1 714 Kč
Sleva až 70% u třetiny knih
Autor: | Giannakopoulou, Dimitra |
Nakladatel: | Springer-Verlag GmbH |
ISBN: | 3319121537 |
Rok vydání: | 2014 |
Jazyk : | Angličtina |
Vazba: | Paperback / softback |
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)
-
IT-Controlling
Gadatsch, Andreas
-
Software Engineering Approaches for O...
Gotel, Olly
-
Statistisches Programmieren mit R
Obszelka, Daniel
-
Bézier and Splines in Image Processin...
Biswas, Sambhunath
-
Roboter- und KI-Ethik
Funk, Michael
-
Explainable and Interpretable Models ...
Escalante, Hugo Jair
-
Abenteuer Informatik
Gallenbacher, Jens
-
Arithmetik
Knuth, Donald E.
-
Developing Services for the Wireless ...
Morisio, Maurizio
-
Space Weather and Telecommunications
Goodman, Ted
-
IT-Revision, IT-Audit und IT-Compliance
Sowa, Aleksandra