Fortell venner om denne varen:
Graphenbasierte Funktionsdarstellung: Boolesche Und Pseudo-boolesche Funktionen - Xleitfaden Der Informatik German, 1998 edition
Rolf Drechsler
Pris
Mex$ 947
Bestillingsvarer
Forventes levert 15. - 23. okt
Legg til iMusic ønskeliste
eller
Graphenbasierte Funktionsdarstellung: Boolesche Und Pseudo-boolesche Funktionen - Xleitfaden Der Informatik German, 1998 edition
Rolf Drechsler
200 pages, black & white illustrations, bibliography
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 1998 |
| ISBN13 | 9783519021490 |
| Utgivere | Vieweg+teubner Verlag |
| Antall sider | 200 |
| Mål | 170 × 244 × 11 mm · 331 g |
| Språk | Tysk |
Vis alle
Mer med 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 (Pocketbok) [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-pocketbok&class=scaled&v=1473757248)
![Cover for Rolf Drechsler · Evolutionary Algorithms for Embedded System Design - Genetic Algorithms and Evolutionary Computation (Pocketbok) [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-pocketbok&class=scaled&v=1583794125)
![Cover for Rolf Drechsler · Towards One-Pass Synthesis (Pocketbok) [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-pocketbok&class=scaled&v=1614917542)
![Cover for Rolf Drechsler · Advanced Formal Verification (Pocketbok) [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-pocketbok&class=scaled&v=1500925902)
![Cover for Rolf Drechsler · Binary Decision Diagrams: Theory and Implementation (Pocketbok) [Softcover reprint of hardcover 1st ed. 1998 edition] (2010)](https://imusic.b-cdn.net/images/item/original/475/9781441950475.jpg?rolf-drechsler-2010-binary-decision-diagrams-theory-and-implementation-pocketbok&class=scaled&v=1547260580)
![Cover for Rolf Drechsler · Evolutionary Algorithms for Vlsi Cad (Pocketbok) [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-pocketbok&class=scaled&v=1605105598)
![Cover for Rolf Drechsler · Formal Verification of Circuits (Pocketbok) [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-pocketbok&class=scaled&v=1614979876)
![Cover for Rolf Drechsler · Test Pattern Generation using Boolean Proof Engines (Pocketbok) [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-pocketbok&class=scaled&v=1592268994)
![Cover for Rolf Drechsler · Test Pattern Generation using Boolean Proof Engines (Innbunden bok) [2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/599/9789048123599.jpg?rolf-drechsler-2009-test-pattern-generation-using-boolean-proof-engines-innbunden-bok&class=scaled&v=1564890060)
![Cover for Rolf Drechsler · Existence: Semantics and Syntax - Studies in Linguistics and Philosophy (Innbunden bok) [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-innbunden-bok&class=scaled&v=1408464331)
![Cover for Rolf Drechsler · Advanced Formal Verification (Innbunden bok) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/210/9781402077210.jpg?rolf-drechsler-2004-advanced-formal-verification-innbunden-bok&class=scaled&v=1605106914)
![Cover for Rolf Drechsler · Evolutionary Algorithms for Embedded System Design - Genetic Algorithms and Evolutionary Computation (Innbunden bok) [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-innbunden-bok&class=scaled&v=1547873781)
![Cover for Rolf Drechsler · Towards One-Pass Synthesis (Innbunden bok) [2002 edition] (2002)](https://imusic.b-cdn.net/images/item/original/440/9781402070440.jpg?rolf-drechsler-2002-towards-one-pass-synthesis-innbunden-bok&class=scaled&v=1408490290)
![Cover for Rolf Drechsler · Binary Decision Diagrams: Theory and Implementation (Innbunden bok) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/938/9780792381938.jpg?rolf-drechsler-1998-binary-decision-diagrams-theory-and-implementation-innbunden-bok&class=scaled&v=1410211703)
Se alt med Rolf Drechsler ( f.eks. Pocketbok , Innbunden bok og Bok )