Robert Wille

Identifiers

Open LibraryOL7018621A

Top Subjects

Software engineering (2)
Logic programming (1)
Computer architecture (1)
Computer software, verification (1)
Programming languages (electronic computers) (1)
Computer simulation (1)
Quantum theory (1)

Books by Robert Wille

Total count: 13

Towards a Design Flow for Reversible Logic

Springer2010-01-01
Languages, Design Methods, and Tools for Electronic System DesignSelected Contributions from FDL 2015

Springer London, Limited2016-01-01
Automatic Methods for the Refinement of System ModelsFrom the Specification to the Implementation

Springer London, Limited2016-01-01
Compact Representations for the Design of Quantum Logic

Springer International Publishing AG2017-01-01
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Springer2018-01-31
Exact Design of Digital Microfluidic Biochips

Springer2018-06-21
Designing Droplet Microfluidic NetworksA Toolbox for Designers

Springer2019-07-15
Introducing Design Automation for Quantum Computing

Springer2020-04-08
High Performance Simulation for Industrial Paint Shop Applications

Springer International Publishing AG2021-01-01
Design Automation for Field-Coupled Nanotechnologies

Springer International Publishing AG2022-01-01
Einführung in Die Designautomatisierung Für Quantencomputer

Springer Vieweg. in Springer Fachmedien Wiesbaden GmbH2023-01-01
Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams

Springer2023-01-01
Noise-Aware Quantum Circuit Simulation with Decision Diagrams

Springer2024-01-01