Armin Biere

2 books • 1 series

Oct 9, 2020
Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Feb 29, 2008
Cover of Digitaltechnik - Eine Praxisnahe Einfuhrung

Digitaltechnik - Eine Praxisnahe Einfuhrung (Springer-Lehrbuch)