Home Advanced Search

Advanced Search - Page 1

Natural Language Processing for Electronic Design Automation
Natural Language Processing for Electronic Design Automation
  • PDF
  • English
  • Year: 2020
  • Author: Mathias Soeken, Rolf Drechsler
Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems
  • PDF
  • English
  • Year: 2020
  • Author: Rolf Drechsler, Mathias Soeken
Formal Specification Level: Concepts, Methods, and Algorithms
Formal Specification Level: Concepts, Methods, and Algorithms
  • PDF
  • English
  • Year: 2015
  • Author: Mathias Soeken, Rolf Drechsler (auth.)
Formal System Verification: State-of the-Art and Future Trends
Formal System Verification: State-of the-Art and Future Trends
  • EPUB
  • English
  • Year: 2018
  • Author: Drechsler, Rolf
Formal system verification : state-of the-art and future trends
Formal system verification : state-of the-art and future trends
  • PDF
  • English
  • Year: 2018
  • Author: Drechsler, Rolf
Reversible and Quantum Circuits: Optimization and Complexity Analysis
Reversible and Quantum Circuits: Optimization and Complexity Analysis
  • PDF
  • English
  • Year: 2016
  • Author: Nabila Abdessaied, Rolf Drechsler (auth.)
Advanced Boolean Techniques. Selected Papers from the 15th International Workshop on Boolean Problems
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
Advanced Boolean Techniques: Selected Papers from the 15th International Workshop on Boolean Problems
  • PDF
  • English
  • Year: 2023
  • Author: Rolf Drechsler, Sebastian Huhn
Computer: Wie funktionieren Smartphone, Tablet & Co.?
Computer: Wie funktionieren Smartphone, Tablet & Co.?
  • PDF
  • German
  • Year: 2017
  • Author: Rolf Drechsler, Andrea Fink, Jannis Stoppe (auth.)
search