Carla P. Gomes – författare

Visar alla böcker från författaren Carla P. Gomes. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Theory and Applications of Satisfiability Testing - SAT 2006

   9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings

   Av Armin Biere, Carla P. Gomes

   Häftad, 2006

   548 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing, SAT 2006. The book presents 26 revised full papers together with 11 revised short papers and 2 invited talks. Coverage extends to all current research issues in …

2. 

   Theory and Applications of Satisfiability Testing - SAT 2006

   9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings

   Av Carla P. Gomes, Armin Biere

   E-bok, 2006

   734 kr

   Lägg i varukorg