<![CDATA[Library Services | Technical University of Kenya Search for 'su:{Monoclonal antibodies.} and su-to:Computer science. and au:Bernardo, Marco.']]>

<![CDATA[Library Services | Technical University of Kenya Search for 'su:{Monoclonal antibodies.} and su-to:Computer science. and au:Bernardo, Marco.']]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%7BMonoclonal%20antibodies.%7D%20and%20su-to%3AComputer%20science.%20and%20au%3ABernardo%2C%20Marco.&format=rss2 2 0 50 Formal Methods for Quantitative Aspects of Programming Languages ISBN 9783642136788 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=83533 By Aldini, Alessandro.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 9783642136788

Place Hold on Formal Methods for Quantitative Aspects of Programming Languages

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=83533 Formal Methods for Quantitative Aspects of Programming Languages ISBN 9783642136788 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=112319 By Aldini, Alessandro.. . VII, 169p. 31 illus. 9783642136788

Place Hold on Formal Methods for Quantitative Aspects of Programming Languages

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