Εμφανίζονται 1 - 20 Αποτελέσματα από 21 για την αναζήτηση '"Quantum programming"', χρόνος αναζήτησης: 0,28δλ Περιορισμός αποτελεσμάτων
  1. 1
    Automatic Quantum Computer Programming A Genetic Programming Approach /
    ανά Spector, Lee
    Έκδοση 2004
    Πίνακας περιεχομένων: “… of Quantum Programs -- Evolved Quantum Programs -- Conclusions and Prospects.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Automatic Quantum Computer Programming A Genetic Programming Approach /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… of Quantum Programs -- Evolved Quantum Programs -- Conclusions and Prospects.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “…, probabilistic and quantum programming -- Software security; concurrency and parallelism -- Tools for programming…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    978-3-031-57262-3.pdf
    Έκδοση 2024
    “… typing and session types; dependent types; Part II: Quantum programming and domain-specific languages…”
    Λήψη πλήρους κειμένου
  5. 5
    978-3-031-57267-8.pdf
    Έκδοση 2024
    “… typing and session types; dependent types; Part II: Quantum programming and domain-specific languages…”
    Λήψη πλήρους κειμένου
  6. 6
    Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… -- Quantum Programming -- Circular CNOT Circuits: Definition, Analysis and Application to Fault-Tolerant…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Mathematics of Program Construction 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Commands -- Quantum Programming -- Regular Expressions Revisited: A Coinductive Approach to Streams…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Practical Quantum Computing for Developers Programming Quantum Rigs in the Cloud using Python, Quantum Assembly Language and IBM QExperience /
    ανά Silva, Vladimir, Silva, Vladimir
    Έκδοση 2018
    Πίνακας περιεχομένων: “… in the Cloud -- 4. QISKit, Awesome SDK for Quantum Programming in Python -- 5. Start Your Engines: From Quantum…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Advances in Computer Science - ASIAN 2009. Information Security and Privacy 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- A Logic for Formal Verification of Quantum Programs -- Reducing Equational Theories for the Decision…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… -- Q-SI: A Quantum Programming Environment -- The Demon, the Gambler, and the Engineer - Reconciling…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings /
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Functional and Logic Programming 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “…Invited Papers -- A Brief Survey of Quantum Programming Languages -- Analysis of Synchronous…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… of Toffoli and NCV Circuits for IBM QX Architectures -- Automatically Translating Quantum Programs from a…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers /
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Automatic Verification of Quantum Programs -- Place Bisimulation and Liveness for Open Petri Nets…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… by Quasi-finality -- Verifying Compiled File System Code -- Reasoning about General Quantum Programs over…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “…Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 18
    Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… and Complete Tree-Sequent Calculus for Inquisitive Logic -- The Arrow Calculus as a Quantum Programming…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    GeNeDis 2016 Geriatrics /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… Pulmonary Fibrosis.- IoT Contextual Factors on Health Care.- Methods and Patterns for User-friendly Quantum…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    Unconventional Computation 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Computable Manifolds and Homotopy Groups -- Distributed Quantum Programming -- Foundations of Optical…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email