Conte aos seus amigos sobre este item:
Binary Decision Diagrams: Theory and Implementation 1998 edition
Rolf Drechsler
Preço
¥ 23.246
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 22 - 28 de jul
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Também disponível como:
Binary Decision Diagrams: Theory and Implementation 1998 edition
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
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 30 de junho de 1998 |
| ISBN13 | 9780792381938 |
| Editoras | Springer |
| Páginas | 200 |
| Dimensões | 155 × 235 × 15 mm · 494 g |
| Idioma | English |
Mostrar tudo
Mais por Rolf Drechsler
![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 (Paperback Book) [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-paperback-book&class=scaled&v=1473757248)
![Cover for Rolf Drechsler · Evolutionary Algorithms for Embedded System Design - Genetic Algorithms and Evolutionary Computation (Paperback Book) [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-paperback-book&class=scaled&v=1583794125)
![Cover for Rolf Drechsler · Towards One-Pass Synthesis (Paperback Book) [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-paperback-book&class=scaled&v=1614917542)
![Cover for Rolf Drechsler · Advanced Formal Verification (Paperback Book) [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-paperback-book&class=scaled&v=1500925902)
![Cover for Rolf Drechsler · Evolutionary Algorithms for Vlsi Cad (Paperback Book) [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-paperback-book&class=scaled&v=1605105598)
![Cover for Rolf Drechsler · Formal Verification of Circuits (Paperback Book) [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-paperback-book&class=scaled&v=1614979876)
![Cover for Rolf Drechsler · Test Pattern Generation using Boolean Proof Engines (Paperback Book) [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-paperback-book&class=scaled&v=1592268994)
![Cover for Rolf Drechsler · Test Pattern Generation using Boolean Proof Engines (Hardcover Book) [2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/599/9789048123599.jpg?rolf-drechsler-2009-test-pattern-generation-using-boolean-proof-engines-hardcover-book&class=scaled&v=1564890060)
![Cover for Rolf Drechsler · Existence: Semantics and Syntax - Studies in Linguistics and Philosophy (Hardcover Book) [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-hardcover-book&class=scaled&v=1408464331)
![Cover for Rolf Drechsler · Advanced Formal Verification (Hardcover Book) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/210/9781402077210.jpg?rolf-drechsler-2004-advanced-formal-verification-hardcover-book&class=scaled&v=1605106914)
![Cover for Rolf Drechsler · Evolutionary Algorithms for Embedded System Design - Genetic Algorithms and Evolutionary Computation (Hardcover Book) [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-hardcover-book&class=scaled&v=1547873781)
![Cover for Rolf Drechsler · Towards One-Pass Synthesis (Hardcover Book) [2002 edition] (2002)](https://imusic.b-cdn.net/images/item/original/440/9781402070440.jpg?rolf-drechsler-2002-towards-one-pass-synthesis-hardcover-book&class=scaled&v=1408490290)
![Cover for Rolf Drechsler · Graphenbasierte Funktionsdarstellung: Boolesche Und Pseudo-boolesche Funktionen - Xleitfaden Der Informatik (Paperback Book) [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-paperback-book&class=scaled&v=1412636882)
Ver tudo de Rolf Drechsler ( por exemplo Paperback Book , Hardcover Book e Book )