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

<![CDATA[Library Services | Technical University of Kenya Search for 'au:"Bernardo, Marco."']]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Bernardo%2C%20Marco.%22&format=rss2 15 0 50 A Process Algebraic Approach to Software Architecture Design ISBN 9781848002234 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=74522 By Aldini, Alessandro.. London : Springer London, 2010 9781848002234

Place Hold on A Process Algebraic Approach to Software Architecture Design

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=74522 Formal Methods for Mobile Computing ISBN 9783540320210 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=76653 By Bernardo, Marco.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540320210

Place Hold on Formal Methods for Mobile Computing

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=76653 Formal Methods for Hardware Verification ISBN 9783540343059 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=77337 By Bernardo, Marco.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 9783540343059

Place Hold on Formal Methods for Hardware Verification

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=77337 Formal Methods for Computational Systems Biology ISBN 9783540688945 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=78505 By Bernardo, Marco.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 9783540688945

Place Hold on Formal Methods for Computational Systems Biology

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=78505 Formal Methods for Performance Evaluation ISBN 9783540725220 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=79170 By Bernardo, Marco.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 9783540725220

Place Hold on Formal Methods for Performance Evaluation

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=79170 Formal Methods for Web Services ISBN 9783642019180 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=81803 By Bernardo, Marco.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 9783642019180

Place Hold on Formal Methods for Web Services

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=81803 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 Computer Performance Engineering ISBN 9783642157844 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=84090 By Aldini, Alessandro.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 9783642157844

Place Hold on Computer Performance Engineering

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=84090 Formal Methods for Eternal Networked Software Systems ISBN 9783642214554 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=85194 By Bernardo, Marco.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 9783642214554

Place Hold on Formal Methods for Eternal Networked Software Systems

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=85194 Formal Methods for Dynamical Systems ISBN 9783642388743 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=98350 By Bernardo, Marco.. . VIII, 181 p. 49 illus. 9783642388743

Place Hold on Formal Methods for Dynamical Systems

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=98350 Formal Methods for Model-Driven Engineering ISBN 9783642309823 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=103282 By Bernardo, Marco.. . VII, 439 p. 158 illus. 9783642309823

Place Hold on Formal Methods for Model-Driven Engineering

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=103282 Formal Methods for Eternal Networked Software Systems ISBN 9783642214554 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=107983 By Bernardo, Marco.. . VIII, 527p. 9783642214554

Place Hold on Formal Methods for Eternal Networked Software Systems

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=107983 A Process Algebraic Approach to Software Architecture Design ISBN 9781848002234 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=110840 By Aldini, Alessandro.. . XV, 304p. 60 illus., 30 illus. in color. 9781848002234

Place Hold on A Process Algebraic Approach to Software Architecture Design

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=110840 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 Computer Performance Engineering ISBN 9783642157844 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=112716 By Aldini, Alessandro.. . X, 286p. 100 illus. 9783642157844

Place Hold on Computer Performance Engineering

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