Sell, buy or rent Christoph M. Wintersteiger textbooks
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)
by
Olaf Beyersdorff, Christoph M. Wintersteiger
ISBN-13: 9783319941431
ISBN-10: 3319941437
Edition: 1st ed. 2018
Publication date: 2018
Publisher:
Springer
Format:
Paperback
471 pages
Digitaltechnik - Eine praxisnahe Einführung (Springer-Lehrbuch) (German Edition)
by
Armin Biere, Daniel Kröning, Georg Weissenbacher, Christoph M. Wintersteiger
ISBN-13: 9783540777281
ISBN-10: 3540777288
Edition: 2008
Publisher:
Springer
Format:
Paperback
240 pages