Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 14 results for “robert wille”
Skip side bar filters

  • Design Automation Tools and Software for Quantum Computing

    Inside the Munich Quantum Toolkit

    by Lukas Burgholzer, Robert Wille ...
    Series series Engineering (R0)
    This book provides an easy-to-read introduction to quantum computing and introduces readers to a set of software design tools that leverage the power of design automation for optimizing quantum circuits and applications. The authors describe methods and software for quantum computing that utilize explicitly core data structures (such as decision diagrams) or methods (such as dedicated reasoning ... Read more

    $49.49 USD

  • Noise-Aware Quantum Circuit Simulation with Decision Diagrams

    by Thomas Grurl, Jürgen Fuß, Robert Wille ...
    Series series Synthesis Collection of Technology (R0)
    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 decision diagrams–a data-structure common in the design automation community, often used in quantum computing design tasks. The algorithms ... Read more

    $49.49 USD

  • Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams

    by Stefan Hillmich, Robert Wille ...
    Series series Synthesis Collection of Technology (R0)
    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 structure common in the design automation community but hardly used in quantum computing yet. In fact, the covered algorithms and methods are able to ... Read more

    $53.99 USD

  • Design Automation for Field-coupled Nanotechnologies

    by Marcel Walter, Robert Wille, Frank Sill Torres, Rolf Drechsler ...
    Series series Engineering (R0)
    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 design flow is described, which covers exact and scalable placement & routing, one-pass logic synthesis, novel clocking mechanisms ... Read more

    $89.09 USD

  • High Performance Simulation for Industrial Paint Shop Applications

    by Kevin Verma, Robert Wille ...
    Series series Intelligent Technologies and Robotics (R0)
    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 fluid simulations, corresponding optimization methods from the HPC domain, as well as industrial paint shop applications. They ... Read more

    $49.49 USD

  • Compact Representations for the Design of Quantum Logic

    by Philipp Niemann, Robert Wille ...
    Series series Physics and Astronomy (R0)
    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 Decision Diagrams (QMDDs – a means of compactly and efficiently representing and manipulating quantum logic. For future quantum computers ... Read more

    $49.49 USD

  • Towards a Design Flow for Reversible Logic

    by Robert Wille, Rolf Drechsler ...
    Series series Engineering (R0)
    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 smaller and more powerful circuits. Reversible logic p- vides an alternative that may overcome many of these problems in the ... Read more

    $89.09 USD

  • Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

    by Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler ...
    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 can be used for any other automatic reasoning engine. Additionally, the design flow described is applied to a broad variety of ... Read more

    $143.99 USD

  • Automatic Methods for the Refinement of System Models

    From the Specification to the Implementation

    by Julia Seiter, Robert Wille, Rolf Drechsler ...
    Series series Engineering (R0)
    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, for adding detail and precision to single description for a given model and Horizontal refinement, which considers several views ... Read more

    $49.49 USD

  • Designing Droplet Microfluidic Networks

    A Toolbox for Designers

    by Andreas Grimmer, Robert Wille ...
    Series series Engineering (R0)
    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 mechanism, namely passive droplet routing. The methods discussed allow for simulating a microfluidic design on a high-abstraction level ... Read more

    $89.09 USD

  • Introducing Design Automation for Quantum Computing

    by Alwin Zulehner, Robert Wille ...
    Series series Engineering (R0)
    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 book is that those tasks and solutions are explicitly discussed from a design automation perspective, i.e., utilizing clever ... Read more

    $80.99 USD

  • Exact Design of Digital Microfluidic Biochips

    by Oliver Keszocze, Robert Wille, Rolf Drechsler ...
    Series series Engineering (R0)
    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 a formal model that can easily be extended to cope with further design problems. In addition to the exact methods, heuristic approaches ... Read more

    $89.09 USD