Discrete Geometry for Computer Imagery, Fachbücher von Simone Rinaldi, Andrea Frosini, Elena Barcucci

Computer Safety, Reliability, and Security, Fachbücher von Felicita Di Giandomenico, Andrea Bondavalli

Formal Methods for Industrial Critical Systems, Fachbücher von Francesco Flammini, Frédéric Lang

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

Quantitative Evaluation of Systems, Fachbücher von Gethin Norman, William Sanders

Swarm Intelligence, Fachbücher von Thomas Stützle, Simon Garnier, Christine Solnon, Marco Montes de Oca, Marco Dorigo, M...

Formal Modeling and Analysis of Timed Systems, Fachbücher von Axel Legay, Marius Bozga

Principles of Distributed Systems, Fachbücher von Marc Shapiro, Marcos K. Aguilera, Leonardo Querzoni

Computer Science Logic, Fachbücher

Algebra and Coalgebra in Computer Science, Fachbücher von Alexander Kurz, Marina Lenisa, Andrzej Tarlecki

Integrated Formal Methods, Fachbücher von Elvira Albert, Emil Sekerinski

Intelligent Data Engineering and Automated Learning -- IDEAL 2014, Fachbücher von Jose A. Lozano, Hujun Yin, Emilio S. C...

Information Technology in Bio- and Medical Informatics, Fachbücher von Miroslav Bursa, Sami Khuri, M. Elena Renda

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

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

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