Theory and Applications of Satisfiability Testing -- SAT 2015, Fachbücher von Sean Weaver, Marijn Heule

Algorithmic Decision Theory, Fachbücher

Image Analysis and Processing — ICIAP 2015, Fachbücher von Enrico Puppo, Vittorio Murino

Logic Programming and Nonmonotonic Reasoning, Fachbücher von Miroslaw Truszczynski, Giovambattista Ianni, Francesco Cali...

Information Security, Fachbücher von Chris J. Mitchell

Intelligent Robotics and Applications, Fachbücher von Rüdiger Dillmann

Speech and Computer, Fachbücher

Belief Functions: Theory and Applications, Fachbücher

Automated Reasoning with Analytic Tableaux and Related Methods, Fachbücher

Information Processing in Cells and Tissues, Fachbücher von Stephen Smith, Michael A. Lones, Gary Fogel, Andy Tyrrell

Entertainment Computing - ICEC 2015, Fachbücher

Principles and Practice of Constraint Programming, Fachbücher

Language and Automata Theory and Applications, Fachbücher von Enrico Formenti

Formal Modeling and Analysis of Timed Systems, Fachbücher von Sriram Sankaranarayanan

Computer Analysis of Images and Patterns, Fachbücher von George Azzopardi

E-Voting and Identity, Fachbücher