Christoph M. Wintersteiger - Böcker
Visar alla böcker från författaren Christoph M. Wintersteiger.
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
719 kr
Skickas inom 10-15 vardagar
389 kr
Skickas inom 10-15 vardagar