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...

Text, Speech, and Dialogue, Fachbücher von Václav Matousek, Pavel Král

Information Security, Fachbücher von Javier López, Chris J. Mitchell

Intelligent Robotics and Applications, Fachbücher

Public-Key Cryptography -- PKC 2015, Fachbücher von Jonathan Katz

Intelligent Robotics and Applications, Fachbücher von Rüdiger Dillmann, Honghai Liu, Naoyuki Kubota, Xiangyang Zhu

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

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

Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2015, Fachbücher von William M. Wells, Nassir Navab...

Computer Information Systems and Industrial Management, Fachbücher

Brain Informatics and Health, Fachbücher von Sean Hill, Hanchuan Peng, Yike Guo, Faisal Aldo, Karl Friston

Belief Functions: Theory and Applications, Fachbücher von Fabio Cuzzolin

Electronic Government, Fachbücher von Mila Gascó, Konstantinos Tarabanis, Marijn Janssen, Hans Jochen Scholl, Bram Kliev...