|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| ![](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/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/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/9781441999757.jpg&wmax=80&hmax=80) | High Quality Test Pattern Generation and Boolean Satisfiability 2012 Edition | Eggersglüß, Stephan | Hardcover | 1441999752 / 9781441999757 | 01/2012 | $104.49 |
| ![](thumb.php?src=products/148/9781489988478.jpg&wmax=80&hmax=80) | High Quality Test Pattern Generation and Boolean Satisfiability 2012 Edition | Eggersglüß, Stephan | Paperback | 1489988475 / 9781489988478 | 10/2014 | $123.49 |
| ![](thumb.php?src=products/303/9783030180256.jpg&wmax=80&hmax=80) | In-Memory Computing: Synthesis and Optimization 2020 Edition | Shirinzadeh, Saeideh | Hardcover | 3030180255 / 9783030180256 | 06/2019 | $104.49 |
| ![](thumb.php?src=products/303/9783030192617.jpg&wmax=80&hmax=80) | Information Storage: A Multidisciplinary Perspective 2020 Edition | Große, Cornelia S. | Hardcover | 303019261X / 9783030192617 | 11/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 |
| ![](thumb.php?src=products/331/9783319317229.jpg&wmax=80&hmax=80) | Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from Fdl 2015 2016 Edition (Lecture Notes in Electrical Engineering) | Drechsler, Rolf | Hardcover | 3319317229 / 9783319317229 | 05/2016 | $52.24 |
| ![](thumb.php?src=products/940/9789400791923.jpg&wmax=80&hmax=80) | Quality-Driven Systemc Design 2010 Edition | Große, Daniel | Paperback | 9400791925 / 9789400791923 | 10/2014 | $104.49 |
| ![](thumb.php?src=products/904/9789048136308.jpg&wmax=80&hmax=80) | Quality-Driven Systemc Design 2010 Edition | Große, Daniel | Hardcover | 904813630X / 9789048136308 | 12/2009 | $104.49 |
| ![](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/904/9789048176625.jpg&wmax=80&hmax=80) | Robustness and Usability in Modern Design Flows | Fey, Görschwin | Paperback | 904817662X / 9789048176625 | 10/2010 | $104.49 |
| ![](thumb.php?src=products/140/9781402065354.jpg&wmax=80&hmax=80) | Robustness and Usability in Modern Design Flows 2008 Edition | Fey, Görschwin | Hardcover | 1402065353 / 9781402065354 | 01/2008 | $104.49 |
| ![](thumb.php?src=products/146/9781461355472.jpg&wmax=80&hmax=80) | Spectral Techniques in VLSI CAD Softcover Repri Edition | Thornton, Mitchell A. | Paperback | 1461355478 / 9781461355472 | 10/2012 | $161.49 |
| ![](thumb.php?src=products/079/9780792374336.jpg&wmax=80&hmax=80) | Spectral Techniques in VLSI CAD 2001 Edition | Thornton, Mitchell A. | Hardcover | 0792374339 / 9780792374336 | 07/2001 | $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/904/9789048195787.jpg&wmax=80&hmax=80) | Towards a Design Flow for Reversible Logic 2010 Edition | Wille, Robert | Hardcover | 9048195780 / 9789048195787 | 08/2010 | $104.49 |
| ![](thumb.php?src=products/940/9789400794252.jpg&wmax=80&hmax=80) | Towards a Design Flow for Reversible Logic 2010 Edition | Wille, Robert | Paperback | 9400794258 / 9789400794252 | 10/2014 | $104.49 |
| ![](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 |
|
|
|