Binary Decision Diagrams
Rolf Drechsler, Bernd Becker
₹11,591
Author
Books by Rolf Drechsler
Showing 1–8 of 8 books
Evolutionary Algorithms for Vlsi CAD
Rolf Drechsler
₹7,740
Formal Modeling and Verification of Cyber-Physical Systems
Rolf Drechsler, Ulrich Kühne
₹4,176
Formal Verification of Circuits
Rolf Drechsler
₹15,053
Languages, Design Methods, and Tools for Electronic System Design
Rolf Drechsler, Robert Wille
₹4,302
Recent Findings in Boolean Techniques
Rolf Drechsler, Daniel Große
₹7,735
Spectral Techniques in VLSI CAD
Rolf Drechsler, D. Michael Miller, Mitchell Aaron Thornton
₹11,558
Towards One-Pass Synthesis
Rolf Drechsler
₹3,588