Algebraic and Complex Geometry

Several important aspects of moduli spaces and irreducible holomorphic symplectic manifolds were ...

Formal Methods for Industrial Critical Systems

This book constitutes the proceedings of the 30th International Conference on Formal Methods for ...

Algebraic and Complex Geometry

Stochastic Model Checking

Stochastic models.- Abstraction techniques.- Stochastic model checking.

Algebraic and Complex Geometry

Several important aspects of moduli spaces and irreducible holomorphic symplectic manifolds were ...

Analytical and Stochastic Modelling Techniques and Applications

This book constitutes the refereed proceedings of the 22nd International Conference on Analytical...

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems

Thisbook constitutes the proceedings of the 18th International GI ITG Conference onMeasur...

Distributed Applications and Interoperable Systems

This book constitutes the proceedings of the 20th IFIP International Conference on Distributed Ap...

Quantitative Evaluation of Systems

Computer Performance Engineering

This book constitutes the refereed proceedings of the 20th European Workshop on Computer Performa...

Performance Evaluation Methodologies and Tools

This book constitutes the refereed proceedings of the 18th EAI International Conference on Perfor...