MPG.eBooks - Search Results - "Theorie"

Cover Image

1

Quantitative Evaluation of Systems : 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings

Published 2021

Springer International Publishing

Subjects: “...Formal Languages and Automata Theory...”

Cover Image

2

Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Published 2017

Springer International Publishing

Subjects: “...Formal Languages and Automata Theory...”

Cover Image

3

Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

Published 2017

Springer International Publishing

Subjects: “...Formal Languages and Automata Theory...”

Cover Image

4

Computational Methods in Systems Biology : 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings

Published 2020

Springer International Publishing

Subjects: “...Theory of Computation...”