It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by RenameBot
September 7, 2008 | History
Edit

Rolf Drechsler

We need a photo of Rolf Drechsler

55 works Add another?

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Advanced Boolean Techniques: Selected Papers from the 15th International Workshop on Boolean Problems

    First published in 2019 — 4 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Reversible and Quantum Circuits: Optimization and Complexity Analysis

    First published in 2016 — 3 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: High Quality Test Pattern Generation and Boolean Satisfiability

    First published in 2012 — 3 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: In-Memory Computing: Synthesis and Optimization

    First published in 2019 — 3 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Formal Specification Level: Algorithms, Concepts and Methods

    First published in 2014 — 3 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Advanced BDD Optimization

    First published in 2005 — 3 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Spectral Techniques in VLSI CAD

    First published in 2001 — 3 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean Problems

    First published in 2021 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques

    First published in 2021 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

    First published in 2020 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Exact Design of Digital Microfluidic Biochips

    First published in 2018 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications

    First published in 2020 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Evolutionary Algorithms for Embedded System Design

    First published in 2003 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

    First published in 2018 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Automatic Methods for the Refinement of System Models: From the Specification to the Implementation

    First published in 2016 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test

    First published in 2018 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Advanced Logic Synthesis

    First published in 2017 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Formal System Verification: State-Of the-Art and Future Trends

    First published in 2017 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Information Storage: A Multidisciplinary Perspective

    First published in 2019 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: 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

    First published in 2015 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Rolf Drechsler

Subjects

Computer-aided design, Integrated circuits, Computer engineering, Decision trees, Electronic circuits, Embedded computer systems, Evolutionary programming (computer science), Integrated circuits, very large scale integration, Very large scale integration, Computer science, Design and construction, Electronic data processing, Engineering, Mathematical optimization, Systems engineering, Testing, Algebra, boolean, Algorithms, Binary system (mathematics), Boolean Algebra, CAD-CAM - General, Computer algorithms, Computer software, verification, Computers - General Information, Computers / CAD-CAM / General

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL220206A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
September 7, 2008 Edited by RenameBot fix author name
April 1, 2008 Created by an anonymous user initial import