PICK&READ
Bonjour !
Connectez-vous pour afficher vos livres, identifier ceux en cours de lecture ou déjà lus
Pas encore de compte ?
This book provides an easy-to-read introduction into quantum computing as well as classical simulation of quantum circuits. The authors showcase the enormous potential that can be unleashed when doing these simulations using decision diagrams—a data...
This book discusses the main tasks of Design Automation for Field-coupled Nanocomputing (FCN) technologies, in order to enable large-scale composition of elementary building blocks, that obtain correct systems from given function specifications. To this end, a holistic...
This book describes the current state of the art for simulating paint shop applications, their advantages and limitations, as well as corresponding high-performance computing (HPC) methods utilized in this domain. The authors provide a comprehensive introduction to...
This book offers readers an easy introduction into quantum computing as well as into the design for corresponding devices. The authors cover several design tasks which are important for quantum computing and introduce corresponding solutions. A special feature of the...
This book describes automatic methods for the design of droplet microfluidic networks. The authors discuss simulation and design methods which support the design process of droplet microfluidics in general, as well as design methods for a dedicated droplet routing...
This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods...
En poursuivant votre navigation, vous acceptez l'utilisation de cookies qui permettront notamment de vous offrir contenus, services, et publicités liés à vos centres d'intérêt.