Εμφανίζονται 301 - 320 Αποτελέσματα από 9.010 για την αναζήτηση '"Program"', χρόνος αναζήτησης: 0,05δλ Περιορισμός αποτελεσμάτων
  1. 301
    Proceedings of the Third International Workshop on Predictor Models in Software Engineering
    Έκδοση 2007
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 302
    Proceedings of the 2007 international symposium on Software testing and analysis
    Έκδοση 2007
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  3. 303
    Proceedings of the 2015 International Symposium on Software Testing and Analysis
    Έκδοση 2015
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  4. 304
    Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security
    Έκδοση 2008
    Θέματα: “…Program analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  5. 305
    Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
    Έκδοση 2015
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  6. 306
    Proceedings of the 2011 International Symposium on Software Testing and Analysis
    Έκδοση 2011
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  7. 307
    Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
    Έκδοση 2004
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 308
    Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
    Έκδοση 2000
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  9. 309
    Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages
    Έκδοση 2017
    Θέματα: “…Constraint and logic programming…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  10. 310
    Proceedings of the 6th International Workshop on Automation of Software Test
    Έκδοση 2011
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  11. 311
    Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign
    Έκδοση 2012
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 312
    Data structures & problem solving using java /
    ανά Weiss, Mark Allen
    Έκδοση 2006
    Θέματα: “…JAVA ( COMPUTER PROGRAM LANGUAGE )…”
    Βιβλίο
  13. 313
    Eclipse : building commercial-quality plug-ins: Clayberg, Eric , Rubel, Dan.
    ανά Clayberg, Eric
    Έκδοση 2006
    Θέματα: “…JAVA ( COMPUTER PROGRAM LANGUAGE )…”
    Βιβλίο
  14. 314
    Data structures and algorithms in java /
    ανά Goodrich, Michaael T.
    Έκδοση 2004
    Θέματα: “…Java (Computer program language)…”
    Βιβλίο
  15. 315
    An object-oriented matrix programming language : Ox 3.0 /
    ανά Doornik, Jurgen A.
    Έκδοση 2001
    Θέματα: “…Ox (Computer program language)…”
    Βιβλίο
  16. 316
    Εισαγωγή στον προγραμματισμό της γλώσσας BASIC /
    ανά Shelly, Gary B.
    Έκδοση 1988
    Θέματα: “…BASIC (Computer program language)…”
    Βιβλίο
  17. 317
    Borland C++ προγραμματισμός για Windows /
    ανά Holzner, Steven
    Έκδοση 1994
    Θέματα: “…C++ (Computer program language)…”
    Βιβλίο
  18. 318
    Java with Visual J /
    Έκδοση 2000
    Θέματα: “…Java (Computer program language)…”
    Βιβλίο
  19. 319
    Oracle SQL by example /
    ανά Rischert, Alice
    Έκδοση 2004
    Θέματα: “…SQL (Computer program language)…”
    Βιβλίο
  20. 320
    Professional search engine optimization with PHP : A developer's guide to SEO /
    ανά Sirovich, Jaimie
    Έκδοση 2007
    Θέματα: “…PHP ( computer program language)…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email