Drechsler, Rolf books & textbook
Automatic Methods for the Refinement of System Models: From the Specification to the Implementation (SpringerBriefs in Electrical and Computer Engineering)
Seiter, Julia Wille, Robert Drechsler, Rolf
Springer /2016-07-11 Paperback / 102 Pages
isbn-10: 3319414798 / isbn-13: 9783319414799
Formal Verification of Circuits
Springer /2010-12-02 Paperback / 189 Pages
isbn-10: 1441949852 / isbn-13: 9781441949851
Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems
Drechsler, Rolf Soeken, Mathias
Springer /2020-08-14 Paperback / 276 Pages
isbn-10: 3030203255 / isbn-13: 9783030203252
Binary Decision Diagrams: Theory and Implementation
Springer /2010-12-03 Paperback / 210 Pages
isbn-10: 1441950478 / isbn-13: 9781441950475
Evolutionary Algorithms for VLSI CAD
Springer /2010-12-03 Paperback / 194 Pages
isbn-10: 1441950400 / isbn-13: 9781441950406
Applications of Evolutionary Computing: EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Coimbra, Portugal, April 5-7, ... (Lecture Notes in Computer Science, 3005)
Raidl, Günther R. Cagnoni, Stefano Branke, Jürgen Corne, David W. Drechsler, Rolf Jin, Yaochu Johnson, Colin G. Machado, Penousal Marchiori, Elena Rothlauf, Franz Smith, George D. Squillero, Giovanni
Springer /2004-03-25 Paperback / 588 Pages
isbn-10: 3540213783 / isbn-13: 9783540213789
Applications of Evolutionary Computing: EvoWorkshops 2007:EvoCOMNET, EvoFIN, EvoIASP, EvoINTERACTION, EvoMUSART, EvoSTOC, and EvoTransLog, Valencia, ... (Lecture Notes in Computer Science, 4448)
Giacobini, Mario Brabazon, Anthony Cagoni, Stefano Di Caro, Gianni A. Drechsler, Rolf Farooq, Muddassar Fink, Andreas Lutton, Evelyne Machado, Penousal Minner, Stefan O'Neill, Michael Romero, Juan Rothlauf, Franz Squillero, Giovanni Takagi, Hideyuki Uyar, A. Sima Yang, Shengxiang
Springer /2007-04-02 Paperback / 778 Pages
isbn-10: 3540718044 / isbn-13: 9783540718048
Spectral Techniques in VLSI CAD
Thornton, Mitchell Aaron Drechsler, Rolf Miller, D. Michael
Springer /2012-10-24 Paperback / 263 Pages
isbn-10: 1461355478 / isbn-13: 9781461355472
Applications of Evolutionary Computing: EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog (Lecture Notes in Computer Science, 4974)
Giacobini, Mario Brabazon, Anthony Cagnoni, Stefano Di Caro, Gianni A. Drechsler, Rolf Ekart, Aniko Esparcia-Alcazar, Anna I. Farooq, Muddassar Fink, Andreas McCormack, Jon O'Neill, Michael Romero, Juan Rothlauf, Franz Squillero, Giovanni Uyar, Sima Yang, Shengxiang
Springer /2008-03-14 Paperback / 729 Pages
isbn-10: 3540787607 / isbn-13: 9783540787600
Applications of Evolutionary Computing: Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC (Lecture Notes in Computer Science, 3449)
Rothlauf, Franz Branke, Jürgen Cagnoni, Stefano Corne, David W. Drechsler, Rolf Jin, Yaochu Machado, Penousal Marchiori, Elena Romero, Juan Smith, George D. Squillero, Giovanni
Springer /2005-03-23 Paperback / 651 Pages
isbn-10: 3540253963 / isbn-13: 9783540253969
