Karem A. Sakallah - Böcker

Visar alla böcker från författaren Karem A. Sakallah.

2 produkter

Kategorier

2 produkter

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, Engelska, 2007

709 kr

Skickas inom 10-15 vardagar

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, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar