| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Advanced BDD Optimization | Paperback | | 978-1-4419-3796-4 | 2010 | Rudiger Ebendt · Görschwin Fey |
| Advanced BDD Optimization | Hardcover | | 978-0-387-25453-1 | 2005 | Rudiger Ebendt · Görschwin Fey |
| Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems | Gebunden | | 978-3-030-20322-1 | 2019 | Mathias Soeken |
| Advanced Formal Verification | Hardcover | | 978-1-4020-7721-0 | 2004 |
| Advanced Logic Synthesis | Taschenbuch | | 978-3-319-88407-3 | 2018 | André Inácio Reis |
| Advanced Logic Synthesis | Gebunden | | 978-3-319-67294-6 | 2017 | " |
| Applications of Evolutionary Computation: EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, ... Notes in Computer Science, Band 7248) | Taschenbuch | | 978-3-642-29177-7 | 2012 | Cecilia Di Chio · Alexandros Agapitos · Stefano Cagnoni · Carlos Cotta · Francisco Fernández de Vega · Gianni A. Di Caro · Anikó Ekárt |
| Applications of Evolutionary Computing: EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Coimbra, Portugal, April 2004, ... Notes in Computer Science, Band 3005) | " | | 978-3-540-21378-9 | 2009 | Günther R. Raidl · Jürgen Branke · Stefano Cagnoni · David W. Corne |
| Applications of Evolutionary Computing: EvoWorkshops 2005: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC Lausanne, Switzerland, March 30 ... Notes in Computer Science , Band 3449) | " | | 978-3-540-25396-9 | 2009 | Franz Rothlauf · Jürgen Branke · Stefano Cagnoni · David W. Corne |
| Applications of Evolutionary Computing: EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, ... Notes in Computer Science, Band 3907) | " | | 978-3-540-33237-4 | 2006 | Franz Rothlauf · Jürgen Branke · Stefano Cagnoni · Ernesto Costa · Carlos Cotta · Evelyne Lutton · Penousal Machado |
| Applications of Evolutionary Computing: EvoWorkshops 2007:EvoCOMNET, EvoFIN, EvoIASP, EvoINTERACTION, EvoMUSART, EvoSTOC, and EvoTransLog, Valencia, ... | " | | 978-3-540-71804-8 | 2007 | Mario Giacobini · Anthony Brabazon · Stefano Cagoni · Gianni A. DiCaro · Farooq, Muddassar |
| Applications of Evolutionary Computing: EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog | " | | 978-3-540-78760-0 | 2008 | Mario Giacobini · Anthony Brabazon · Stefano Cagnoni · Gianni A. DiCaro · Aniko Ekart · Anna I. Esparcia-Alcazar · Muddassar Farooq |
| Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications | Gebunden | | 978-3-030-44281-1 | 2020 | Mehran Goli |
| Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers | Taschenbuch | | 978-3-319-89214-6 | 2019 | Nils Przigoda · Robert Wille · Judith Przigoda |
| Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers | Gebunden | | 978-3-319-72813-1 | 2018 | Nils Przigoda · Robert Wille · Judith Przigoda |
| Automatic Methods for the Refinement of System Models: From the Specification to the Implementation | Taschenbuch | | 978-3-319-41479-9 | 2016 | Julia Seiter · Robert Wille |
| Binary Decision Diagrams: Theory and Implementation | Hardcover | | 978-0-7923-8193-8 | 1998 | Bernd Becker |
| Computer: Wie funktionieren Smartphone, Tablet & Co.? | Taschenbuch | | 978-3-662-53059-7 | 2017 |
| Debugging at the Electronic System Level | Hardcover | | 978-90-481-9254-0 | 2010 | Frank Rogin |
| Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test | Taschenbuch | | 978-3-030-07550-7 | 2019 | Arun Chandrasekharan · Daniel Groe |
| Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test | Gebunden | | 978-3-319-98964-8 | 2018 | Arun Chandrasekharan · Daniel Große |
| Evolutionary Algorithms for Embedded System Design | Hardcover | | 978-1-4020-7276-5 | 2002 | Nicole Drechsler |
| Evolutionary Algorithms for VLSI CAD | " | | 978-0-7923-8168-6 | 1998 |
| Exact Design of Digital Microfluidic Biochips | Taschenbuch | | 978-3-030-08135-5 | 2019 | Oliver Keszocze · Robert Wille |
| Exact Design of Digital Microfluidic Biochips | Gebunden | | 978-3-319-90935-6 | 2018 | Oliver Keszocze · Robert Wille |
| 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 | | 978-3-658-09993-0 | 2015 | Ulrich Kühne |
| Formal Specification Level: Concepts, Methods, and Algorithms | Gebunden | | 978-3-319-08698-9 | 2014 | Mathias Soeken |
| Formal System Verification: State-of the-Art and Future Trends | Taschenbuch | | 978-3-319-86223-1 | 2018 |
| Formal System Verification: State-of the-Art and Future Trends | Gebunden | | 978-3-319-57683-1 | 2017 |
| Formal Verification of Circuits | Hardcover | | 978-0-7923-7858-7 | 2000 |
| FunTaskIC: Eine integrierte Entwurfsumgebung für SystemC | Taschenbuch | | 978-3-8322-3675-5 | 2005 | Görschwin Fey |
| Graphenbasierte Funktionsdarstellung | " | | 978-3-519-02149-0 | 1998 |
| High Quality Test Pattern Generation and Boolean Satisfiability | Hardcover | | 978-1-4419-9975-7 | 2012 | Stephan Eggersglüß |
| In-Memory Computing: Synthesis and Optimization | Gebunden | | 978-3-030-18025-6 | 2019 | Saeideh Shirinzadeh |
| Introduction to Reversible and Quantum Circuits: From Basics to Hardware Design | Hardcover | | 978-1-4614-0793-5 | 2016 | Robert Wille · Mathias Soeken |
| Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015 | Gebunden | | 978-3-319-31722-9 | 2016 | Robert Wille |
| Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen | Taschenbuch | | 978-3-8322-1202-5 | 2003 |
| Quality-Driven SystemC Design | Hardcover | | 978-90-481-3630-8 | 2009 | Daniel Große |
| Reversible and Quantum Circuits: Optimization and Complexity Analysis | Gebunden | | 978-3-319-31935-3 | 2016 | Nabila Abdessaied |
| Robustness and Usability in Modern Design Flows | Hardcover | | 978-1-4020-6535-4 | 2008 | Görschwin Fey |
| Software-Engineering und Hardware-Design | Taschenbuch | | 978-3-446-21861-1 | 2002 | Axel Sikora |
| Spectral Techniques in VLSI CAD | Hardcover | | 978-0-7923-7433-6 | 2001 | Mitchell Aaron Thornton · D. Michael Miller |
| Technische Informatik: Eine Einführung | Gebunden | | 978-3-8273-7092-1 | 2005 | Bernd Becker · Paul Molitor |
| Test Pattern Generation using Boolean Proof Engines | Paperback | | 978-90-481-8491-0 | 2010 |
| Test Pattern Generation using Boolean Proof Engines | Hardcover | | 978-90-481-2359-9 | 2009 | Stephan Eggersglüß · Görschwin Fey · Daniel Tille |
| Towards a Design Flow for Reversible Logic | Paperback | | 978-94-007-9425-2 | 2014 | Robert Wille |
| Towards a Design Flow for Reversible Logic | Hardcover | | 978-90-481-9578-7 | 2010 | " |
| Towards One-Pass Synthesis | " | | 978-1-4020-7044-0 | 2002 | Wolfgang Günther |