Εμφανίζονται 21 - 40 Αποτελέσματα από 1.807 για την αναζήτηση '"Computer logic."', χρόνος αναζήτησης: 0,09δλ Περιορισμός αποτελεσμάτων
  1. 21
    A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors /
    ανά Kurki-Suonio, Reino
    Έκδοση 2005
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 22
    Treatise on Intuitionistic Type Theory
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 23
    Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems /
    ανά Bowman, Howard, Gomez, Rodolfo
    Έκδοση 2006
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 24
    Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers /
    Έκδοση 2014
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 25
    Transactions on Petri Nets and Other Models of Concurrency VII
    Έκδοση 2013
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 26
    Cellular Automata and Groups
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 27
    Abstract Computing Machines A Lambda Calculus Perspective /
    ανά Kluge, W.
    Έκδοση 2005
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 28
    Semantics with Applications: An Appetizer
    ανά Nielson, Hanne Riis, Nielson, Flemming
    Έκδοση 2007
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 29
    Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001 /
    Έκδοση 2015
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 30
    Practical Analysis of Algorithms
    ανά Vrajitoru, Dana, Knight, William
    Έκδοση 2014
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 31
    Coordination Models and Languages 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings /
    Έκδοση 2014
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 32
    Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 33
    Reachability Problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings /
    Έκδοση 2015
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 34
    ESL Models and their Application Electronic System Level Design and Verification in Practice /
    ανά Bailey, Brian, Martin, Grant
    Έκδοση 2010
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 35
    Rigorous Software Development An Introduction to Program Verification /
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 36
    On Sets and Graphs Perspectives on Logic and Combinatorics /
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 37
    Handbooks of the Sociology of Racial and Ethnic Relations
    Έκδοση 2007
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 38
    The Correctness-by-Construction Approach to Programming
    ανά Kourie, Derrick G., Watson, Bruce W.
    Έκδοση 2012
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 39
    Descriptional Complexity of Formal Systems 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings /
    Έκδοση 2012
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 40
    Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /
    Έκδοση 2013
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email