Home Advanced Search

Advanced Search - Page 1

Advanced Boolean Techniques: Selected Papers from the 15th International Workshop on Boolean Problems
  • PDF
  • English
  • Year: 2023
  • Author: Rolf Drechsler, Sebastian Huhn
Advanced Boolean Techniques. Selected Papers from the 15th International Workshop on Boolean Problems
  • PDF
  • English
  • Year: 2023
  • Author: Rolf Drechsler, Sebastian Huhn
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
Advanced Formal Verification
  • PDF
  • English
  • Year: 2004
  • Author: Rolf Drechsler
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.)
Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems
  • PDF
  • English
  • Year: 2020
  • Author: Rolf Drechsler, Mathias Soeken
search