Ebooks de Robert Wille en PDF et EPUB

13 Livre(s)
Télécharger le livre : Noise-Aware Quantum Circuit Simulation with Decision Diagrams
Ajouter à ma liste d'envies
Noise-Aware Quantum Circuit Simulation with Decision Diagrams
Jürgen Fuß , Thomas Grurl , Robert Wille
 This book provides an easy-to-read introduction to quantum computing, as well the classical simulation of quantum circuits with common types of error effects. The authors showcase the enormous potential that can be unleashed when doing these simulations using...

Editeur : Springer
Parution : 2024-11-29
Collection : Synthesis Lectures on Engineering, Science, and Technology
PDF, ePub

52,74 €
Télécharger le livre : Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams
Ajouter à ma liste d'envies
Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams
Stefan Hillmich , Robert Wille
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...

Editeur : Springer
Parution : 2023-09-27
Collection : Synthesis Lectures on Engineering, Science, and Technology
PDF, ePub

58,01 €
Télécharger le livre : Design Automation for Field-coupled Nanotechnologies
Ajouter à ma liste d'envies
Design Automation for Field-coupled Nanotechnologies
Rolf Drechsler , Frank Sill Torres , Marcel Walter , Robert Wille
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...

Editeur : Springer
Parution : 2022-01-10

PDF, ePub

94,94 €
Télécharger le livre : High Performance Simulation for Industrial Paint Shop Applications
Ajouter à ma liste d'envies
High Performance Simulation for Industrial Paint Shop Applications
Kevin Verma , Robert Wille
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...

Editeur : Springer
Parution : 2021-04-29

PDF, ePub

52,74 €
Télécharger le livre : Introducing Design Automation for Quantum Computing
Ajouter à ma liste d'envies
Introducing Design Automation for Quantum Computing
Robert Wille , Alwin Zulehner
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...

Editeur : Springer
Parution : 2020-04-07

PDF, ePub

84,39 €
Télécharger le livre : Designing Droplet Microfluidic Networks
Ajouter à ma liste d'envies
Designing Droplet Microfluidic Networks
Andreas Grimmer , Robert Wille
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...

Editeur : Springer
Parution : 2019-07-04

PDF, ePub

94,94 €
Télécharger le livre : Exact Design of Digital Microfluidic Biochips
Ajouter à ma liste d'envies
Exact Design of Digital Microfluidic Biochips
Rolf Drechsler , Oliver Keszocze , Robert Wille
This book presents exact, that is minimal, solutions to individual steps in the design process for Digital Microfluidic Biochips (DMFBs), as well as a one-pass approach that combines all these  steps in a single process. All of the approaches discussed are based on...

Editeur : Springer
Parution : 2018-06-11

PDF

94,94 €
Télécharger le livre : Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Ajouter à ma liste d'envies
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Rolf Drechsler , Nils Przigoda , Judith Przigoda , Robert Wille
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...

Editeur : Springer
Parution : 2018-01-22

PDF, ePub

147,69 €
Télécharger le livre : Languages, Design Methods, and Tools for Electronic System Design
Ajouter à ma liste d'envies
Languages, Design Methods, and Tools for Electronic System Design
Franco Fummi , Robert Wille
This book brings together a selection of the best papers from the nineteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2016, in Bremen, Germany.  FDL is a well-established international forum...

Editeur : Springer
Parution : 2017-11-09
Collection : Lecture Notes in Electrical Engineering
PDF, ePub

94,94 €
Télécharger le livre : Compact Representations for the Design of Quantum Logic
Ajouter à ma liste d'envies
Compact Representations for the Design of Quantum Logic
Philipp Niemann , Robert Wille
This book discusses modern approaches and challenges of computer-aided design (CAD) of quantum circuits with a view to providing compact representations of quantum functionality. Focusing on the issue of quantum functionality, it presents Quantum Multiple-Valued...

Editeur : Springer
Parution : 2017-08-21
Collection : SpringerBriefs in Physics
PDF, ePub

52,74 €
Télécharger le livre : Automatic Methods for the Refinement of System Models
Ajouter à ma liste d'envies
Automatic Methods for the Refinement of System Models
Rolf Drechsler , Julia Seiter , Robert Wille
This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two “directions” for refinement: Vertical refinement,...

Editeur : Springer
Parution : 2016-07-04
Collection : SpringerBriefs in Electrical and Computer Engineering
ePub

52,74 €
Télécharger le livre : Languages, Design Methods, and Tools for Electronic System Design
Ajouter à ma liste d'envies
Languages, Design Methods, and Tools for Electronic System Design
Rolf Drechsler , Robert Wille
This book brings together a selection of the best papers from the eighteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2015, in Barcelona, Spain.  FDL is a well-established international...

Editeur : Springer
Parution : 2016-05-30
Collection : Lecture Notes in Electrical Engineering
ePub

52,74 €
Télécharger le livre : Towards a Design Flow for Reversible Logic
Ajouter à ma liste d'envies
Towards a Design Flow for Reversible Logic
Rolf Drechsler , Robert Wille
The development of computing machines found great success in the last decades. But the ongoing miniaturization of integrated circuits will reach its limits in the near future. Shrinking transistor sizes and power dissipation are the major barriers in the development of...

Editeur : Springer
Parution : 2010-07-28

ePub

94,94 €