Joao Marques-Silva – författare

Visar alla böcker från författaren Joao Marques-Silva. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Theory and Applications of Satisfiability Testing - SAT 2007

   10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings

   Av Joao Marques-Silva, Karem A. Sakallah

   Häftad, 2007

   552 kr

   Lägg i varukorg

   This volume contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. The International Conferences on Theory and Applications of Satis?ability Testing (SAT) originated in 1996 as a series of workshops “on Satis?ability.” By the …

2. 

   Theory and Applications of Satisfiability Testing - SAT 2007

   10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings

   Av Karem A. Sakallah, Joao Marques-Silva

   E-bok, 2007

   734 kr

   Lägg i varukorg

   This volume contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. The International Conferences on Theory and Applications of Satis?ability Testing (SAT) originated in 1996 as a series of workshops “on Satis?ability.” By the …