Logic for Programming, Artificial Intelligence, and Reasoning
7
%
2363 Kč 2 542 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: | 3642175104 |
| Rok vydání: | 2011 |
| 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
-
Social and Emotional Learning in Aust...
Frydenberg, Erica
-
The Evolution of Morality
Shackelford, Todd K.
-
Authentisch kommunizieren
Bannwart, Stefan
-
Psychologische Anforderungsanalysen
Wienkamp, Heribert
-
Lernmotivation und Weiterbildungsbere...
Schiefer, Gernot
-
Praxisbuch Trauerbegleitung
Ströter-Bender, Jutta
-
Lerne mit uns komplexe Statistik!
Kuhlmei, Eckehard
-
Der Sinn des Wahnsinns
Burton, Neel
-
Coworking als Revolution der Arbeitswelt
Werther, Simon
-
Sich besser präsentieren
Jankowitsch, Regina
-
Verhaltenstherapiemanual - Erwachsene
Linden, Michael
-
Meine kleine Seelenwerkstatt
Ölsböck, Natalia
-
Sportpsychologie
Schüler, Julia
-
Gedächtnis
Gruber, Thomas
-
Das perfekte Geschenk
Stauss, Bernd