Yazar
christoph m wintersteiger
2 cilt bulundu.
Cilt sonuçları
Theory and Applications of Satisfiability Testing - SAT 2018
Christoph M. Wintersteiger · Springer
472 sayfa · 2018
Computer algorithms / Computer software, verification
Digitaltechnik - eine praxisnahe Einfu hrung
Armin Biere, Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger · Springer
226 sayfa · 2008
Digitalschaltung / Lehrbuch