|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| ![](thumb.php?src=products/038/9780387254531.jpg&wmax=80&hmax=80) | Advanced BDD Optimization 2005 Edition | Ebendt, Rudiger | Hardcover | 0387254536 / 9780387254531 | 08/2005 | $161.49 |
| ![](thumb.php?src=products/144/9781441937964.jpg&wmax=80&hmax=80) | Advanced BDD Optimization | Ebendt, Rudiger | Paperback | 144193796X / 9781441937964 | 10/2010 | $161.49 |
| ![](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/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/9783319672946.jpg&wmax=80&hmax=80) | Advanced Logic Synthesis 2018 Edition | Reis, André Inácio | Hardcover | 3319672940 / 9783319672946 | 11/2017 | $104.49 |
| ![](thumb.php?src=products/331/9783319884073.jpg&wmax=80&hmax=80) | Advanced Logic Synthesis Softcover Repri Edition | Reis, André Inácio | Paperback | 3319884077 / 9783319884073 | 09/2018 | $104.49 |
| ![](thumb.php?src=products/331/9783319414799.jpg&wmax=80&hmax=80) | Automatic Methods for the Refinement of System Models: From the Specification to the Implementation 2017 Edition (Springerbriefs in Electrical and Computer Engineering) | Seiter, Julia | Paperback | 3319414798 / 9783319414799 | 07/2016 | $52.24 |
| ![](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/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/904/9789048192540.jpg&wmax=80&hmax=80) | Debugging at the Electronic System Level 2010 Edition | Rogin, Frank | Hardcover | 9048192544 / 9789048192540 | 07/2010 | $104.49 |
| ![](thumb.php?src=products/940/9789400795075.jpg&wmax=80&hmax=80) | Debugging at the Electronic System Level 2010 Edition | Rogin, Frank | Paperback | 9400795076 / 9789400795075 | 10/2014 | $104.49 |
| ![](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/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/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/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/331/9783319909356.jpg&wmax=80&hmax=80) | Exact Design of Digital Microfluidic Biochips 2019 Edition | Keszocze, Oliver | Hardcover | 3319909355 / 9783319909356 | 06/2018 | $104.49 |
| ![](thumb.php?src=products/303/9783030081355.jpg&wmax=80&hmax=80) | Exact Design of Digital Microfluidic Biochips Softcover Repri Edition | Keszocze, Oliver | Paperback | 3030081354 / 9783030081355 | 01/2019 | $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/331/9783319378824.jpg&wmax=80&hmax=80) | Formal Specification Level: Concepts, Methods, and Algorithms Softcover Repri Edition | Soeken, Mathias | Paperback | 3319378821 / 9783319378824 | 08/2016 | $104.49 |
| ![](thumb.php?src=products/331/9783319086989.jpg&wmax=80&hmax=80) | Formal Specification Level: Concepts, Methods, and Algorithms 2015 Edition | Soeken, Mathias | Hardcover | 3319086987 / 9783319086989 | 11/2014 | $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 |
|
|
|