Rolf Drechsler

Books by Rolf Drechsler

Total count: 57

• 
  Binary Decision DiagramsTheory and Implementation

  Springer US1998-01-01
• 
  Evolutionary algorithms for VLSI CAD

  Kluwer Academic Publishers1998-01-01
• 
  Evolutionary Algorithms for VLSI CAD

  Springer US1998-01-01
• 
  Binary decision diagramstheory and implementation

  Kluwer Academic Publishers1998-01-01
• 
  Formal Verification of Circuits

  Springer US2000-01-01
• 
  Formal Verification of Circuits1st edition

  Springer2000-01-15
• 
  Spectral Techniques in VLSI CAD1 edition

  Springer2001-07-01
• Towards one-pass synthesis

  Kluwer Academic Publishers2002-01-01
• 
  Towards One-Pass Synthesis

  Springer Netherlands2002-01-01
• 
  Towards One-Pass Synthesis

  Springer US2002-01-01
• Towards One-Pass Synthesis

  Kluwer Academic Publishers2002-06-01
• 
  Evolutionary Algorithms for Embedded System Design

  Imprint2003-01-01
• Applications of Evolutionary Computing : EvoWorkshops 2004EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Coimbra, Portugal, April 5-7, 2004, Proceedings

  Springer London, Limited2004-01-01
• 
  Advanced Formal Verification1 edition

  Springer2004-01-31
• Advanced BDD Optimization

  Springer London, Limited2005-01-01
• Applications of Evolutionary Computing : EvoworkshopsEvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC

  Springer London, Limited2005-01-01
• Advanced Formal Verification

  Springer London, Limited2007-01-01
• Applications of Evolutionary Computing : EvoWorkshops 2007EvoCOMNET, EvoFIN, EvoIASP, EvoINTERACTION, EvoMUSART, EvoSTOC, and EvoTransLog, Valencia, Spain, April 11-13, 2007, Proceedings

  Springer London, Limited2007-01-01
• Applications of Evolutionary Computing : EvoWorkshops 2008EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog

  Springer London, Limited2008-01-01
• 
  Test pattern generation using Boolean proof engines

  Springer2009-01-01
and 37 more