Εμφανίζονται 4.121 - 4.140 Αποτελέσματα από 5.062 για την αναζήτηση '"Programming languages"', χρόνος αναζήτησης: 0,33δλ Περιορισμός αποτελεσμάτων
  1. 4121
    Proceedings of the 9th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  2. 4122
    Proceedings of the 25th International Symposium on Software Testing and Analysis
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  3. 4123
    Proceedings of the 1994 ACM conference on LISP and functional programming
    Έκδοση 1994
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  4. 4124
    Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  5. 4125
    Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
    Έκδοση 1999
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  6. 4126
    Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
    Έκδοση 1997
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  7. 4127
    Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 4128
    2020_Book_FoundationsOfSoftwareScienceAn.pdf
    Έκδοση 2020
    “… and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness…”
    Λήψη πλήρους κειμένου
  9. 4129
    Reflections on the Work of C.A.R. Hoare
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 4130
    Theoretical Aspects of Computing - ICTAC 2019 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… -- Privacy and Security -- Equations, Types, and Programming Languages. .…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 4131
    Compilation Techniques for Reconfigurable Architectures
    ανά Cardoso, João M.P, Diniz, Pedro C.
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 4132
    Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19-23, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “…Programming Languages and Execution Environments -- Methods and Tools for Parallel Solution…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 4133
    Beginning Data Science with R
    ανά Pathak, Manas A.
    Έκδοση 2014
    Πίνακας περιεχομένων: “…Introduction -- Overview of the R Programming Language -- Getting Data into R -- Data Visualization…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 4134
    Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
    Έκδοση 2007
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  15. 4135
    Proceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  16. 4136
    Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  17. 4137
    Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  18. 4138
    Proceedings of the Second Workshop on Graphical Modeling Language Development
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  19. 4139
    Proceedings of the Workshop on AOP and Meta-Data for Software Evolution
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  20. 4140
    Proceedings of the 21st international conference on Software engineering
    Έκδοση 1999
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email