Automated Deduction - CADE-25, Fachbücher

Automated Deduction - Cade-25 25th International Conference On

Automated Deduction in Geometry, Fachbücher

Robert Nieuwenhuis | Automated Deduction ¿ Cade-20 | Taschenbuch |

Rule Technologies: Foundations, Tools, and Applications, Fachbücher von Adrian Paschke

Big Data Computing and Communications, Fachbücher

Human-Computer Interaction: Interaction Technologies, Fachbücher von Masaaki Kurosu

Human-Computer Interaction: Design and Evaluation, Fachbücher von Masaaki Kurosu

Human-Computer Interaction: Users and Contexts, Fachbücher von Masaaki Kurosu

Human Interface and the Management of Information. Information and Knowledge Design, Fachbücher

Distributed, Ambient, and Pervasive Interactions, Fachbücher

Social Computing and Social Media, Fachbücher

Euro-Par 2015: Parallel Processing, Fachbücher

Learning and Collaboration Technologies, Fachbücher von Panayiotis Zaphiris, Andri Ioannou

Automated Deduction ¿ Cade 28 Geoff Sutcliffe (u. A.) Taschenbuch

Progress in Cryptology -- LATINCRYPT 2015, Fachbücher