Cover Image

QR Code

Model checking quantum systems : principles and algorithms

Main Author:	Ying, Mingsheng
Subjects:	Quantum computing Computer systems -- > Verification Electronic books
Online Access:	http://library.unisel.edu.my/web/guest/mylibrary

Similar Items

Concise guide to quantum computing : algorithms, exercises, and implementations
by: Kurgalin, Sergei

Quantum computing for dummies
by: Hurley, William

Quantum continuous variables : a primer of theoretical methods
by: Serafini, Alessio

Intelligent quantum information processing

Quantum computing and other transformative technologies
by: Banafa, Ahmed

Customizable and adaptive quantum processors : theory and applications
by: Nedjah, Nadia

A practical guide to quantum machine learning and quantum optimization : hands-on approach to modern quantum algorithms
by: Combarro, Elias F

NMR quantum information processing
by: Oliveira, Ivan S.
Published: (2007)

Information physics : physics-information and quantum analogies for complex systems modeling
by: Svitek, Miroslav

Quantum blockchain : an emerging cryptographic paradigm

Artificial intelligence, machine learning and blockchain in quantum satellite, drone and network

Cryptography apocalypse : preparing for the day when quantum computing breaks today's crypto
by: Grimes, Roger A

Quantum mechanics : a concise introduction
by: Wu, Biao

Artificial intelligence and quantum computing for advanced wireless networks
by: Glisic, Savo G

Holistic approach to quantum cryptography in cyber security

A group theoretic approach to quantum information
by: Hayashi, Masahito
Published: (2017)

The MicroRNA quantum code book
by: Fujii, Yoichi Robertus

Introducing mechanisms and APIs for memory management : using Windows OS native runtime APIs
by: Villela, Roger

Carbon dots in agricultural systems : strategies to enhance plant productivity

Topological quantum materials : concepts, models, and phenomena
by: Tkachov, Grigory

Principles of quantum mechanics
by: Shankar, R
Published: (1994)

Performance, reliability, and availability evaluation of computational systems. Volume 2 : reliability, availability modeling, measuring, and data analysis
by: Romero, Paulo

System assurances : modeling and management

Embedded system design : modeling, synthesis and verification
Published: (2009)

Operating systems : principles and design
by: Choudhury, Pabitra Pal
Published: (2009)

Intelligent systems : modeling, optimization, and control
by: Yung, C. Shin
Published: (2009)

Operating systems : internals and design principles
by: Stallings, William

Operating systems : internals and design principles
by: Stallings, William

Operating systems : internals and design principles
by: Stallings, William

Knowledge elicitation : principles, techniques, and applications
Published: (1989)

Principles of operating systems : design & applications
by: Stuart, Brian L
Published: (2009)

Operating systems : internals and design principles
by: Stallings, William
Published: (2004)

Operating systems : evolutionary concepts and modern design principles
by: Chakraborty, Pranabananda

Physical models for quantum dots

Linux kernel programming : algorithms and structures of version 2.4
Published: (2002)

Operating system principles
by: Silberschatz, Abraham
Published: (2006)

The essential guide to user interface design : an introduction to GUI design principles and techniques
by: Galitz, Wilbert O
Published: (2002)

The essential guide to user interface design : an introduction to GUI design principles and techniques
by: Galitz, Wilbert O
Published: (2007)

Building interactive systems : principles for human-computer interaction
by: Olsen, Dan R
Published: (2010)

Modeling reactive systems with statecharts : the statemate approach
by: Harel, David
Published: (1998)