Wintersteiger, Christoph M. books & textbook
Theory and Applications of Satisfiability Testing – SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, ... Computer Science and General Issues)
Beyersdorff, Olaf Wintersteiger, Christoph M.
Springer /2018-06-26 Paperback / 471 Pages
isbn-10: 3319941437 / isbn-13: 9783319941431
Digitaltechnik - Eine praxisnahe Einführung (Springer-Lehrbuch) (German Edition)
Biere, Armin Kröning, Daniel Weissenbacher, Georg Wintersteiger, Christoph M.
Springer /2008-02-29 Paperback / 240 Pages
isbn-10: 3540777288 / isbn-13: 9783540777281
