Freunden von diesem Artikel berichten:
Binary Decision Diagrams: Theory and Implementation Rolf Drechsler Softcover reprint of hardcover 1st ed. 1998 edition
Preis
€ 145,99
Bestellware
Lieferdatum: ca. 6. - 12. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
oder
Auch vorhanden als:
Binary Decision Diagrams: Theory and Implementation
Rolf Drechsler
With increasing number of applications, also in non CAD areas, classical methods to handle BDDs are being improved and new questions and problems evolve and have to be solved.
200 pages, biography
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 3. Dezember 2010 |
| ISBN13 | 9781441950475 |
| Verlag | Springer-Verlag New York Inc. |
| Seitenanzahl | 200 |
| Maße | 160 × 240 × 11 mm · 303 g |
| Sprache | Englisch |
Weitere Titel von Rolf Drechsler
Alle anzeigen
![Cover for Rolf Drechsler · Noch analog oder lebst Du schon?: Mit Nœrdman durch die Welt von heute... und morgen (Taschenbuch) [1. Aufl. 2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/124/9783658324124.jpg?rolf-drechsler-2021-noch-analog-oder-lebst-du-schon-mit-n-rdman-durch-die-welt-von-heute-und-morgen-taschenbuch&class=scaled&v=1609659585)
![Cover for Rolf Drechsler · Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 (Taschenbuch) [2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/930/9783658099930.jpg?rolf-drechsler-2015-formal-modeling-and-verification-of-cyber-physical-systems-1st-international-summer-school-on-methods-and-tools-for-the-design-of-digital-systems-bremen-germany-september-2015-taschenbuch&class=scaled&v=1473757248)
![Cover for Rolf Drechsler · Evolutionary Algorithms for Embedded System Design - Genetic Algorithms and Evolutionary Computation (Taschenbuch) [Softcover reprint of the original 1st ed. 2003 edition] (2012)](https://imusic.b-cdn.net/images/item/original/621/9781461353621.jpg?rolf-drechsler-2012-evolutionary-algorithms-for-embedded-system-design-genetic-algorithms-and-evolutionary-computation-taschenbuch&class=scaled&v=1583794125)
![Cover for Rolf Drechsler · Towards One-Pass Synthesis (Taschenbuch) [Softcover reprint of hardcover 1st ed. 2002 edition] (2010)](https://imusic.b-cdn.net/images/item/original/790/9781441952790.jpg?rolf-drechsler-2010-towards-one-pass-synthesis-taschenbuch&class=scaled&v=1614917542)
![Cover for Rolf Drechsler · Advanced Formal Verification (Taschenbuch) [Softcover reprint of the original 1st ed. 2004 edition] (2010)](https://imusic.b-cdn.net/images/item/original/206/9781441954206.jpg?rolf-drechsler-2010-advanced-formal-verification-taschenbuch&class=scaled&v=1500925902)
![Cover for Rolf Drechsler · Evolutionary Algorithms for Vlsi Cad (Taschenbuch) [1st Ed. Softcover of Orig. Ed. 1998 edition] (2010)](https://imusic.b-cdn.net/images/item/original/406/9781441950406.jpg?rolf-drechsler-2010-evolutionary-algorithms-for-vlsi-cad-taschenbuch&class=scaled&v=1605105598)
![Cover for Rolf Drechsler · Formal Verification of Circuits (Taschenbuch) [1st Ed. Softcover of Orig. Ed. 2000 edition] (2010)](https://imusic.b-cdn.net/images/item/original/851/9781441949851.jpg?rolf-drechsler-2010-formal-verification-of-circuits-taschenbuch&class=scaled&v=1614979876)
![Cover for Rolf Drechsler · Test Pattern Generation using Boolean Proof Engines (Taschenbuch) [Softcover reprint of hardcover 1st ed. 2009 edition] (2010)](https://imusic.b-cdn.net/images/item/original/910/9789048184910.jpg?rolf-drechsler-2010-test-pattern-generation-using-boolean-proof-engines-taschenbuch&class=scaled&v=1592268994)
![Cover for Rolf Drechsler · Test Pattern Generation using Boolean Proof Engines (Gebundenes Buch) [2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/599/9789048123599.jpg?rolf-drechsler-2009-test-pattern-generation-using-boolean-proof-engines-gebundenes-buch&class=scaled&v=1564890060)
![Cover for Rolf Drechsler · Existence: Semantics and Syntax - Studies in Linguistics and Philosophy (Gebundenes Buch) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/967/9781402061967.jpg?rolf-drechsler-2007-existence-semantics-and-syntax-studies-in-linguistics-and-philosophy-gebundenes-buch&class=scaled&v=1408464331)
![Cover for Rolf Drechsler · Advanced Formal Verification (Gebundenes Buch) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/210/9781402077210.jpg?rolf-drechsler-2004-advanced-formal-verification-gebundenes-buch&class=scaled&v=1605106914)
![Cover for Rolf Drechsler · Evolutionary Algorithms for Embedded System Design - Genetic Algorithms and Evolutionary Computation (Gebundenes Buch) [2003 edition] (2002)](https://imusic.b-cdn.net/images/item/original/765/9781402072765.jpg?rolf-drechsler-2002-evolutionary-algorithms-for-embedded-system-design-genetic-algorithms-and-evolutionary-computation-gebundenes-buch&class=scaled&v=1547873781)
![Cover for Rolf Drechsler · Towards One-Pass Synthesis (Gebundenes Buch) [2002 edition] (2002)](https://imusic.b-cdn.net/images/item/original/440/9781402070440.jpg?rolf-drechsler-2002-towards-one-pass-synthesis-gebundenes-buch&class=scaled&v=1408490290)
![Cover for Rolf Drechsler · Graphenbasierte Funktionsdarstellung: Boolesche Und Pseudo-boolesche Funktionen - Xleitfaden Der Informatik (Taschenbuch) [German, 1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/490/9783519021490.jpg?rolf-drechsler-1998-graphenbasierte-funktionsdarstellung-boolesche-und-pseudo-boolesche-funktionen-xleitfaden-der-informatik-taschenbuch&class=scaled&v=1412636882)
Alle Titel von Rolf Drechsler ansehen ( u. a. Taschenbuch , Gebundenes Buch und Buch )