Theory and Applications of Satisfiability Testing – SAT 2008

Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings 1st Auflage verfasst von Hans Kleine Buning; Xishun Zhao und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Theory and Applications of Satisfiability Testing – SAT 2008 lauten 9783540797197, 354079719X und die Druck-ISBNs lauten 9783540797180, 3540797181. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings 1st Auflage verfasst von Hans Kleine Buning; Xishun Zhao und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Theory and Applications of Satisfiability Testing – SAT 2008 lauten 9783540797197, 354079719X und die Druck-ISBNs lauten 9783540797180, 3540797181. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.