Home Advanced Search

Advanced Search - Page 1

Computer: Wie funktionieren Smartphone, Tablet & Co.?
  • PDF
  • German
  • Year: 2017
  • Author: Rolf Drechsler, Andrea Fink, Jannis Stoppe (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.)
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
Automatic Methods for the Refinement of System Models: From the Specification to the Implementation
  • PDF
  • English
  • Year: 2017
  • Author: Julia Seiter, Robert Wille, Rolf Drechsler (auth.)
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
  • PDF
  • English
  • Year: 2018
  • Author: Nils Przigoda,Robert Wille,Judith Przigoda,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
Natural Language Processing for Electronic Design Automation
  • PDF
  • English
  • Year: 2020
  • Author: Mathias Soeken, Rolf Drechsler
search