Logic for Programming, Artificial Intelligence, and Reasoning
67
%
605 Kč 1 837 Kč
Sleva až 70% u třetiny knih
Autor: | Bjørner, Nikolaj |
Nakladatel: | Springer-Verlag GmbH |
ISBN: | 3642287166 |
Rok vydání: | 2012 |
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
-
Digital Da Vinci
Lee, Newton
-
Orchestrating Human-Centered Design
Boy, Guy Andre (Professor Centralesupelec & Estia)
-
Deep Learning for NLP and Speech Reco...
Kamath, Uday
-
Performance Evaluation and Benchmarki...
Madhavan, Raj
-
Handbook of Model Checking
Bloem, Roderick
-
Datenmanagement
Bühler, Peter
-
Mathematik für Informatik und Bioinfo...
Wolf, Manfred
-
Daten- und Informationsqualität
Hildebrand, Knut
-
Recent Advances in Modeling and Simul...
Ince, A. Nejat
-
Computational Line Geometry
Pottmann, Helmut
-
SafeScrum® - Agile Development of Saf...
Hanssen, Geir Kjetil
-
KI & Recht kompakt
Hartmann, Matthias
-
Modelling and Reasoning with Vague Co...
Lawry, Jonathan
-
IT-Controlling
Gadatsch, Andreas