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

<![CDATA[Library Services | Technical University of Kenya Search for 'au:"Touili, Tayssir."']]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Touili%2C%20Tayssir.%22&format=rss2 2 0 50 Computer Aided Verification ISBN 9783642142956 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=83688 By Touili, Tayssir.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 9783642142956

Place Hold on Computer Aided Verification

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=83688 Computer Aided Verification ISBN 9783642142956 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=112444 By Touili, Tayssir.. . XVI, 676p. 169 illus. 9783642142956

Place Hold on Computer Aided Verification

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