| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers | Taschenbuch | | 978-3-319-89214-6 | 2019 | Nils Przigoda · Judith Przigoda · Rolf Drechsler |
| Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers | Gebunden | | 978-3-319-72813-1 | 2018 | Nils Przigoda · Judith Przigoda · Rolf Drechsler |
| Automatic Methods for the Refinement of System Models: From the Specification to the Implementation | Taschenbuch | | 978-3-319-41479-9 | 2016 | Julia Seiter · Rolf Drechsler |
| Designing Droplet Microfluidic Networks: A Toolbox for Designers | Gebunden | | 978-3-030-20712-0 | 2019 | Andreas Grimmer |
| Exact Design of Digital Microfluidic Biochips | Taschenbuch | | 978-3-030-08135-5 | 2019 | Oliver Keszocze · Rolf Drechsler |
| Exact Design of Digital Microfluidic Biochips | Gebunden | | 978-3-319-90935-6 | 2018 | Oliver Keszocze · Rolf Drechsler |
| Introducing Design Automation for Quantum Computing | " | | 978-3-030-41752-9 | 2020 | Alwin Zulehner |
| Introduction to Reversible and Quantum Circuits: From Basics to Hardware Design | Hardcover | | 978-1-4614-0793-5 | 2016 | Mathias Soeken · Rolf Drechsler |
| Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. Volume 5, number 9, December 2018. Special issue: Current Trends in Multiple Valued Logic Design | Paperback | | 978-1-84890-294-7 | 2018 | Martin Lukac |
| Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015 | Gebunden | | 978-3-319-31722-9 | 2016 | Rolf Drechsler |
| Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016 | Taschenbuch | | 978-3-319-87429-6 | 2018 | Franco Fummi |
| Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016 | Gebunden | | 978-3-319-62919-3 | 2017 | " |
| Reversible Computation: Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers | Taschenbuch | | 978-3-642-29516-4 | 2012 | Alexis De Vos |
| Towards a Design Flow for Reversible Logic | Paperback | | 978-94-007-9425-2 | 2014 |
| Towards a Design Flow for Reversible Logic | Hardcover | | 978-90-481-9578-7 | 2010 | Rolf Drechsler |