Εμφανίζονται 1 - 10 Αποτελέσματα από 10 για την αναζήτηση '"programming language theory"', χρόνος αναζήτησης: 0,07δλ Περιορισμός αποτελεσμάτων
  1. 1
    Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
    ανά Stoy, Joseph E.
    Έκδοση 1977
    Βιβλίο
  2. 2
    Developmental semantics : the scott-strachey approach to programming language theory /
    ανά Stoy, Joseph E.
    Έκδοση 1977
    Βιβλίο
  3. 3
    Developmental semantics : the scott-strachey approach to programming language theory /
    ανά Stoy, Joseph E.
    Έκδοση 1981
    Βιβλίο
  4. 4
    Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “…Automata theory and formal languages -- Principles and semantics of programming languages…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Theory and Practice of Computation Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedings /
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics /
    ανά Draheim, Dirk
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings /
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Advances in Automatic Differentiation
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Language Theory to Make Automatic Differentiation Sound and Efficient -- A Polynomial-Time Algorithm…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings /
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    LATIN 2018: Theoretical Informatics 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings /
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email