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

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

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

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

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

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 Security, Fachbücher von Javier López, Chris J. Mitchell

Principles and Practice of Constraint Programming, Fachbücher von Barry O'Sullivan

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

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