Christoph M. Wintersteiger – författare

Visar alla böcker från författaren Christoph M. Wintersteiger.

2 produkter

1. 

   Theory and Applications of Satisfiability Testing – SAT 2018

   21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

   Av Olaf Beyersdorff, Christoph M. Wintersteiger

   Häftad, 2018

   739 kr

   Lägg i varukorg

2. 

   Digitaltechnik - Eine praxisnahe Einführung

   Av Armin Biere, Daniel Kröning m. fl.

   Häftad, 2008

   409 kr

   Lägg i varukorg