Home Advanced Search

Advanced Search - Page 1

Evolutionary Algorithms for Embedded System Design
  • PDF
  • English
  • Year: 2003
  • Author: Joachim Wegener (auth.), Rolf Drechsler, Nicole Drechsler (eds.)
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 system verification : state-of the-art and future trends
  • PDF
  • English
  • Year: 2018
  • Author: Drechsler, Rolf
Formal System Verification: State-of the-Art and Future Trends
  • EPUB
  • English
  • Year: 2018
  • Author: Drechsler, Rolf
Advanced formal verification
  • PDF
  • English
  • Year: 2004
  • Author: Rolf Drechsler
Advanced formal verification
  • PDF
  • English
  • Year: 2004
  • Author: Rolf Drechsler
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015
  • PDF
  • English
  • Year: 2016
  • Author: Rolf Drechsler, Robert Wille (eds.)
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.)
search