Εμφανίζονται 1 - 20 Αποτελέσματα από 1.907 για την αναζήτηση '"Logics and Meanings of Programs."', χρόνος αναζήτησης: 0,07δλ Περιορισμός αποτελεσμάτων
  1. 1
    Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings /
    Έκδοση 2016
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Krister Segerberg on Logic of Actions
    Έκδοση 2014
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Dag Prawitz on Proofs and Meaning
    Έκδοση 2015
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Introduction to the Theory of Programming Languages
    ανά Dowek, Gilles, Lévy, Jean-Jacques
    Έκδοση 2011
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Validation of Evolving Software
    Έκδοση 2015
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Transactions on Petri Nets and Other Models of Concurrency XI
    Έκδοση 2016
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Transactions on Petri Nets and Other Models of Concurrency X
    Έκδοση 2015
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Transactions on Petri Nets and Other Models of Concurrency VIII
    Έκδοση 2013
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /
    Έκδοση 2013
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Transactions on Petri Nets and Other Models of Concurrency IX
    Έκδοση 2014
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    The 2-tuple Linguistic Model Computing with Words in Decision Making /
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Understanding Concurrent Systems
    ανά Roscoe, A.W
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    Recent Trends in Algebraic Development Techniques 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers /
    Έκδοση 2019
    Θέματα: “…Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors /
    ανά Kurki-Suonio, Reino
    Έκδοση 2005
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Treatise on Intuitionistic Type Theory
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems /
    ανά Bowman, Howard, Gomez, Rodolfo
    Έκδοση 2006
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors
    ανά Kurki-Suonio, Reino
    Έκδοση 2005
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  18. 18
    Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems
    ανά Bowman, Howard
    Έκδοση 2006
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  19. 19
    Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers /
    Έκδοση 2014
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    Transactions on Petri Nets and Other Models of Concurrency VII
    Έκδοση 2013
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email