Εμφανίζονται 1 - 20 Αποτελέσματα από 28 για την αναζήτηση 'Drechsler, Rolf', χρόνος αναζήτησης: 0,06δλ Περιορισμός αποτελεσμάτων
  1. 1
    Formal Specification Level Concepts, Methods, and Algorithms /
    ανά Soeken, Mathias, Drechsler, Rolf
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Reversible and Quantum Circuits Optimization and Complexity Analysis /
    ανά Abdessaied, Nabila, Drechsler, Rolf
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Robustness and Usability in Modern Design Flows
    ανά Fey, Görschwin, Drechsler, Rolf
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    High Quality Test Pattern Generation and Boolean Satisfiability
    ανά Eggersglüß, Stephan, Drechsler, Rolf
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Quality-Driven SystemC Design
    ανά Große, Daniel, Drechsler, Rolf
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Towards a Design Flow for Reversible Logic
    ανά Wille, Robert, Drechsler, Rolf
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Debugging at the Electronic System Level
    ανά Rogin, Frank, Drechsler, Rolf
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Automatic Methods for the Refinement of System Models From the Specification to the Implementation /
    ανά Seiter, Julia, Wille, Robert, Drechsler, Rolf
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Advanced BDD Optimization
    ανά Ebendt, Rüdiger, Fey, Görschwin, Drechsler, Rolf
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Exact Design of Digital Microfluidic Biochips
    Άλλοι συγγραφείς: “…Drechsler, Rolf…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test /
    Άλλοι συγγραφείς: “…Drechsler, Rolf…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Test Pattern Generation using Boolean Proof Engines
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
    Άλλοι συγγραφείς: “…Drechsler, Rolf…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Formal System Verification State-of the-Art and Future Trends /
    Έκδοση 2018
    Άλλοι συγγραφείς: “…Drechsler, Rolf…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Advanced Formal Verification
    Έκδοση 2004
    Άλλοι συγγραφείς: “…Drechsler, Rolf…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    Towards a Design Flow for Reversible Logic
    ανά Wille, Robert
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Drechsler, Rolf…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  17. 17
    Quality-Driven SystemC Design
    ανά GroΓe, Daniel
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Drechsler, Rolf…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  18. 18
    Debugging at the Electronic System Level
    ανά Rogin, Frank
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Drechsler, Rolf…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  19. 19
    Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015 /
    Έκδοση 2016
    Άλλοι συγγραφείς: “…Drechsler, Rolf…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /
    Έκδοση 2015
    Άλλοι συγγραφείς: “…Drechsler, Rolf…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email