Joao Marques-Silva – författare

Visar alla böcker från författaren Joao Marques-Silva.

1 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

   709 kr

   Lägg i varukorg