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

Cover Image

1

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

Published 2020

Springer International Publishing

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

Cover Image

2

Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

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