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?

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

    First published in 2019 — 4 editions
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Advanced BDD Optimization
    Preview

    First published in 2005 — 3 editions
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: High Quality Test Pattern Generation and Boolean Satisfiability

    First published in 2012 — 3 editions
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Formal Specification Level: Algorithms, Concepts and Methods

    First published in 2014 — 3 editions
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: In-Memory Computing: Synthesis and Optimization

    First published in 2019 — 3 editions
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Reversible and Quantum Circuits: Optimization and Complexity Analysis

    First published in 2016 — 3 editions
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Spectral Techniques in VLSI CAD

    First published in 2001 — 3 editions
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Enhanced Virtual Prototyping for Heterogeneous Systems

    First published in 2022 — 2 editions
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean Problems

    First published in 2021 — 2 editions
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Information Storage: A Multidisciplinary Perspective

    First published in 2019 — 2 editions
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Advanced Logic Synthesis

    First published in 2017 — 2 editions
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Formal System Verification: State-Of the-Art and Future Trends

    First published in 2017 — 2 editions
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Exact Design of Digital Microfluidic Biochips

    First published in 2018 — 2 editions
    Locate

    My Reading Lists:

    Create a new list

  • 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
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications

    First published in 2020 — 2 editions
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Towards One-Pass Synthesis

    First published in 2002 — 2 editions
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Automatic Methods for the Refinement of System Models: From the Specification to the Implementation

    First published in 2016 — 2 editions
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test

    First published in 2018 — 2 editions
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

    First published in 2018 — 2 editions
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Formal Verification of Structurally Complex Multipliers

    First published in 2023 — 2 editions
    Locate

    My Reading Lists:

    Create a new list

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