A First Introduction to Quantum Computing and Information

QRコード

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)