Home Advanced Search

Advanced Search - Page 1

Binary Decision Diagrams: Theory and Implementation
  • PDF
  • English
  • Year: 1998
  • Author: Rolf Drechsler, Bernd Becker (auth.)
Graphenbasierte Funktionsdarstellung: Boolesche und Pseudo-Boolesche Funktionen
  • PDF
  • German
  • Year: 1998
  • Author: Dr. phil. nat. Rolf Drechsler, Prof. Dr. rer. nat. Bernd Becker (auth.)
Formal Verification of Circuits
  • PDF
  • English
  • Year: 2000
  • Author: Rolf Drechsler (auth.)
Evolutionary Algorithms for VLSI CAD
  • PDF
  • English
  • Year: 1998
  • Author: Rolf Drechsler (auth.)
Formal Specification Level: Concepts, Methods, and Algorithms
  • PDF
  • English
  • Year: 2015
  • Author: Mathias Soeken, Rolf Drechsler (auth.)
Reversible and Quantum Circuits: Optimization and Complexity Analysis
  • PDF
  • English
  • Year: 2016
  • Author: Nabila Abdessaied, Rolf Drechsler (auth.)
Quality-Driven SystemC Design
  • PDF
  • English
  • Year: 2010
  • Author: Daniel Große, Rolf Drechsler (auth.)
Towards One-Pass Synthesis
  • PDF
  • English
  • Year: 2002
  • Author: Rolf Drechsler, Wolfgang Günther (auth.)
Towards One-Pass Synthesis
  • PDF
  • English
  • Year: 2002
  • Author: Rolf Drechsler, Wolfgang Günther (auth.)
Evolutionary Algorithms for Embedded System Design
  • PDF
  • English
  • Year: 2003
  • Author: Joachim Wegener (auth.), Rolf Drechsler, Nicole Drechsler (eds.)
search