MPG.eBooks - Search Results - "theoretical computer science"

Cover Image

1

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

Published 2021

Springer International Publishing

“...Theoretical Computer Science and General Issues...”

Cover Image

2

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

Published 2021

Springer International Publishing

“...Theoretical Computer Science and General Issues...”

Cover Image

3

Tools and Algorithms for the Construction and Analysis of Systems : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice...

Published 2011

Springer Berlin Heidelberg

“...Theoretical Computer Science and General Issues...”