CONCUR 2009 - Concurrency Theory, Fachbücher

Algebra and Coalgebra in Computer Science, Fachbücher

Rewriting Techniques and Applications, Fachbücher

Advances in Information Retrieval Theory, Fachbücher von Stephen Robertson

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

Model and Data Engineering, Fachbücher

Integrated Formal Methods, Fachbücher von Elvira Albert

Formal Modeling and Analysis of Timed Systems, Fachbücher

Formal Methods for Industrial Critical Systems, Fachbücher von Francesco Flammini

Augmented and Virtual Reality, Fachbücher

Discrete Geometry for Computer Imagery, Fachbücher

Knowledge-Based and Intelligent Information and Engineering Systems, Fachbücher

Big Data Analytics and Knowledge Discovery, Fachbücher

Belief Functions: Theory and Applications, Fachbücher

Biometric ID Management and Multimodal Communication, Fachbücher

Database Theory and Application, Fachbücher