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

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

In this laboratoy 'cook-book', the authors provide a concise guide to PCR-based quantification of...

Thisbook constitutes the proceedings of the 18th International GI ITG Conference onMeasurement, M...

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

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

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

This book constitutes the proceedings of the 17th International Conference on Quantitative Evalua...

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

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