Theory and Applications of Satisfiability Testing -- SAT 2012: 15th Internationa
68,59 €
Theory and Applications of Satisfiability Testing -- SAT 2012. This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012.
Jetzt bei Ebay: