mehr als bücher

Grid  List

  1. Noise-Aware Quantum Circuit Simulation with Decision Diagrams
    Noise-Aware Quantum Circuit Simulation with Decision Diagrams
    Thomas Grurl
    Springer Verlag GmbH
    Buch
    Vorbestellbar
    53,49 €*
  2. Languages, Design Methods, and Tools for Electronic System Design
    Languages, Design Methods, and Tools for Electronic System Design
    Franco Fummi
    Springer Verlag GmbH
    Buch
    Besorgungstitel - wird vorgemerkt

    This book brings together a selection of the best papers from the nineteenth edition of the Forum...

    106,99 €*
  3. Towards a Design Flow for Reversible Logic
    Towards a Design Flow for Reversible Logic
    Robert Wille
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    The development of computing machines found great success in the last decades. But the ongoing mi...

    106,99 €*
  4. Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams
    Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams
    Stefan Hillmich
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt
    53,49 €*
  5. Auf dem Weg zum Quantencomputer
    Auf dem Weg zum Quantencomputer
    Rolf Drechsler
    Shaker Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    Klassische Rechnersysteme stoßen mehr und mehr an ihre physikalischen Grenzen. Die zunehmende Min...

    39,80 €*
  6. Languages, Design Methods, and Tools for Electronic System Design
    Languages, Design Methods, and Tools for Electronic System Design
    Rolf Drechsler
    Springer Verlag GmbH
    Buch
    Besorgungstitel - wird vorgemerkt

    Thisbook brings together a selection of the best papers from the eighteenth editionof the...

    53,49 €*
  7. Towards a Design Flow for Reversible Logic
    Towards a Design Flow for Reversible Logic
    Robert Wille
    Springer Verlag GmbH
    Buch
    Besorgungstitel - wird vorgemerkt

    The development of computing machines found great success in the last decades. But the ongoing mi...

    106,99 €*
  8. Synthese- und Optimierungsverfahren für zukünftige Computerparadigmen
    Synthese- und Optimierungsverfahren für zukünftige Computerparadigmen
    Robert Wille
    Shaker Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    Die Entwicklung von Computertechnologien befindet sich vor einer Zeitenwende. Physikalische Grenz...

    30,80 €*
  9. Reversible Computation
    Reversible Computation
    Alexis De Vos
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the thoroughly refereed post-conference proceedings of the 7th Internationa...

    53,49 €*
  10. Automatic Methods for the Refinement of System Models
    Automatic Methods for the Refinement of System Models
    Julia Seiter
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book provides a comprehensive overview of automatic model refinement, which helps readers cl...

    53,49 €*
  11. Compact Representations for the Design of Quantum Logic
    Compact Representations for the Design of Quantum Logic
    Philipp Niemann
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book discusses modern approaches and challenges of computer-aided design (CAD) of quantum ci...

    53,49 €*
  12. Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
    Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
    Nils Przigoda
    Springer Verlag GmbH
    Buch
    Besorgungstitel - wird vorgemerkt

    This book provides a comprehensive discussion of UML OCL methods and design flow, for automatic v...

    160,49 €*
  1. 1
  2. 2
  3. 3