CONCUR 2009 - Concurrency Theory, Fachbücher von Mario Bravetti, Gianluigi Zavattaro

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

Rewriting Techniques and Applications, Fachbücher von Ralf Treinen

Advances in Information Retrieval Theory, Fachbücher von Stephen Robertson, Emine Yilmaz, Gabriella Kazai, Dawei Song, L...

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

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

Model and Data Engineering, Fachbücher von Alfredo Cuzzocrea, Sofian Maabout

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

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

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

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

Business Process Management, Fachbücher von Umeshwar Dayal, Johann Eder, Jana Koehler

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

Algebraic Informatics, Fachbücher

Knowledge-Based and Intelligent Information and Engineering Systems, Fachbücher von Sebastián A. Ríos, Juan D. Velásquez

Algorithmic Decision Theory, Fachbücher