Filter By
Books (6)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Foundations of Quantum Programming by Mingsheng Ying 9780443159428
RRP: £115.00Booksplease Price: £105.77Foundations of Quantum Programming, Second Edition provides a systematic exposition of the subject of quantum programming. Emphasis is placed on foundational concepts, methods, and techniques that... -
Foundations of Quantum Programming by Mingsheng Ying 9780128023068
RRP: £93.99Booksplease Price: £85.04Foundations of Quantum Programming discusses how new programming methodologies and technologies developed for current computers can be extended to exploit the unique power of quantum computers, which... -
Model Checking Quantum Systems: Principles and Algorithms by Mingsheng Ying
Booksplease Price: £62.04Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardware and software industries. This book provides the... -
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs by Mingsheng Ying 9780387950921
Booksplease Price: £46.28Communication and concurrency are essential in understanding complex dynamic systems, and there have been many theories to deal with them such as Petri nets, CSP and ACP. Among them, CCS (process... -
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs by Mingsheng Ying 9781461265221
Booksplease Price: £46.74The purpose of this book is to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing some notions and tools from point-set topology. Professionals,... -
Theory and Applications of Models of Computation: 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings by Manindra Agrawal 9783540792277
Booksplease Price: £90.86Theory and Applications of Models of Computation (TAMC) is an inter- tional conference series with an interdisciplinary character, bringing together researchers working in computer science,...