*Theory and Applications of Satisfiability Testing - SAT 2008 * - 11th International Conference SAT 2008 Guangzhou China May 12-15 2008 Proceedings / Taschenbücher für 53.49€ / Aus dem Bereich: Bücher-English, International-Gebundene Ausgaben Taschenbücher
Hugendubel