Christoph M. Wintersteiger – författare
Visar alla böcker från författaren .
2 produkter
2 produkter
Del 10929 - Lecture Notes in Computer Science
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
Häftad, Engelska, 2018
729 kr
Skickas inom 10-15 vardagar
Häftad, Tyska, 2008
399 kr
Skickas inom 10-15 vardagar