8 books • 2 series
Design Automation for Field-coupled Nanotechnologies
High Performance Simulation for Industrial Paint Shop Applications
Introducing Design Automation for Quantum Computing
Exact Design of Digital Microfluidic Biochips
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Compact Representations for the Design of Quantum Logic (SpringerBriefs in Physics)
Automatic Methods for the Refinement of System Models (SpringerBriefs in Electrical and Computer Engineering)
Towards a Design Flow for Reversible Logic