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

Rolf Drechsler

55 works Add another?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

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

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

    First published in 2016 3 editions in 1 language
    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 in 1 language
    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 in 1 language
    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 in 1 language
    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 in 1 language — 1 previewable
    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 Boolean Techniques: Selected Papers from the 15th International Workshop on Boolean Problems

    First published in 2019 3 editions in 1 language
    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 in 1 language
    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 in 1 language
    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 for Heterogeneous Systems

    First published in 2022 2 editions in 1 language
    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 in 1 language
    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 in 1 language
    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 for Field-Coupled Nanotechnologies

    First published in 2022 2 editions in 1 language
    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 in 1 language
    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 in 1 language — 1 previewable
    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 in 1 language
    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 in 1 language
    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