<![CDATA[Library Services | Technical University of Kenya Search for 'au:"Sakallah, Karem A."']]>

<![CDATA[Library Services | Technical University of Kenya Search for 'au:"Sakallah, Karem A."']]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Sakallah%2C%20Karem%20A.%22&format=rss2 3 0 50 Theory and Applications of Satisfiability Testing – SAT 2007 ISBN 9783540727880 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=79235 By Marques-Silva, João.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 9783540727880

Place Hold on Theory and Applications of Satisfiability Testing – SAT 2007

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=79235 Theory and Applications of Satisfiability Testing - SAT 2011 ISBN 9783642215810 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=85228 By Sakallah, Karem A.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 9783642215810

Place Hold on Theory and Applications of Satisfiability Testing - SAT 2011

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=85228 Theory and Applications of Satisfiability Testing - SAT 2011 ISBN 9783642215810 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=108017 By Sakallah, Karem A.. . XIII, 371p. 9783642215810

Place Hold on Theory and Applications of Satisfiability Testing - SAT 2011

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=108017