MPG.eBooks - Author Search Results

Cover Image

1

Digitaltechnik - Eine praxisnahe Einführung

by Biere, Armin, Kröning, Daniel, Weissenbacher, Georg, Wintersteiger, Christoph M.
Published 2008

Springer Berlin Heidelberg

Cover Image

2

Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Published 2014

Springer International Publishing

Other Authors: “...Biere, Armin...”

Cover Image

3

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

Other Authors: “...Biere, Armin...”

Cover Image

4

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

Other Authors: “...Biere, Armin...”

Cover Image

5

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

Published 2006

Springer Berlin Heidelberg

Other Authors: “...Biere, Armin...”

Cover Image

6

Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Published 2013

Springer Berlin Heidelberg

Other Authors: “...Biere, Armin...”