Karem A. Sakallah – författare
Visar alla böcker från författaren Karem A. Sakallah.
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, 2007
709 kr
Lägg i varukorg
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, 2011
729 kr
Lägg i varukorg