Εμφανίζονται 1 - 20 Αποτελέσματα από 440 για την αναζήτηση '"Semantics"', χρόνος αναζήτησης: 0,08δλ Περιορισμός αποτελεσμάτων
  1. 1
    Proceedings of the 12th workshop on Foundations of aspect-oriented languages
    Έκδοση 2013
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  2. 2
    Proceedings of the Workshop on Distributional Semantics and Compositionality
    Έκδοση 2011
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs
    Έκδοση 2012
    Θέματα: “…Semantics and reasoning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  4. 4
    Proceedings of the International Workshop on Formalization of Modeling Languages
    Έκδοση 2010
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  5. 5
    Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
    Έκδοση 2013
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  6. 6
    Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 1988
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  7. 7
    Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 2012
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 8
    Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
    Έκδοση 2009
    Θέματα: “…Semantics and reasoning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  9. 9
    Proceedings of the 14th symposium on Principles and practice of declarative programming
    Έκδοση 2012
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  10. 10
    Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 2013
    Θέματα: “…Semantics and reasoning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  11. 11
    Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 2008
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  12. 12
    Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 2004
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  13. 13
    Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
    Έκδοση 2014
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  14. 14
    Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation
    Έκδοση 2015
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  15. 15
    Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation
    Έκδοση 2013
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  16. 16
    Proceedings of the 7th workshop on Programming languages meets program verification
    Έκδοση 2013
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  17. 17
    Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
    Έκδοση 2008
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  18. 18
    Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
    Έκδοση 2011
    Θέματα: “…Semantics and reasoning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  19. 19
    The Handbook of Contemporary semantic theory /
    Έκδοση 2015
    Θέματα: “…Semantics Handbooks, manuals, etc.…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  20. 20
    Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
    Έκδοση 2007
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email