Fr. 273.00

Design Automation for Quantum Computing

Anglais · Livre Relié

Paraît le 08.01.2026

Description

En savoir plus

Quantum computers offer the ability to solve various complex problems significantly faster than the classical computers. This book provides a comprehensive overview of quantum computing from the perspective of computer scientists and engineers. The readers will get a clear understanding of various design automation steps, including specification of quantum algorithms, compiling algorithms to produce quantum circuits, mapping quantum circuits to quantum computers, and error correction for fault-tolerant quantum computing. This book serves as a single source of reference for students, researchers, and engineers for designing reliable quantum computing framework to solve the challenges in the 21st century.

  • Introduces the readers to the domain of quantum computing.
  • Provides an overview of design automation challenges in quantum computing.
  • Outlines popular quantum algorithms and quantum computer architectures.
  • Describes state-of-the-art in design automation for quantum computing, including specification, compilation, error correction, measurement, verification, and security.

Table des matières

Introduction to quantum versus classical computing.- Introduction to design automation for quantum computing.- Quantum computing using noisy intermediate scale quantum computers.- Quantum variational eigensolver.

A propos de l'auteur

Prabhat Mishra is a Professor in the Department of Computer and Information Science and Engineering and a UF Research Foundation Professor at the University of Florida. He received his Ph.D. in Computer Science from the University of California at Irvine. His research interests include quantum computing, embedded systems, design automation, hardware security, and validation of electronic systems. He has published 10 books, 40 book chapters, 30 patents, and more than 250 research articles in premier international journals and conferences. His research has been recognized by several awards, including NSF CAREER Award, IBM Faculty Award, three best paper awards, eleven best paper nominations, and EDAA Outstanding Dissertation Award. He currently serves as the Program Chair of the International Conference on Hardware-Software Codesign and System Synthesis and IEEE International Symposium on Hardware Oriented Security and Trust. He also serves as an Associate Editor of ACM Transactions on Embedded Computing Systems and ACM Transactions on Design Automation of Electronic Systems. He is a Fellow of the Institute of Electrical and Electronics Engineers (IEEE), a Fellow of the American Association for the Advancement of Science (AAAS), and a Distinguished Scientist of the Association for Computing Machinery (ACM).

Résumé

Quantum computers offer the ability to solve various complex problems significantly faster than the classical computers. This book provides a comprehensive overview of quantum computing from the perspective of computer scientists and engineers. The readers will get a clear understanding of various design automation steps, including specification of quantum algorithms, compiling algorithms to produce quantum circuits, mapping quantum circuits to quantum computers, and error correction for fault-tolerant quantum computing. This book serves as a single source of reference for students, researchers, and engineers for designing reliable quantum computing framework to solve the challenges in the 21st century.

  • Introduces the readers to the domain of quantum computing.

  • Provides an overview of design automation challenges in quantum computing.
  • Outlines popular quantum algorithms and quantum computer architectures.
  • Describes state-of-the-art in design automation for quantum computing, including specification, compilation, error correction, measurement, verification, and security.

Détails du produit

Collaboration Prabhat Mishra (Editeur)
Edition Springer, Berlin
 
Langues Anglais
Format d'édition Livre Relié
Sortie 08.01.2026
 
EAN 9783032093028
ISBN 978-3-0-3209302-8
Pages 490
Illustrations X, 490 p. 206 illus., 171 illus. in color.
Catégories Sciences naturelles, médecine, informatique, technique > Technique > Electronique, électrotechnique, technique de l'information

Elektronik, Schaltkreise und Komponenten (Bauteile), Kybernetik und Systemtheorie, Embedded Systems, Quantum Computing, Cyber-Physical Systems, quantum algorithms, Electronics Design and Verification, design automation, Quantum Synthesis, Quantum Verification

Commentaires des clients

Aucune analyse n'a été rédigée sur cet article pour le moment. Sois le premier à donner ton avis et aide les autres utilisateurs à prendre leur décision d'achat.

Écris un commentaire

Super ou nul ? Donne ton propre avis.

Pour les messages à CeDe.ch, veuillez utiliser le formulaire de contact.

Il faut impérativement remplir les champs de saisie marqués d'une *.

En soumettant ce formulaire, tu acceptes notre déclaration de protection des données.