Εμφανίζονται 1.681 - 1.700 Αποτελέσματα από 5.062 για την αναζήτηση '"programming languages"', χρόνος αναζήτησης: 0,34δλ Περιορισμός αποτελεσμάτων
  1. 1681
    Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
    Έκδοση 1979
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1682
    Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
    Έκδοση 1978
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1683
    Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
    Έκδοση 1977
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1684
    Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 1982
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1685
    Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 1992
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  6. 1686
    Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 1999
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  7. 1687
    Proceedings of the 5th ACM workshop on Programming languages meets program verification
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 1688
    Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  9. 1689
    Proceedings of the ninth international conference on Architectural support for programming languages and operating systems
    Έκδοση 2000
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  10. 1690
    Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  11. 1691
    Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 1991
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  12. 1692
    Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings /
    Έκδοση 2015
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1693
    Reliable Software Technologies – Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings /
    Έκδοση 2015
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1694
    Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /
    Έκδοση 2015
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1695
    Reliable Software Technologies – Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “…Why the Expressive Power of Programming Languages such as Ada Is Needed for Future Cyber Physical…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1696
    Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings /
    Έκδοση 2016
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1697
    Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings /
    Έκδοση 2016
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1698
    SDL 2015: Model-Driven Engineering for Smart Cities 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings /
    Έκδοση 2015
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1699
    Coordination Models and Languages 6th International Conference, COORDINATION 2004 Pisa Italy, February 24-27, 2004 Proceedings /
    Έκδοση 2004
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1700
    Component Deployment Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004. Proceedings /
    Έκδοση 2004
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email