Rolf Drechslerのリリース

すべて22
Book2
Hardcover Book8
Paperback Book12

iMusicに在庫あり在庫なし商品を表示

Cover for Rolf Drechsler · Advanced Boolean Techniques (Book) (2023)

Advanced Boolean Techniques (2023)

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)

1. Aufl. 2021 edition

Noch analog oder lebst Du schon?... (2021)

Cover for Rolf Drechsler · Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems (Paperback Book) [2020 edition] (2020)

Advanced Boolean Techniques: Sel... (2020)

Cover for Rolf Drechsler · Advanced Boolean Techniques (Book) [1st ed. 2020 edition] (2019)

1st ed. 2020 edition

Advanced Boolean Techniques (2019)

Cover for Rolf Drechsler · Computer: Wie funktionieren Smartphone, Tablet & Co.? - Technik im Fokus (Paperback Book) (2017)

Computer: Wie funktionieren Smar... (2017)

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)

Formal Modeling and Verification... (2015)

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)

Softcover reprint of the original 1st ed. 2003 edition

Evolutionary Algorithms for Embe... (2012)

Cover for Rolf Drechsler · Towards One-Pass Synthesis (Paperback Book) [Softcover reprint of hardcover 1st ed. 2002 edition] (2010)

Softcover reprint of hardcover 1st ed. 2002 edition

Towards One-Pass Synthesis (2010)

Cover for Rolf Drechsler · Advanced Formal Verification (Paperback Book) [Softcover reprint of the original 1st ed. 2004 edition] (2010)

Softcover reprint of the original 1st ed. 2004 edition

Advanced Formal Verification (2010)

Cover for Rolf Drechsler · Binary Decision Diagrams: Theory and Implementation (Paperback Book) [Softcover reprint of hardcover 1st ed. 1998 edition] (2010)

Softcover reprint of hardcover 1st ed. 1998 edition

Binary Decision Diagrams: Theory... (2010)

Cover for Rolf Drechsler · Evolutionary Algorithms for Vlsi Cad (Paperback Book) [1st Ed. Softcover of Orig. Ed. 1998 edition] (2010)

1st Ed. Softcover of Orig. Ed. 1998 edition

Evolutionary Algorithms for Vlsi... (2010)

Cover for Rolf Drechsler · Formal Verification of Circuits (Paperback Book) [1st Ed. Softcover of Orig. Ed. 2000 edition] (2010)

1st Ed. Softcover of Orig. Ed. 2000 edition

Formal Verification of Circuits (2010)

Cover for Rolf Drechsler · Test Pattern Generation using Boolean Proof Engines (Paperback Book) [Softcover reprint of hardcover 1st ed. 2009 edition] (2010)

Softcover reprint of hardcover 1st ed. 2009 edition

Test Pattern Generation using Bo... (2010)

Cover for Rolf Drechsler · Test Pattern Generation using Boolean Proof Engines (Hardcover Book) [2009 edition] (2009)

Test Pattern Generation using Bo... (2009)

Cover for Rolf Drechsler · Existence: Semantics and Syntax - Studies in Linguistics and Philosophy (Hardcover Book) [2007 edition] (2007)

Existence: Semantics and Syntax ... (2007)

Cover for Rolf Drechsler · Advanced Formal Verification (Hardcover Book) [2004 edition] (2004)

Advanced Formal Verification (2004)

Cover for Rolf Drechsler · Evolutionary Algorithms for Embedded System Design - Genetic Algorithms and Evolutionary Computation (Hardcover Book) [2003 edition] (2002)

Evolutionary Algorithms for Embe... (2002)

Cover for Rolf Drechsler · Towards One-Pass Synthesis (Hardcover Book) [2002 edition] (2002)

Towards One-Pass Synthesis (2002)

Cover for Rolf Drechsler · Formal Verification of Circuits (Hardcover Book) (2000)

Formal Verification of Circuits (2000)

Cover for Rolf Drechsler · Binary Decision Diagrams: Theory and Implementation (Hardcover Book) [1998 edition] (1998)

Binary Decision Diagrams: Theory... (1998)

Cover for Rolf Drechsler · Evolutionary Algorithms for Vlsi Cad (Hardcover Book) (1998)

Evolutionary Algorithms for Vlsi... (1998)

Cover for Rolf Drechsler · Graphenbasierte Funktionsdarstellung: Boolesche Und Pseudo-boolesche Funktionen - Xleitfaden Der Informatik (Paperback Book) [German, 1998 edition] (1998)

German, 1998 edition

Graphenbasierte Funktionsdarstel... (1998)