Εμφανίζονται 81 - 100 Αποτελέσματα από 1.907 για την αναζήτηση '"Logics and Meanings of Programs."', χρόνος αναζήτησης: 0,08δλ Περιορισμός αποτελεσμάτων
  1. 81
    Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers /
    Έκδοση 2014
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 82
    Drawing Programs: The Theory and Practice of Schematic Functional Programming
    ανά Addis, Tom, Addis, Jan
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 83
    Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /
    Έκδοση 2006
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 84
    DRAWING PROGRAMS:‡The Theory and Practice of Schematic Functional Programming
    ανά Addis, Tom
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  5. 85
    Towards Paraconsistent Engineering
    Έκδοση 2016
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 86
    Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers /
    Έκδοση 2013
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 87
    Provably Correct Systems
    Έκδοση 2017
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 88
    Applied Logic for Computer Scientists Computational Deduction and Formal Proofs /
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 89
    A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components /
    ανά Caromel, Denis, Henrio, Ludovic
    Έκδοση 2005
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 90
    ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings /
    Έκδοση 2005
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 91
    Logics of Specification Languages
    Έκδοση 2008
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 92
    Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /
    Έκδοση 2015
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 93
    Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings /
    Έκδοση 2015
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 94
    ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings /
    Έκδοση 2014
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 95
    Formal Languages and Compilation
    ανά Crespi Reghizzi, Stefano
    Έκδοση 2009
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 96
    Descriptional Complexity of Formal Systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings /
    Έκδοση 2011
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 97
    Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 98
    Formal Methods in Macro-Biology First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings /
    Έκδοση 2014
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 99
    Concrete Semantics With Isabelle/HOL /
    ανά Nipkow, Tobias, Klein, Gerwin
    Έκδοση 2014
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 100
    Inconsistency Tolerance
    Έκδοση 2005
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email