Skip to content
VuFind
Advanced
Advanced
  • Model checking quantum systems...
  • Holdings
  • Cite this
  • Export Record
    • Export to MARC
Cover Image
QR Code
Preview
Preview
Preview

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
  • Holdings
  • Description
  • Reviews
  • Preview
  • Similar Items
  • Staff View

Internet

http://library.unisel.edu.my/web/guest/mylibrary

Electronic resources

Call Number: QA76 889 Y56 2020
Accession No Item Category SMD Status Notes
EBO0014314 EBOOK EBOOK AVAILABLE

Similar Items

  • Concise guide to quantum computing : algorithms, exercises, and implementations
    by: Kurgalin, Sergei
  • 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)
  • A practical guide to quantum machine learning and quantum optimization : hands-on approach to modern quantum algorithms
    by: Combarro, Elias F

Search Options

  • Advanced Search

Need Help?

  • Search Tips

Loading...