Illustration

Biographie et livres de Mingsheng Ying

Découvrez tout l'univers de l'auteur en livre numérique
Mingsheng Ying is Distinguished Professor in the Centre for Quantum Software and Information, University of Technology Sydney; Deputy Director for Research of the Institute of Software, Chinese Academy of Sciences; and Cheung Kong Chair Professor in the Department of Computer Science and Technology, Tsinghua University. His research interests are quantum computing, programming theory, and logics in artificial intelligence. He is the author of the books Foundations of Quantum Programming (2016)
Découvrez tous ses livres

Dernière parution

Téléchargez le livre : Foundations of Quantum Programming
Ajouter à ma liste d'envies
Foundations of Quantum Programming

Mingsheng Ying

Morgan Kaufmann

2024-04-29

PDF, epub sans DRM

Quantum computers promise dramatic advantages in processing speed over currently available computer systems.Quantum computing offers great promise in a wide variety of computing and scientific research, includingQuantum cryptography, machine...

137,15 €

Lire plus

Tous les ebooks de Mingsheng Ying en PDF et EPUB


2  résultat(s)
Télécharger le livre : Model Checking Quantum Systems
Ajouter à ma liste d'envies

Model Checking Quantum Systems

Yuan Feng , Mingsheng Ying

Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardware and software industries. This book provides the first systematic introduction to model checking techniques applicable to...

Parution : 2021-02-04
Format(s) : PDF, ePub
Éditeur : Cambridge University Press
J'achète
71,41 €
Télécharger le livre : Foundations of Quantum Programming
Ajouter à ma liste d'envies

Foundations of Quantum Programming

Mingsheng Ying

Foundations of Quantum Programming discusses how new programming methodologies and technologies developed for current computers can be extended to exploit the unique power of quantum computers, which promise dramatic advantages in processing speed over currently...

Parution : 2016-03-28
Format(s) : PDF, epub sans DRM
Éditeur : Morgan Kaufmann
J'achète
90,68 €

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés