Skip to main content alibris logo

Rolf Drechsler

Rolf Drechsler is head of Cyber-Physical Systems department at the German Research Center for Artificial Intelligence (DFKI) since 2011. Furthermore, he is a Full Professor at the Institute of Computer Science, University of Bremen, since 2001. Before, he worked for the Corporate Technology Department of Siemens AG, and was with the Institute of Computer Science, Albert-Ludwig University of Freiburg/Breisgau, Germany. Rolf Drechsler received the Diploma and Dr. Phil. Nat. degrees in computer...See more

Rolf Drechsler's Featured Books

Formal System Verification: State-Of The-Art and Future Trends Formal System Verification:...

Buy from $122.11
eBook from $41.70

Test Pattern Generation Using Boolean Proof Engines Test Pattern Generation Using...

Buy from $14.99

Towards One-Pass Synthesis Towards One-Pass Synthesis

Buy from $60.00
eBook from $29.70

Formal Verification of Circuits Formal Verification of...

Buy from $55.32
eBook from $47.70

Advanced Formal Verification Advanced Formal Verification

Buy from $75.41
eBook from $29.70

Binary Decision Diagrams: Theory and Implementation Binary Decision Diagrams:...

Buy from $159.69

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 Formal Modeling and...

Buy from $51.65
eBook from $16.50

Evolutionary Algorithms for Embedded System Design Evolutionary Algorithms for...

Buy from $54.31
eBook from $29.70

Evolutionary Algorithms for VLSI CAD Evolutionary Algorithms for...

Buy from $103.32

Quality-Driven Systemc Design Quality-Driven Systemc Design

Buy from $103.32
eBook from $29.70

Exact Design of Digital Microfluidic Biochips Exact Design of Digital...

Buy from $34.34
eBook from $29.70

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

Buy from $110.67
eBook from $32.70

In-Memory Computing: Synthesis and Optimization In-Memory Computing:...

Buy from $97.54
eBook from $29.70

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from Fdl 2015 Languages, Design Methods,...

Buy from $26.66
eBook from $26.70

Formal Verification of Structurally Complex Multipliers Formal Verification of...

Buy from $93.93
eBook from $26.70

High Quality Test Pattern Generation and Boolean Satisfiability High Quality Test Pattern...

Buy from $39.01
eBook from $29.70

Debugging at the Electronic System Level Debugging at the Electronic...

Buy from $103.32
eBook from $29.70

Reversible and Quantum Circuits: Optimization and Complexity Analysis Reversible and Quantum...

Buy from $51.65
eBook from $26.70

Computer: Wie Funktionieren Smartphone, Tablet & Co.? Computer: Wie Funktionieren...

Buy from $32.82
eBook from $4.50

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

Buy from $97.39
eBook from $29.70

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

Buy from $87.30
eBook from $29.70

Enhanced Virtual Prototyping: Featuring Risc-V Case Studies Enhanced Virtual Prototyping:...

Buy from $69.34
eBook from $26.70

Advanced BDD Optimization Advanced BDD Optimization

Buy from $124.12
eBook from $47.70

Formal Specification Level: Concepts, Methods, and Algorithms Formal Specification Level:...

Buy from $81.37
eBook from $29.70

  1. < Prev
  2. 1
  3. 2
  4. Next >