Theory and Applications of Satisfiability Testing - SAT 2009
12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings
Autor:
Springer Berlin Heidelberg
Verlag:
Springer Berlin Heidelberg
Sprache:
English
Keine Beschreibung für das Buch
CHF 59.00
Preise inkl. MwSt. und Versandkosten (portofrei ab CHF 40.00)
Untertitel
12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings
ISBN
978-3-642-02777-2
EAN
9783642027772
Erscheinungsjahr
6/29/2009
Edition
2009
Verlag
Springer Berlin Heidelberg
Sprache
English
Springer Berlin Heidelberg weitere Bücher
Bewertungen
0 Bewertungen
Anmeldung erforderlich