A First Introduction to Quantum Computing and Information

QR-koodi

A First Introduction to Quantum Computing and Information

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Zygelman, Bernard
Aineistotyyppi:	Kirja
Kieli:	English
Julkaistu:	Springer International Publishing 2020
Aiheet:	Computer Science Logics and Meanings of Programs Quantum Computing
Linkit:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/87430
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Samankaltaisia teoksia

Advances in Computer Science - ASIAN 2007. Computer and Network Security
Tekijä: Cervesato, Iliano
Julkaistu: (2020)

Computer Aided Verification
Tekijä: Damm, Werner, et al.
Julkaistu: (2020)

Algebra and Coalgebra in Computer Science
Tekijä: Mossakowski, Till, et al.
Julkaistu: (2020)

Algebra and Coalgebra in Computer Science
Tekijä: Fiadeiro, José Luis, et al.
Julkaistu: (2020)

Foundations of Software Science and Computational Structures
Tekijä: Amadio, Roberto
Julkaistu: (2020)

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
Tekijä: Okada, Mitsu, et al.
Julkaistu: (2020)

Unconventional Computation and Natural Computation
Tekijä: Patitz, Matthew J., et al.
Julkaistu: (2020)

Unconventional Computation and Natural Computation
Tekijä: Stepney, Susan, et al.
Julkaistu: (2020)

Communicating Sequential Processes. The First 25 Years
Julkaistu: (2020)

Computer Aided Verification
Tekijä: Chockler, Hana, et al.
Julkaistu: (2020)

Computer Aided Verification
Tekijä: Chockler, Hana, et al.
Julkaistu: (2020)

Computer Aided Verification
Tekijä: Majumdar, Rupak, et al.
Julkaistu: (2020)

Computer Aided Verification
Julkaistu: (2020)

Computer Aided Verification
Tekijä: Dillig, Isil, et al.
Julkaistu: (2020)

Introduction to Quantum Information Science
Tekijä: Hayashi, M, et al.
Julkaistu: (2015)

A Theory of Distributed Objects
Julkaistu: (2020)

A Practical Theory of Reactive Systems
Julkaistu: (2020)

Computer Science – Theory and Applications
Tekijä: Fomin, Fedor V., et al.
Julkaistu: (2020)

Rewriting, Computation and Proof
Tekijä: Comon-Lundh, Hubert, et al.
Julkaistu: (2020)

Intelligent Computer Mathematics
Tekijä: Geuvers, Herman, et al.
Julkaistu: (2020)

Coalgebraic Methods in Computer Science
Tekijä: Cîrstea, Corina
Julkaistu: (2020)

Introduction to quantum computation and information
Tekijä: Lo, Kwong Hoi
Julkaistu: (2003)

Introduction to quantum computation and information
Julkaistu: (1998)

Relational and Algebraic Methods in Computer Science
Tekijä: Desharnais, Jules, et al.
Julkaistu: (2020)

Foundations of Software Science and Computational Structures
Julkaistu: (2020)

Foundations of Software Science and Computation Structures
Julkaistu: (2020)

Computer Aided Verification
Tekijä: Majumdar, Rupak, et al.
Julkaistu: (2020)

Computer Safety, Reliability, and Security
Tekijä: Tonetta, Stefano, et al.
Julkaistu: (2020)

Computer Safety, Reliability, and Security
Tekijä: Tonetta, Stefano, et al.
Julkaistu: (2020)

Theoretical Aspects of Computing – ICTAC 2017
Tekijä: Hung, Dang Van, et al.
Julkaistu: (2020)

Theoretical Aspects of Computing – ICTAC 2018
Tekijä: Fischer, Bernd, et al.
Julkaistu: (2020)

Modelling Computing Systems
Tekijä: Moller, Faron, et al.
Julkaistu: (2020)

Abstraction, Reformulation and Approximation
Tekijä: Zucker, Jean-Daniel, et al.
Julkaistu: (2020)

Concurrency, Graphs and Models
Tekijä: Degano, Pierpaolo, et al.
Julkaistu: (2020)

Integrated Formal Methods
Tekijä: Davies, Jim, et al.
Julkaistu: (2020)

Perspectives of Systems Informatics
Tekijä: Voronkov, Andrei, et al.
Julkaistu: (2020)

Integrated Formal Methods
Tekijä: Romijn, Judi M.T., et al.
Julkaistu: (2020)

Logic Based Program Synthesis and Transformation
Julkaistu: (2020)

Types for Proofs and Programs
Julkaistu: (2020)

Algebraic Informatics
Julkaistu: (2020)