Semantic Techniques in Quantum Computation

By: Simon Gay (Editor), Ian Mackie (Editor)

Write A Review

Hardcover | 30 November 2009

At a Glance

Hardcover
494 Pages

Dimensions(cm)
22.86 x 15.24 x 3.18

Hardcover

RRP $167.95

$149.75

11%OFF

or 4 interest-free payments of $37.44 with

Ships in 5 to 7 business days

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.
A collection of chapters by leading researchers. Applies techniques from semantics rather than information theory or complexity theory. Offers an overview of topical research in an exciting new field.

Industry Reviews

"This is a well written and interesting research oriented book. I write"research oriented" because I could not imagine using it in class as a textbook, although some of the articles might interest some post-graduate students. But indeed this book provides a great source of information for all researchers working in the elds of logic, semantics, and quantum computation." Kyriakos N. Sgarbas, SIGACT News

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages Computer Hardware Mainframes & Minicomputers Science Physics Quantum Physics & Quantum Mechanics & Quantum Field Theory Computer Science Mathematical Theory of Computation

No-cloning in categorical quantum mechanics
Classical and quantum structuralism
Generalized proof-nets for compact categories with biproducts
The structure of partial isometries
Extended measurement calculus
Abstract interpretation techniques for quantum computation
Predicate transformer semantics of quantum programs
The quantum io monad
Quantum lambda calculus
Temporal logics for reasoning about quantum systems
Specification and verification of quantum protocols
Table of Contents provided by Publisher. All Rights Reserved.

Semantic Techniques in Quantum Computation

At a Glance

Hardcover

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Programming & Scripting Languages

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Algorithmic Short Selling with Python - Second Edition

Strategies, signals, and risk management techniques for profitable short trades

Learning Go

An Idiomatic Approach to Real-World Go Programming

Python All-in-One For Dummies

3rd Edition

Swift

The Practical Guide

Introduction to Programming Languages

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Make: Electronics, 3e

Learning by Discovery: A hands-on primer for the new electronics enthusiast

Fundamentals of Python

3rd Edition - First Programs

The Explosive Child: Sixth Edition

A New Approach for Understanding and Parenting Easily Frustrated, Chronically Inflexible Children

PHP, MySQL, & JavaScript All-In-One For Dummies

For Dummies

Coding All-in-One For Dummies

2nd Edition

C# 10.0 All-in-One For Dummies

For Dummies (Computer/Tech)

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Laravel: Up & Running

3rd Edition - A Framework for Building Modern PHP Apps

Effective Typescript

83 Specific Ways to Improve Your Typescript

Introducing Python

Modern Computing in Simple Packages

Concurrency in C# Cookbook

2nd Edition - Asynchronous, Parallel, and Multithreaded Programming

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

C++ Programming Language, The

SQL Essentials For Dummies

For Dummies (Computer/Tech)

Hands-On Machine Learning with Scikit-Learn, Keras, and Tensorflow

Concepts, Tools, and Techniques to Build Intelligent Systems

This product is categorised by