Premium Members Get 10% Off and Earn Rewards Find Out More

 

1 - 20 of 56 results for "Rolf Drechsler"

Grid View Grid
List View List
Grid View Grid
List View List
Title: Advanced Formal Verification, Author: Rolf Drechsler
QUICK ADD
Advanced Formal Verification
by Rolf Drechsler (Editor)
Paperback $109.99
Title: Automatic Methods for the Refinement of System Models: From the Specification to the Implementation, Author: Julia Seiter
QUICK ADD
Automatic Methods for the…
by Julia Seiter, Robert Wille, Rolf Drechsler
Explore Series
Paperback $54.99
Title: Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean Problems, Author: Rolf Drechsler
QUICK ADD
Recent Findings in Boolean…
by Rolf Drechsler (Editor), Daniel Große (Editor)
Paperback $109.99
Title: High Quality Test Pattern Generation and Boolean Satisfiability / Edition 1, Author: Stephan Eggersglüß
QUICK ADD
High Quality Test Pattern…
by Stephan Eggersglüß, Rolf Drechsler
Hardcover $109.99
Title: Spectral Techniques in VLSI CAD, Author: Mitchell Aaron Thornton
QUICK ADD
Spectral Techniques in VLSI…
by Mitchell Aaron Thornton, Rolf Drechsler, D. Michael Miller
Paperback $169.99
Title: Exact Design of Digital Microfluidic Biochips, Author: Oliver Keszocze
QUICK ADD
Exact Design of Digital…
by Oliver Keszocze, Robert Wille, Rolf Drechsler
Paperback $109.99
Title: Enhanced Virtual Prototyping: Featuring RISC-V Case Studies, Author: Vladimir Herdt
QUICK ADD
Enhanced Virtual Prototyping:…
by Vladimir Herdt, Daniel Große, Rolf Drechsler
Paperback $99.99
Title: Enhanced Virtual Prototyping for Heterogeneous Systems, Author: Muhammad Hassan
QUICK ADD
Enhanced Virtual Prototyping…
by Muhammad Hassan, Daniel Große, Rolf Drechsler
Paperback $89.99
Title: Formal Verification of Circuits / Edition 1, Author: Rolf Drechsler
QUICK ADD
Formal Verification of…
by Rolf Drechsler
Hardcover $169.99
Title: Design Automation for Field-coupled Nanotechnologies, Author: Marcel Walter
QUICK ADD
Design Automation for…
by Marcel Walter, Robert Wille, Frank Sill Torres, Rolf Drechsler
Paperback $109.99
Title: Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications, Author: Mehran Goli
QUICK ADD
Automated Analysis of Virtual…
by Mehran Goli, Rolf Drechsler
Paperback $89.99
Title: Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques, Author: Sebastian Huhn
QUICK ADD
Design for Testability, Debug…
by Sebastian Huhn, Rolf Drechsler
Paperback $119.99
Title: Formal Verification of Circuits, Author: Rolf Drechsler
QUICK ADD
Formal Verification of…
by Rolf Drechsler
Paperback $169.99
Title: Test Pattern Generation using Boolean Proof Engines / Edition 1, Author: Rolf Drechsler
QUICK ADD
Test Pattern Generation using…
by Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille
Hardcover $109.99
Title: Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test, Author: Arun Chandrasekharan
QUICK ADD
Design Automation Techniques…
by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Paperback $54.99
Title: Towards a Design Flow for Reversible Logic / Edition 1, Author: Robert Wille
QUICK ADD
Towards a Design Flow for…
by Robert Wille, Rolf Drechsler
Hardcover $109.99
Title: Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes: Better Early than Never, Author: Pascal Pieper
QUICK ADD
Formal and Practical…
by Pascal Pieper, Rolf Drechsler
Hardcover $129.99
Title: In-Memory Computing: Synthesis and Optimization, Author: Saeideh Shirinzadeh
QUICK ADD
In-Memory Computing: Synthesis…
by Saeideh Shirinzadeh, Rolf Drechsler
Hardcover $109.99
Title: Formal Verification of Structurally Complex Multipliers, Author: Alireza Mahzoon
QUICK ADD
Formal Verification of…
by Alireza Mahzoon, Daniel Große, Rolf Drechsler
Paperback $99.99
Title: Quality-Driven SystemC Design, Author: Daniel Große
QUICK ADD
Quality-Driven SystemC Design
by Daniel Große, Rolf Drechsler
Paperback $109.99

Pagination Links