A First Introduction to Quantum Computing and Information

QR Kod

A First Introduction to Quantum Computing and Information

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Zygelman, Bernard
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Springer International Publishing 2020
Konular:	Computer Science Logics and Meanings of Programs Quantum Computing
Online Erişim:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/87430
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Advances in Computer Science - ASIAN 2007. Computer and Network Security
Yazar:: Cervesato, Iliano
Baskı/Yayın Bilgisi: (2020)

Computer Aided Verification
Yazar:: Damm, Werner, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Algebra and Coalgebra in Computer Science
Yazar:: Mossakowski, Till, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Algebra and Coalgebra in Computer Science
Yazar:: Fiadeiro, José Luis, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Foundations of Software Science and Computational Structures
Yazar:: Amadio, Roberto
Baskı/Yayın Bilgisi: (2020)

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
Yazar:: Okada, Mitsu, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Unconventional Computation and Natural Computation
Yazar:: Patitz, Matthew J., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Unconventional Computation and Natural Computation
Yazar:: Stepney, Susan, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Communicating Sequential Processes. The First 25 Years
Baskı/Yayın Bilgisi: (2020)

Computer Aided Verification
Yazar:: Chockler, Hana, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Computer Aided Verification
Yazar:: Chockler, Hana, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Computer Aided Verification
Yazar:: Majumdar, Rupak, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Computer Aided Verification
Baskı/Yayın Bilgisi: (2020)

Computer Aided Verification
Yazar:: Dillig, Isil, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Introduction to Quantum Information Science
Yazar:: Hayashi, M, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

A Theory of Distributed Objects
Baskı/Yayın Bilgisi: (2020)

A Practical Theory of Reactive Systems
Baskı/Yayın Bilgisi: (2020)

Computer Science – Theory and Applications
Yazar:: Fomin, Fedor V., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Rewriting, Computation and Proof
Yazar:: Comon-Lundh, Hubert, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Intelligent Computer Mathematics
Yazar:: Geuvers, Herman, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Coalgebraic Methods in Computer Science
Yazar:: Cîrstea, Corina
Baskı/Yayın Bilgisi: (2020)

Introduction to quantum computation and information
Yazar:: Lo, Kwong Hoi
Baskı/Yayın Bilgisi: (2003)

Introduction to quantum computation and information
Baskı/Yayın Bilgisi: (1998)

Relational and Algebraic Methods in Computer Science
Yazar:: Desharnais, Jules, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Foundations of Software Science and Computational Structures
Baskı/Yayın Bilgisi: (2020)

Foundations of Software Science and Computation Structures
Baskı/Yayın Bilgisi: (2020)

Computer Aided Verification
Yazar:: Majumdar, Rupak, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Computer Safety, Reliability, and Security
Yazar:: Tonetta, Stefano, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Computer Safety, Reliability, and Security
Yazar:: Tonetta, Stefano, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Theoretical Aspects of Computing – ICTAC 2017
Yazar:: Hung, Dang Van, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Theoretical Aspects of Computing – ICTAC 2018
Yazar:: Fischer, Bernd, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Modelling Computing Systems
Yazar:: Moller, Faron, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Abstraction, Reformulation and Approximation
Yazar:: Zucker, Jean-Daniel, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Concurrency, Graphs and Models
Yazar:: Degano, Pierpaolo, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Integrated Formal Methods
Yazar:: Davies, Jim, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Perspectives of Systems Informatics
Yazar:: Voronkov, Andrei, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Integrated Formal Methods
Yazar:: Romijn, Judi M.T., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logic Based Program Synthesis and Transformation
Baskı/Yayın Bilgisi: (2020)

Types for Proofs and Programs
Baskı/Yayın Bilgisi: (2020)

Algebraic Informatics
Baskı/Yayın Bilgisi: (2020)