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

<![CDATA[Library Services | Technical University of Kenya Search for 'au:"Drechsler, Rolf."']]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Drechsler%2C%20Rolf.%22&format=rss2 16 0 50 Advanced BDD Optimization ISBN 9780387254548 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=65973 By Ebendt, Rüdiger.. Boston, MA : Springer US, 2005 9780387254548

Place Hold on Advanced BDD Optimization

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=65973 Robustness and Usability in Modern Design Flows ISBN 9781402065361 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=70721 By Fey, Görschwin.. Dordrecht : Springer Netherlands, 2008 9781402065361

Place Hold on Robustness and Usability in Modern Design Flows

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=70721 Applications of Evolutionary Computing ISBN 9783540320036 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=76636 By Rothlauf, Franz.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540320036

Place Hold on Applications of Evolutionary Computing

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=76636 Applications of Evolutionary Computing ISBN 9783540332381 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=77140 By Rothlauf, Franz.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 9783540332381

Place Hold on Applications of Evolutionary Computing

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=77140 Applications of Evolutionary Computing ISBN 9783540787617 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=80452 By Giacobini, Mario.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 9783540787617

Place Hold on Applications of Evolutionary Computing

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=80452 Applications of Evolutionary Computation ISBN 9783642205200 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=85018 By Chio, Cecilia.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 9783642205200

Place Hold on Applications of Evolutionary Computation

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=85018 Test Pattern Generation using Boolean Proof Engines ISBN 9789048123605 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=87223 By Drechsler, Rolf.. Dordrecht : Springer Netherlands, 2009 9789048123605

Place Hold on Test Pattern Generation using Boolean Proof Engines

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=87223 Quality-Driven SystemC Design ISBN 9789048136315 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=87588 By Große, Daniel.. Dordrecht : Springer Netherlands, 2010 9789048136315

Place Hold on Quality-Driven SystemC Design

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=87588 Debugging at the Electronic System Level ISBN 9789048192557 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=87874 By Rogin, Frank.. Dordrecht : Springer Netherlands, 2010 9789048192557

Place Hold on Debugging at the Electronic System Level

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=87874 Towards a Design Flow for Reversible Logic ISBN 9789048195794 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=87962 By Wille, Robert.. Dordrecht : Springer Netherlands, 2010 9789048195794

Place Hold on Towards a Design Flow for Reversible Logic

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=87962 High Quality Test Pattern Generation and Boolean Satisfiability ISBN 9781441999764 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=100610 By Eggersglüß, Stephan.. . XVIII, 193p. 55 illus. 9781441999764

Place Hold on High Quality Test Pattern Generation and Boolean Satisfiability

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=100610 Applications of Evolutionary Computation ISBN 9783642291784 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=102981 By Chio, Cecilia.. . XXV, 542p. 174 illus. 9783642291784

Place Hold on Applications of Evolutionary Computation

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=102981 Applications of Evolutionary Computation ISBN 9783642205200 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=107801 By Chio, Cecilia.. . XXXII, 513 p. 9783642205200

Place Hold on Applications of Evolutionary Computation

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=107801 Quality-Driven SystemC Design ISBN 9789048136315 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=113399 By Große, Daniel.. . XIX, 170p. 9789048136315

Place Hold on Quality-Driven SystemC Design

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=113399 Debugging at the Electronic System Level ISBN 9789048192557 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=113620 By Rogin, Frank.. . XVIII, 200p. 9789048192557

Place Hold on Debugging at the Electronic System Level

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=113620 Towards a Design Flow for Reversible Logic ISBN 9789048195794 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=113672 By Wille, Robert.. . XIII, 184p. 9789048195794

Place Hold on Towards a Design Flow for Reversible Logic

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