Theory and Applications of Satisfiability Testing - SAT 2007

Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings 1st 版 著者: Joao MarquesSilva; Karem A. Sakallah 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Theory and Applications of Satisfiability Testing - SAT 2007 : 9783540727880, 3540727884 および 印刷版のISBNは 9783540727873, 3540727876. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings 1st 版 著者: Joao MarquesSilva; Karem A. Sakallah 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Theory and Applications of Satisfiability Testing - SAT 2007 : 9783540727880, 3540727884 および 印刷版のISBNは 9783540727873, 3540727876. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。