|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| ![](thumb.php?src=products/331/9783319319353.jpg&wmax=80&hmax=80) | Reversible and Quantum Circuits: Optimization and Complexity Analysis 2016 Edition | Abdessaied, Nabila | Hardcover | 3319319353 / 9783319319353 | 06/2016 | $52.24 |
| ![](thumb.php?src=products/331/9783319811581.jpg&wmax=80&hmax=80) | Reversible and Quantum Circuits: Optimization and Complexity Analysis Softcover Repri Edition | Abdessaied, Nabila | Paperback | 3319811584 / 9783319811581 | 05/2018 | $52.24 |
| ![](thumb.php?src=products/303/9783030075507.jpg&wmax=80&hmax=80) | Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test Softcover Repri Edition | Chandrasekharan, Arun | Paperback | 3030075508 / 9783030075507 | 01/2019 | $52.24 |
| ![](thumb.php?src=products/331/9783319989648.jpg&wmax=80&hmax=80) | Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test 2019 Edition | Chandrasekharan, Arun | Hardcover | 3319989642 / 9783319989648 | 10/2018 | $52.24 |
| ![](thumb.php?src=products/079/9780792381686.jpg&wmax=80&hmax=80) | Evolutionary Algorithms for VLSI CAD 1998 Edition | Drechsler, Rolf | Hardcover | 0792381688 / 9780792381686 | 05/1998 | $104.49 |
| ![](thumb.php?src=products/079/9780792378587.jpg&wmax=80&hmax=80) | Formal Verification of Circuits 2000 Edition | Drechsler, Rolf | Hardcover | 079237858X / 9780792378587 | 06/2000 | $161.49 |
| ![](thumb.php?src=products/144/9781441949851.jpg&wmax=80&hmax=80) | Formal Verification of Circuits | Drechsler, Rolf | Paperback | 1441949852 / 9781441949851 | 12/2010 | $161.49 |
| ![](thumb.php?src=products/144/9781441950406.jpg&wmax=80&hmax=80) | Evolutionary Algorithms for VLSI CAD | Drechsler, Rolf | Paperback | 1441950400 / 9781441950406 | 12/2010 | $104.49 |
| ![](thumb.php?src=products/351/9783519021490.jpg&wmax=80&hmax=80) | Graphenbasierte Funktionsdarstellung: Boolesche Und Pseudo-Boolesche Funktionen 1998 Edition (Xleitfäden Der Informatik) (German) | Drechsler, Rolf | Paperback | 3519021498 / 9783519021490 | 01/1998 | $47.49 |
| ![](thumb.php?src=products/144/9781441950475.jpg&wmax=80&hmax=80) | Binary Decision Diagrams: Theory and Implementation | Drechsler, Rolf | Paperback | 1441950478 / 9781441950475 | 12/2010 | $161.49 |
| ![](thumb.php?src=products/079/9780792381938.jpg&wmax=80&hmax=80) | Binary Decision Diagrams: Theory and Implementation 1998 Edition | Drechsler, Rolf | Hardcover | 0792381939 / 9780792381938 | 06/1998 | $161.49 |
| ![](thumb.php?src=products/904/9789048184910.jpg&wmax=80&hmax=80) | Test Pattern Generation Using Boolean Proof Engines | Drechsler, Rolf | Paperback | 9048184916 / 9789048184910 | 10/2010 | $104.49 |
| ![](thumb.php?src=products/904/9789048123599.jpg&wmax=80&hmax=80) | Test Pattern Generation Using Boolean Proof Engines 2009 Edition | Drechsler, Rolf | Hardcover | 9048123593 / 9789048123599 | 04/2009 | $104.49 |
| ![](thumb.php?src=products/366/9783662530597.jpg&wmax=80&hmax=80) | Computer: Wie Funktionieren Smartphone, Tablet & Co.? 1. Aufl. 2017 Edition (Technik Im Fokus) (German) | Drechsler, Rolf | Paperback | 3662530597 / 9783662530597 | 03/2017 | $18.99 |
| ![](thumb.php?src=products/140/9781402070440.jpg&wmax=80&hmax=80) | Towards One-Pass Synthesis 2002 Edition | Drechsler, Rolf | Hardcover | 1402070446 / 9781402070440 | 05/2002 | $104.49 |
| ![](thumb.php?src=products/144/9781441952790.jpg&wmax=80&hmax=80) | Towards One-Pass Synthesis | Drechsler, Rolf | Paperback | 1441952799 / 9781441952790 | 12/2010 | $104.49 |
| ![](thumb.php?src=products/331/9783319576831.jpg&wmax=80&hmax=80) | Formal System Verification: State-Of The-Art and Future Trends 2018 Edition | Drechsler, Rolf | Hardcover | 3319576836 / 9783319576831 | 07/2017 | $123.49 |
| ![](thumb.php?src=products/140/9781402077210.jpg&wmax=80&hmax=80) | Advanced Formal Verification 2004 Edition | Drechsler, Rolf | Hardcover | 1402077211 / 9781402077210 | 01/2004 | $104.49 |
| ![](thumb.php?src=products/144/9781441954206.jpg&wmax=80&hmax=80) | Advanced Formal Verification Softcover Repri Edition | Drechsler, Rolf | Paperback | 1441954201 / 9781441954206 | 12/2010 | $104.49 |
| ![](thumb.php?src=products/331/9783319862231.jpg&wmax=80&hmax=80) | Formal System Verification: State-Of The-Art and Future Trends Softcover Repri Edition | Drechsler, Rolf | Paperback | 3319862235 / 9783319862231 | 08/2018 | $123.49 |
| ![](thumb.php?src=products/140/9781402072765.jpg&wmax=80&hmax=80) | Evolutionary Algorithms for Embedded System Design 2003 Edition (Genetic Algorithms and Evolutionary Computation) | Drechsler, Rolf | Hardcover | 1402072767 / 9781402072765 | 11/2002 | $104.49 |
| ![](thumb.php?src=products/146/9781461353621.jpg&wmax=80&hmax=80) | Evolutionary Algorithms for Embedded System Design 2003 Edition (Genetic Algorithms and Evolutionary Computation) | Drechsler, Rolf | Paperback | 1461353629 / 9781461353621 | 10/2012 | $104.49 |
| ![](thumb.php?src=products/365/9783658099930.jpg&wmax=80&hmax=80) | Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Br 2015 Edition | Drechsler, Rolf | Paperback | 3658099933 / 9783658099930 | 06/2015 | $52.24 |
| ![](thumb.php?src=products/303/9783030203221.jpg&wmax=80&hmax=80) | Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems 2020 Edition | Drechsler, Rolf | Hardcover | 3030203220 / 9783030203221 | 07/2019 | $104.49 |
| ![](thumb.php?src=products/331/9783319811062.jpg&wmax=80&hmax=80) | Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from Fdl 2015 Softcover Repri Edition (Lecture Notes in Electrical Engineering) | Drechsler, Rolf | Paperback | 3319811061 / 9783319811062 | 05/2018 | $52.24 |
|
|
|