David G. Mitchell – författare

Visar alla böcker från författaren David G. Mitchell. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Theory and Applications of Satisfiability Testing

   7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

   Av Holger H. Hoos, David G. Mitchell

   Häftad, 2005

   567 kr

   Lägg i varukorg

   The 7th International Conference on Theory and Applications of Satis?ab- ity Testing (SAT 2004) was held 10-13 May 2004 in Vancouver, BC, Canada. The conference featured 9 technical paper sessions, 2 poster sessions, as well as the 2004 SAT Solver Competition and the 2004 QBF Solver Evaluation. It …

2. 

   Theory and Applications of Satisfiability Testing

   7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

   Av David G. Mitchell, Holger H. Hoos

   E-bok, 2005

   734 kr

   Lägg i varukorg