FM 2015: Formal Methods
67
%
777 Kč 2 362 Kč
Sleva až 70% u třetiny knih
Autor: | Bjørner, Nikolaj |
Nakladatel: | Springer-Verlag GmbH |
ISBN: | 3319192485 |
Rok vydání: | 2015 |
Jazyk : | Angličtina |
Vazba: | Paperback / softback |
Mohlo by se vám také líbit..
-
The Art of Artificial Evolution
Romero, Juan
-
Digital Da Vinci
Lee, Newton
-
Orchestrating Human-Centered Design
Boy, Guy Andre (Professor Centralesupelec & Estia)
-
Software Business
Cusumano, Michael A.
-
Deep Learning for NLP and Speech Reco...
Kamath, Uday
-
Performance Evaluation and Benchmarki...
Madhavan, Raj
-
Big Data Concepts, Theories, and Appl...
Yu, Shui
-
Datensicherheit
Lenhard, Thomas H.
-
Mathematik für Informatik und Bioinfo...
Wolf, Manfred
-
Interactive Systems Design, Specifica...
Doherty, Gavin
-
Recent Advances in Modeling and Simul...
Ince, A. Nejat
-
Computational Line Geometry
Pottmann, Helmut
-
Smart Information Systems
Hopfgartner, Frank
-
Algorithmics for Hard Problems
Hromkovic, Juraj
-
Modelling and Reasoning with Vague Co...
Lawry, Jonathan
-
Computational Creativity Research: To...
Besold, Tarek Richard