4.7
Support
Support
Support
General FAQ
Vinyl FAQ
Contact
Gift Card
Toggle navigation
All 21 Rolf Drechsler releases on Book, Paperback Bo... Book
>> Advanced Search Options
NZD
AUD (Australian Dollars) A$
BRL (Brazilian real) R$
CAD (Canadian Dollars) CA$
CHF (Swiss francs) SFr.
CNY (Chinese yuan) 元
CZK (Czech koruny) Kč
DKK (Danske kroner)
EUR (Euro) €
GBP (Pounds Sterling) £
HKD (Hong Kong dollars) HK$
HUF (Hungarian forints) Ft
ILS (Israeli shekel) ₪
ISK (Icelandic kronur) Íkr
JPY (Japanese yen) ¥
KRW (South Korean won) ₩
MXN (Mexican peso) Mex$
NOK (Norwegian kroner) NOK
NZD (New Zealand dollars) NZ$
PLN (Polish złotys) zł
RON (Romanian leu)
SEK (Svenske kroner) SEK
SGD (Singapore dollars) S$
TRY (Turkish lira) ₺
USD (Dollars) $
ZAR (South African rand) R
Dansk
Deutsch
Deutsch (Switzerland)
English
English (Australia)
English (New Zealand)
English (Singapore)
English (South Africa)
English (United Kingdom)
Español
Español (México)
Français
Nederlands
Norsk
Polski
Português
Português do Brasil
Suomi
Svenska
Vlaamse (Belgium)
日本語
Login
>> Advanced Search Options
Kategorier
Home
Campaigns
Vinyl
CD's
K-pop
Movies
Books
Merchandise
Other
Support
Support
General FAQ
Vinyl FAQ
Contact
Gift Card
Log in
NZD
AUD (Australian Dollars) A$
BRL (Brazilian real) R$
CAD (Canadian Dollars) CA$
CHF (Swiss francs) SFr.
CNY (Chinese yuan) 元
CZK (Czech koruny) Kč
DKK (Danske kroner)
EUR (Euro) €
GBP (Pounds Sterling) £
HKD (Hong Kong dollars) HK$
HUF (Hungarian forints) Ft
ILS (Israeli shekel) ₪
ISK (Icelandic kronur) Íkr
JPY (Japanese yen) ¥
KRW (South Korean won) ₩
MXN (Mexican peso) Mex$
NOK (Norwegian kroner) NOK
NZD (New Zealand dollars) NZ$
PLN (Polish złotys) zł
RON (Romanian leu)
SEK (Svenske kroner) SEK
SGD (Singapore dollars) S$
TRY (Turkish lira) ₺
USD (Dollars) $
ZAR (South African rand) R
Dansk
Deutsch
Deutsch (Switzerland)
English
English (Australia)
English (New Zealand)
English (Singapore)
English (South Africa)
English (United Kingdom)
Español
Español (México)
Français
Nederlands
Norsk
Polski
Português
Português do Brasil
Suomi
Svenska
Vlaamse (Belgium)
日本語
Campaigns
Vinyl
CD's
K-pop
Movies
Books
Merchandise
Campaigns
Vinyl
CD's
K-pop
Movies
Books
Merchandise
Book
Hardcover Book
Paperback Book
Show unavailable items
Releases by
Rolf Drechsler
Book
Advanced Boolean Techniques
(2023)
Rolf Drechsler
NZ$ 199.50
Buy
Paperback Book
1. Aufl. 2021 edition
Noch analog oder lebst Du schon?...
(2021)
Rolf Drechsler
NZ$ 34
Buy
Paperback Book
Computer: Wie funktionieren Smar...
(2017)
Rolf Drechsler
NZ$ 37
Buy
Paperback Book
2015 edition
Formal Modeling and Verification...
(2015)
Rolf Drechsler
NZ$ 94.50
Buy
Paperback Book
Softcover reprint of the original 1st ed. 2002 edition
Towards One-Pass Synthesis
(2012)
Rolf Drechsler
Not available
Paperback Book
Softcover reprint of the original 1st ed. 2003 edition
Evolutionary Algorithms for Embe...
(2012)
Rolf Drechsler
NZ$ 182
Buy
Paperback Book
Softcover reprint of hardcover 1st ed. 2002 edition
Towards One-Pass Synthesis
(2010)
Rolf Drechsler
NZ$ 182
Buy
Paperback Book
Softcover reprint of the original 1st ed. 2004 edition
Advanced Formal Verification
(2010)
Rolf Drechsler
NZ$ 182
Buy
Paperback Book
Softcover reprint of hardcover 1st ed. 1998 edition
Binary Decision Diagrams: Theory...
(2010)
Rolf Drechsler
NZ$ 269
Buy
Paperback Book
1st Ed. Softcover of Orig. Ed. 1998 edition
Evolutionary Algorithms for Vlsi...
(2010)
Rolf Drechsler
NZ$ 182
Buy
Paperback Book
1st Ed. Softcover of Orig. Ed. 2000 edition
Formal Verification of Circuits
(2010)
Rolf Drechsler
NZ$ 313.50
Buy
Paperback Book
Softcover reprint of hardcover 1st ed. 2009 edition
Test Pattern Generation using Bo...
(2010)
Rolf Drechsler
NZ$ 182
Buy
Hardcover Book
2009 edition
Test Pattern Generation using Bo...
(2009)
Rolf Drechsler
NZ$ 208.50
Buy
Hardcover Book
2007 edition
Existence: Semantics and Syntax ...
(2007)
Rolf Drechsler
NZ$ 331.50
Buy
Hardcover Book
2004 edition
Advanced Formal Verification
(2004)
Rolf Drechsler
NZ$ 182
Buy
Hardcover Book
2003 edition
Evolutionary Algorithms for Embe...
(2002)
Rolf Drechsler
NZ$ 182
Buy
Hardcover Book
2002 edition
Towards One-Pass Synthesis
(2002)
Rolf Drechsler
NZ$ 182
Buy
Hardcover Book
2000 edition
Formal Verification of Circuits
(2000)
Rolf Drechsler
NZ$ 269
Buy
Hardcover Book
1998 edition
Binary Decision Diagrams: Theory...
(1998)
Rolf Drechsler
NZ$ 269
Buy
Hardcover Book
1998 edition
Evolutionary Algorithms for Vlsi...
(1998)
Rolf Drechsler
NZ$ 182
Buy
Paperback Book
German, 1998 edition
Graphenbasierte Funktionsdarstel...
(1998)
Rolf Drechsler
NZ$ 86.50
Buy
![Cover for Rolf Drechsler · Noch analog oder lebst Du schon?: Mit Nœrdman durch die Welt von heute... und morgen (Paperback Book) [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-paperback-book&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 (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 · Towards One-Pass Synthesis (Paperback Book) [Softcover reprint of the original 1st ed. 2002 edition] (2012)](https://imusic.b-cdn.net/images/item/original/004/9789401099004.jpg?rolf-drechsler-2012-towards-one-pass-synthesis-paperback-book&class=scaled&v=1496301336)
![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 · Binary Decision Diagrams: Theory and Implementation (Paperback Book) [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-paperback-book&class=scaled&v=1547260580)
![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 · Binary Decision Diagrams: Theory and Implementation (Hardcover Book) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/938/9780792381938.jpg?rolf-drechsler-1998-binary-decision-diagrams-theory-and-implementation-hardcover-book&class=scaled&v=1410211703)
![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)