Semantic techniques in quantum computation
Material type: TextPublication details: Cambridge ; New York : Cambridge University Press, 2010Description: xiv, 478 p. : illISBN: 9780521513746Subject(s): Quantum computers | Programming languages (Electronic computers) | Quantum theory | Computer scienceDDC classification: 004.1 Summary: "The study of computational processes based on the laws of quantum mechanics has led to the discovery of new algorithms, cryptographic techniques, and communication primitives. This book explores quantum computation from the perspective of the branch of theoretical computer science known as semantics, as an alternative to the more well-known studies of algorithmics, complexity theory, and information theory. It collects chapters from leading researchers in the field, discussing the theory of quantum programming languages, logics and tools for reasoning about quantum systems, and novel approaches to the foundations of quantum mechanics. This book is suitable for graduate students and researchers in quantum information and computation, as well as those in semantics, who want to learn about a new field arising from the application of semantic techniques to quantum information and computation"--Provided by publisher.Summary: "The study of computational processes based on the laws of quantum mechanics has led to the discovery of new algorithms, cryptographic techniques, and communication primitives. This book explores quantum computation from the perspective of the branch of theoretical computer science known as semantics, as an alternative to the more well-known studies of algorithmics, complexity theory, and information theory. It collects chapters fromleading researchers in the field, discussing the theory of quantum programming languages, logics and tools for reasoning about quantum systems, and novel approaches to the foundations of quantum mechanics. This book is suitable for graduate students and researchers in quantum information and computation, as well as those in semantics, who want to learn about a new field arising from the application of semantic techniques to quantum information and computation"--Provided by publisher.Item type | Current library | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
BK | Kannur University Central Library Stack | Stack | 004.1 SEM (Browse shelf (Opens below)) | Available | 31328 |
Browsing Kannur University Central Library shelves, Shelving location: Stack, Collection: Stack Close shelf browser (Hides shelf browser)
No cover image available No cover image available | ||||||||
004.076 GAR/M MCA Test | 004.076 SUB/M M.C.A entrance examination / | 004.1 JON/Q Quantum information, computation and communication / | 004.1 SEM Semantic techniques in quantum computation | 004.1 YAN/Q Quantum Computing for Computer Scientists. | 004.11 LEV/H High performance computing: programming and applications | 004.16 BHA/E Experiments with microcontrollers |
"The study of computational processes based on the laws of quantum mechanics has led to the discovery of new algorithms, cryptographic techniques, and communication primitives. This book explores quantum computation from the perspective of the branch of theoretical computer science known as semantics, as an alternative to the more well-known studies of algorithmics, complexity theory, and information theory. It collects chapters from leading researchers in the field, discussing the theory of quantum programming languages, logics and tools for reasoning about quantum systems, and novel approaches to the foundations of quantum mechanics. This book is suitable for graduate students and researchers in quantum information and computation, as well as those in semantics, who want to learn about a new field arising from the application of semantic techniques to quantum information and computation"--Provided by publisher.
"The study of computational processes based on the laws of quantum mechanics has led to the discovery of new algorithms, cryptographic techniques, and communication primitives. This book explores quantum computation from the perspective of the branch of theoretical computer science known as semantics, as an alternative to the more well-known studies of algorithmics, complexity theory, and information theory. It collects chapters fromleading researchers in the field, discussing the theory of quantum programming languages, logics and tools for reasoning about quantum systems, and novel approaches to the foundations of quantum mechanics. This book is suitable for graduate students and researchers in quantum information and computation, as well as those in semantics, who want to learn about a new field arising from the application of semantic techniques to quantum information and computation"--Provided by publisher.
There are no comments on this title.