Εμφανίζονται 221 - 240 Αποτελέσματα από 9.010 για την αναζήτηση '"Program"', χρόνος αναζήτησης: 0,10δλ Περιορισμός αποτελεσμάτων
  1. 221
    Prolog : programming for students: with expert systems and artificial intelligence topics /
    ανά Callear, David
    Έκδοση 1994
    Θέματα: “…Prolog (Computer program language)…”
    Βιβλίο
  2. 222
    COBOL software modernization : from principles to implementation with the BLU AGE® method /
    ανά Barbier, Franck, Recoussine, Jean-Luc
    Έκδοση 2015
    Θέματα: “…COBOL (Computer program language)…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  3. 223
    Learning MySQL /
    ανά Tahaghoghi, Seyd M.M
    Έκδοση 2007
    Θέματα: “…PHP (Computer program language)…”
    Βιβλίο
  4. 224
    Learning PHP, MySQL, JavaScript, and CSS, 2E /
    ανά Nixon, Robin, 1961-
    Έκδοση 2012
    Θέματα: “…Javascript (Computer program language)…”
    Βιβλίο
  5. 225
    Developing Web applications with Visual Basic .NET and ASP.NET /
    ανά Alexander, John, 1945 September 2-
    Έκδοση 2002
    Θέματα: “…Visual Basic (Computer program language)…”
    Λήψη πλήρους κειμένου
    Ηλ. βιβλίο
  6. 226
    Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation
    Έκδοση 2011
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  7. 227
    Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation
    Έκδοση 2007
    Θέματα: “…Program reasoning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 228
    Proceedings of the 7th ACM SIGPLAN workshop on Types in language design and implementation
    Έκδοση 2011
    Θέματα: “…Parallel programming languages…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  9. 229
    Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
    Έκδοση 2007
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  10. 230
    Proceedings of the Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design
    Έκδοση 2007
    Θέματα: “…Program specifications…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 231
    Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
    Έκδοση 2007
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  12. 232
    Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
    Έκδοση 2005
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  13. 233
    Proceedings of the Ninth International Workshop on Dynamic Analysis
    Έκδοση 2012
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  14. 234
    Proceedings of the 2007 workshop on Programming languages and analysis for security
    Έκδοση 2007
    Θέματα: “…Program reasoning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  15. 235
    Proceedings of the 10th international workshop on Foundations of aspect-oriented languages
    Έκδοση 2011
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  16. 236
    Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 2010
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  17. 237
    Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice
    Έκδοση 2012
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  18. 238
    Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management
    Έκδοση 2017
    Θέματα: “…Program analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  19. 239
    Proceedings of the Second ACM/IEEE International Conference on Formal Methods and Models for Co-Design
    Έκδοση 2004
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 240
    Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 2000
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email