Cargando…

Model checking quantum systems: principles and algorithms

Detalles Bibliográficos
Autores principales:	Ying, Mingsheng, Feng, Yuan
Lenguaje:	eng
Publicado:	Cambridge University Press 2021
Materias:	Computing and Computers
Acceso en línea:	https://dx.doi.org/10.1017/9781108613323 http://cds.cern.ch/record/2752558

Ejemplares similares

Model-checking quantum systems
por: Ying, Mingsheng, et al.
Publicado: (2019)

Foundations of quantum programming
por: Ying, Mingsheng
Publicado: (2016)

Systems and Software Verification: Model-Checking Techniques and Tools
por: Bérard, B, et al.
Publicado: (2001)

Principles of quantum computation and information
por: Benenti, Giuliano, et al.
Publicado: (2007)

Swarm intelligence: principles, current algorithms and methods
por: Tan, Ying
Publicado: (2018)

Anomaly detection principles and algorithms
por: Mehrotra, Kishan G, et al.
Publicado: (2017)

Principles and methods of quantum information technologies
por: Yamamoto, Yoshihisa, et al.
Publicado: (2016)

Using Tripwire to check cluster system integrity
por: Perez-Calle, E, et al.
Publicado: (2005)

Simplification of numeric variables for PLC model checking
por: Lopez-Miguel, Ignacio D, et al.
Publicado: (2021)

Systems engineering: design principles and models
por: Liu, Dahai
Publicado: (2015)

Bringing Model Checking Closer to Practical Software Engineering
por: Remenska, Daniela
Publicado: (2016)

Applying Model Checking to Industrial-Sized PLC Programs
por: Fernandez Adiego, Borja, et al.
Publicado: (2015)

Checking Java Programs
por: Darwin, Ian
Publicado: (2007)

Individual and collective graph mining: principles, algorithms, and applications
por: Koutra, Danai, et al.
Publicado: (2017)

Analysis of DIRAC's behavior using model checking with process algebra
por: Remenska, Daniela, et al.
Publicado: (2012)

Digital holography and digital image processing: principles, methods, algorithms
por: Yaroslavsky, Leonid
Publicado: (2004)

Verification of communication protocols in web services: model-checking service compositions
por: Tari, Zahir, et al.
Publicado: (2014)

Prototype of Automated PLC Model Checking Using Continuous Integration Tools
por: Lettrich, Michael
Publicado: (2015)

Improvements in Offline Checks of Tracking Quality
por: Tomalin, I
Publicado: (1994)

Quantum Track Reconstruction Algorithms for non-HEP applications
por: Novotny, Kristiane Sylvia, et al.
Publicado: (2021)

Principles of expert systems
por: Lucas, Peter, et al.
Publicado: (1991)

Programming quantum computers: essential algorithms and code samples
por: Johnston, Eric R, et al.
Publicado: (2019)

Model-driven engineering of information systems: principles, techniques, and practice
por: Cretu, Liviu Gabriel, et al.
Publicado: (2015)

Principles of network and system administration
por: Burgess, Mark
Publicado: (2002)

Systems engineering: principles and practice
por: Kossiakoff, Alexander, et al.
Publicado: (2003)

Expert systems: principles and programming
por: Giarratano, Joseph
Publicado: (2005)

Expert systems: principles and programming
por: Giarratano, Joseph
Publicado: (1989)

Principles of Discontinuous Dynamical Systems
por: Akhmet, Marat
Publicado: (2010)

Distributed databases: principles and systems
por: Ceri, Stefano, et al.
Publicado: (1985)

Distributed systems: principles and paradigms
por: Tanenbaum, Andrew S, et al.
Publicado: (2002)

Principles of distributed database systems
por: Özsu, Tamer M, et al.
Publicado: (1999)

Distributed Systems: Principles and Paradigms
por: Tanenbaum, Andrew S, et al.
Publicado: (2007)

Check Point NG : next generation security administration
por: Simonis, Drew
Publicado: (2002)

Performing an Active Directory health check: digital shortcut
por: Abbate, Andrew
Publicado: (2006)

Check Point NGX R65 Security Administration
por: Bonnell, Ralph
Publicado: (2008)

Conformance checking for programmable logic controller programs and specifications
por: Darvas, Daniel, et al.
Publicado: (2016)

Principles of system identification: theory and practice
por: Tangirala, Arun K
Publicado: (2015)

Principles of Computer System Design: An Introduction
por: Saltzer, Jerome H, et al.
Publicado: (2009)

Principles of database and knowledge-base systems
por: Ullman, Jeffrey D
Publicado: (1988)

Principles of database and knowledge-base systems
por: Ullman, Jeffrey D
Publicado: (1989)

Cannot write session to /tmp/vufind_sessions/sess_7r7uakfr1dvjpiiorfv3o5f9a6