A First Introduction to Quantum Computing and Information

क्यूआर कोड

A First Introduction to Quantum Computing and Information

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखक:	Zygelman, Bernard
स्वरूप:	पुस्तक
भाषा:	English
प्रकाशित:	Springer International Publishing 2020
विषय:	Computer Science Logics and Meanings of Programs Quantum Computing
ऑनलाइन पहुंच:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/87430
टैग :	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

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

समान संसाधन

Advances in Computer Science - ASIAN 2007. Computer and Network Security
द्वारा: Cervesato, Iliano
प्रकाशित: (2020)

Computer Aided Verification
द्वारा: Damm, Werner, और अन्य
प्रकाशित: (2020)

Algebra and Coalgebra in Computer Science
द्वारा: Mossakowski, Till, और अन्य
प्रकाशित: (2020)

Algebra and Coalgebra in Computer Science
द्वारा: Fiadeiro, José Luis, और अन्य
प्रकाशित: (2020)

Foundations of Software Science and Computational Structures
द्वारा: Amadio, Roberto
प्रकाशित: (2020)

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
द्वारा: Okada, Mitsu, और अन्य
प्रकाशित: (2020)

Unconventional Computation and Natural Computation
द्वारा: Patitz, Matthew J., और अन्य
प्रकाशित: (2020)

Unconventional Computation and Natural Computation
द्वारा: Stepney, Susan, और अन्य
प्रकाशित: (2020)

Communicating Sequential Processes. The First 25 Years
प्रकाशित: (2020)

Computer Aided Verification
द्वारा: Chockler, Hana, और अन्य
प्रकाशित: (2020)

Computer Aided Verification
द्वारा: Chockler, Hana, और अन्य
प्रकाशित: (2020)

Computer Aided Verification
द्वारा: Majumdar, Rupak, और अन्य
प्रकाशित: (2020)

Computer Aided Verification
प्रकाशित: (2020)

Computer Aided Verification
द्वारा: Dillig, Isil, और अन्य
प्रकाशित: (2020)

Introduction to Quantum Information Science
द्वारा: Hayashi, M, और अन्य
प्रकाशित: (2015)

A Theory of Distributed Objects
प्रकाशित: (2020)

A Practical Theory of Reactive Systems
प्रकाशित: (2020)

Computer Science – Theory and Applications
द्वारा: Fomin, Fedor V., और अन्य
प्रकाशित: (2020)

Rewriting, Computation and Proof
द्वारा: Comon-Lundh, Hubert, और अन्य
प्रकाशित: (2020)

Intelligent Computer Mathematics
द्वारा: Geuvers, Herman, और अन्य
प्रकाशित: (2020)

Coalgebraic Methods in Computer Science
द्वारा: Cîrstea, Corina
प्रकाशित: (2020)

Introduction to quantum computation and information
द्वारा: Lo, Kwong Hoi
प्रकाशित: (2003)

Introduction to quantum computation and information
प्रकाशित: (1998)

Relational and Algebraic Methods in Computer Science
द्वारा: Desharnais, Jules, और अन्य
प्रकाशित: (2020)

Foundations of Software Science and Computational Structures
प्रकाशित: (2020)

Foundations of Software Science and Computation Structures
प्रकाशित: (2020)

Computer Aided Verification
द्वारा: Majumdar, Rupak, और अन्य
प्रकाशित: (2020)

Computer Safety, Reliability, and Security
द्वारा: Tonetta, Stefano, और अन्य
प्रकाशित: (2020)

Computer Safety, Reliability, and Security
द्वारा: Tonetta, Stefano, और अन्य
प्रकाशित: (2020)

Theoretical Aspects of Computing – ICTAC 2017
द्वारा: Hung, Dang Van, और अन्य
प्रकाशित: (2020)

Theoretical Aspects of Computing – ICTAC 2018
द्वारा: Fischer, Bernd, और अन्य
प्रकाशित: (2020)

Modelling Computing Systems
द्वारा: Moller, Faron, और अन्य
प्रकाशित: (2020)

Abstraction, Reformulation and Approximation
द्वारा: Zucker, Jean-Daniel, और अन्य
प्रकाशित: (2020)

Concurrency, Graphs and Models
द्वारा: Degano, Pierpaolo, और अन्य
प्रकाशित: (2020)

Integrated Formal Methods
द्वारा: Davies, Jim, और अन्य
प्रकाशित: (2020)

Perspectives of Systems Informatics
द्वारा: Voronkov, Andrei, और अन्य
प्रकाशित: (2020)

Integrated Formal Methods
द्वारा: Romijn, Judi M.T., और अन्य
प्रकाशित: (2020)

Logic Based Program Synthesis and Transformation
प्रकाशित: (2020)

Types for Proofs and Programs
प्रकाशित: (2020)

Algebraic Informatics
प्रकाशित: (2020)