MPG.eBooks - Search Results

Cover Image

1

Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice...

Published 2015

Springer Berlin Heidelberg

Cover Image

2

Validation of Stochastic Systems : A Guide to Current Research

by Baier, Christel
Published 2004

Springer Berlin Heidelberg

Cover Image

3

Validation of Stochastic Systems : A Guide to Current Research

Published 2004

Springer Berlin Heidelberg

Cover Image

4

CONCUR 2006 - Concurrency Theory : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006

Published 2006

Springer Berlin Heidelberg

Cover Image

5

SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20,...

Published 2017

Springer International Publishing

Cover Image

6

Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of S...

Published 2018

Springer International Publishing

Cover Image

7

Formal Techniques for Distributed Objects, Components, and Systems : 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Confere...

Published 2018

Springer International Publishing