Joao Marques-Silva - Böcker

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

1 produkt

Kategorier

1 produkt

Theory and Applications of Satisfiability Testing - SAT 2007

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

AvJoao Marques-Silva,Karem A. Sakallah

Häftad, Engelska, 2007

689 kr

Skickas inom 10-15 vardagar