Skip to content
Scan a barcode
Scan

Rolf Drechsler

Follow to get improved recommendations.

Books by Rolf Drechsler

Formal Verification of Circuits 1441949852 Book Cover

Formal Verification of Circuits

Rolf Drechsler

$169.99

Binary Decision Diagrams: Theory and Implementation 1441950478 Book Cover

Binary Decision Diagrams: Theory and Implementation

Rolf Drechsler

$169.99

High Quality Test Pattern Generation and Boolean Satisfiability 1489988475 Book Cover

High Quality Test Pattern Generation and Boolean Satisfiability

Rolf Drechsler

$129.99

Towards One-Pass Synthesis 1402070446 Book Cover

Towards One-Pass Synthesis

Rolf Drechsler

$109.99

Quality-Driven SystemC Design 9400791925 Book Cover

Quality-Driven SystemC Design

Rolf Drechsler

$109.99

High Quality Test Pattern Generation and Boolean Satisfiability 1441999752 Book Cover

High Quality Test Pattern Generation and Boolean Satisfiability

Rolf Drechsler

$109.99

Robustness and Usability in Modern Design Flows 904817662X Book Cover

Robustness and Usability in Modern Design Flows

Rolf Drechsler

$109.99

Debugging at the Electronic System Level 9400795076 Book Cover

Debugging at the Electronic System Level

Rolf Drechsler

$109.99

Reversible and Quantum Circuits: Optimization and Complexity Analysis 3319811584 Book Cover

Reversible and Quantum Circuits: Optimization and Complexity Analysis

Rolf Drechsler

$59.78 - $60.03

Advanced Formal Verification 1402077211 Book Cover

Advanced Formal Verification

Rolf Drechsler

$109.99

Test Pattern Generation using Boolean Proof Engines 9048184916 Book Cover

Test Pattern Generation using Boolean Proof Engines

Rolf Drechsler

$109.99

Towards a Design Flow for Reversible Logic 9048195780 Book Cover

Towards a Design Flow for Reversible Logic

Rolf Drechsler

$109.99

Evolutionary Algorithms for VLSI CAD 1441950400 Book Cover

Evolutionary Algorithms for VLSI CAD

Rolf Drechsler

$109.99

Spectral Techniques in VLSI CAD 0792374339 Book Cover

Spectral Techniques in VLSI CAD

Rolf Drechsler

$169.99

Advanced BDD Optimization 144193796X Book Cover

Advanced BDD Optimization

Rolf Drechsler

$169.99

Robustness And Usability In Modern Design Flows 1402065353 Book Cover

Robustness And Usability In Modern Design Flows

Rolf Drechsler

$109.99

Formal Specification Level: Concepts, Methods, and Algorithms 3319378821 Book Cover

Formal Specification Level: Concepts, Methods, and Algorithms

Rolf Drechsler

$109.99

Graphenbasierte Funktionsdarstellung: Boolesche Und Pseudo-Boolesche Funktionen 3519021498 Book Cover

Graphenbasierte Funktionsdarstellung: Boolesche Und Pseudo-Boolesche Funktionen

Rolf Drechsler

Out of Stock

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

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

Rolf Drechsler

$54.99

Quality Driven System C Design 904813630X Book Cover

Quality Driven System C Design

Rolf Drechsler

$109.99

Test Pattern Generation using Boolean Proof Engines 9048123593 Book Cover

Test Pattern Generation using Boolean Proof Engines

Rolf Drechsler

$109.99

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers 331972813X Book Cover

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

Rolf Drechsler

$169.99

Exact Design of Digital Microfluidic Biochips 3319909355 Book Cover

Exact Design of Digital Microfluidic Biochips

Rolf Drechsler

$109.99

Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test 3319989642 Book Cover

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

Rolf Drechsler

$59.78

In-Memory Computing: Synthesis and Optimization 303018028X Book Cover

In-Memory Computing: Synthesis and Optimization

Rolf Drechsler

$109.99

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies 3030548309 Book Cover

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Rolf Drechsler

$99.99 - $129.99

Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems 3030203220 Book Cover

Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

Rolf Drechsler

$109.99

Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques 3030692086 Book Cover

Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques

Rolf Drechsler

$119.99

Enhanced Virtual Prototyping for Heterogeneous Systems 3031055764 Book Cover

Enhanced Virtual Prototyping for Heterogeneous Systems

Rolf Drechsler

$89.99 - $119.99

Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme: Design, Verständnis und Anwendungen 3031369963 Book Cover

Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme: Design, Verständnis und Anwendungen

Rolf Drechsler

Out of Stock

of 2
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured