Karem A. Sakallah – författare

Visar alla böcker från författaren Karem A. Sakallah. Handla med fri frakt och snabb leverans.

4 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 …

3. 

   Theory and Application of Satisfiability Testing

   14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings

   Av Karem A. Sakallah, Laurent Simon

   Häftad, 2011

   569 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011.The 25 revised full papers presented together with abstracts of 2 invited talks and 10 poster papers were …

4. 

   Theory and Application of Satisfiability Testing

   14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings

   Av Laurent Simon, Karem A. Sakallah

   E-bok, 2011

   755 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011. The 25 revised full papers presented together with abstracts of 2 invited talks and 10 poster papers were …