Εμφανίζονται 21 - 40 Αποτελέσματα από 120 για την αναζήτηση '"lambda calculus"', χρόνος αναζήτησης: 0,14δλ Περιορισμός αποτελεσμάτων
  1. 21
    Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
    Έκδοση 2000
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  2. 22
    Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 1989
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  3. 23
    Proceedings of the seventh international conference on Functional programming languages and computer architecture
    Έκδοση 1995
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  4. 24
    Proceedings of the 1988 ACM conference on LISP and functional programming
    Έκδοση 1988
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  5. 25
    Proceedings of the 1975 ACM SIGMOD international conference on Management of data
    Έκδοση 1975
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 26
    Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 1989
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 27
    Proceedings of the 2nd Annual Industrial Control System Security Workshop
    Έκδοση 2016
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 28
    Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
    Έκδοση 2010
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  9. 29
    Proceedings of the 2007 workshop on Programming languages meets program verification
    Έκδοση 2007
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  10. 30
    Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
    Έκδοση 1984
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 31
    Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
    Έκδοση 2005
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  12. 32
    Proceedings of the 2018 ACM SIGPLAN Workshop on SPLASH-E
    Έκδοση 2018
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  13. 33
    Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice
    Έκδοση 2012
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  14. 34
    Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice
    Έκδοση 2013
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  15. 35
    Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
    Έκδοση 1987
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  16. 36
    Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
    Έκδοση 1989
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 37
    Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics /
    ανά Draheim, Dirk
    Έκδοση 2017
    Πίνακας περιεχομένων: “…Part I: The Probabilistic Lambda-Calculus and its Semantics -- Introduction -- Syntax…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 38
    Abstract Computing Machines A Lambda Calculus Perspective /
    ανά Kluge, W.
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 39
    Abstract Computing Machines A Lambda Calculus Perspective
    ανά Kluge, William S.
    Έκδοση 2005
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  20. 40
    Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus /
    Πίνακας περιεχομένων: “… Theory -- Wavelets -- Fractals -- Neural Networks -- Probability Theory -- Lambda Calculus.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email