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 Javier López, Chris J. Mitchell

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

Speech and Computer, Fachbücher von Rodmonga Potapova, Andrey Ronzhin, Nikos Fakotakis

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

Decision and Game Theory for Security, Fachbücher von Murat Kantarcioglu, Cristina Nita-Rotaru, Sajal K. Das

Applications of Evolutionary Computation, Fachbücher von Antonio M. Mora, Giovanni Squillero