robert wille
Towards a Design Flow for Reversible Logic
EbookSofort lieferbarThe development of computing machines found great success in the last decades. But the ongoing mi...
Automatic Methods for the Refinement of System Models
EbookSofort lieferbarThis book provides a comprehensive overview of automatic model refinement, which helps readers cl...
Languages, Design Methods, and Tools for Electronic System Design
EbookSofort lieferbarThis book brings together a selection of the bestpapers from the eighteenth edition of the Forum ...
Compact Representations for the Design of Quantum Logic
EbookSofort lieferbarThis book discusses modern approaches and challenges of computer-aided design (CAD) of quantum ci...
Languages, Design Methods, and Tools for Electronic System Design
EbookSofort lieferbar· Covers analog-mixed signal design techniques;
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
EbookSofort lieferbarThis book provides a comprehensive discussion of UML OCL methods and design flow, for automatic v...
Exact Design of Digital Microfluidic Biochips
EbookSofort lieferbarThis book presents exact, that is minimal, solutions to individual steps in the design process fo...
Designing Droplet Microfluidic Networks
EbookSofort lieferbarThis book describes automatic methods for the design of droplet microfluidic networks. The author...
Reversible Computation
EbookSofort lieferbarThis book constitutes the thoroughly refereed post-conference proceedings of the 7th Internationa...
Introducing Design Automation for Quantum Computing
EbookSofort lieferbarThis book offers readers an easy introduction into quantum computing as well as into the design f...
High Performance Simulation for Industrial Paint Shop Applications
EbookSofort lieferbarThis book describes the current state of the art for simulating paint shop applications, their ad...
Design Automation for Field-coupled Nanotechnologies
EbookSofort lieferbarThis book discusses the main tasks of Design Automation for Field-coupled Nanocomputing (FCN) tec...