Εμφανίζονται 201 - 220 Αποτελέσματα από 9.010 για την αναζήτηση '"Program"', χρόνος αναζήτησης: 0,06δλ Περιορισμός αποτελεσμάτων
  1. 201
    Proceedings of the 2013 international symposium on memory management
    Έκδοση 2013
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  2. 202
    Proceedings of the 2005 ACM workshop on Formal methods in security engineering
    Έκδοση 2005
    Θέματα: “…Program reasoning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  3. 203
    Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 1992
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  4. 204
    Proceedings of the 5th ACM workshop on Programming languages meets program verification
    Έκδοση 2011
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  5. 205
    Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation
    Έκδοση 2007
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  6. 206
    Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
    Έκδοση 2004
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  7. 207
    Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation
    Έκδοση 2010
    Θέματα: “…Parallel programming languages…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 208
    Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell
    Έκδοση 2015
    Θέματα: “…Program constructs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  9. 209
    Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
    Έκδοση 2005
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  10. 210
    Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
    Έκδοση 2017
    Θέματα: “…Program reasoning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  11. 211
    Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
    Έκδοση 2011
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  12. 212
    Proceedings of the 2nd International Workshop on Defects in Large Software Systems: Held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2009)
    Έκδοση 2009
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  13. 213
    Visual basic 6 complete /
    Έκδοση 1999
    Θέματα: “…BASIC (Computer program language)…”
    Βιβλίο
  14. 214
    Parallel programming in C with MPI and OpenMP /
    ανά Quinn, Michael J. (Michael Jay)
    Έκδοση 2004
    Θέματα: “…C (Computer program language)…”
    Βιβλίο
  15. 215
    Data structures and abstractions with java /
    ανά Carrano, Frank M.
    Έκδοση 2007
    Θέματα: “…Java (Computer program language)…”
    Βιβλίο
  16. 216
    Learning C++ /
    ανά Graham, Neill
    Έκδοση 1991
    Θέματα: “…C++ (Computer program language)…”
    Βιβλίο
  17. 217
    XSLT Programmer's reference /
    ανά Kay, Michael
    Έκδοση 2003
    Θέματα: “…Programming languages ( Electronic computers)…”
    Βιβλίο
  18. 218
    Πλήρες εγχειρίδιο της Turbo C /
    ανά Kelly-Bootle, Stan
    Έκδοση 1989
    Θέματα: “…C (Computer program language)…”
    Βιβλίο
  19. 219
    The Brady book of Turbo Pascal : a complete guide to building applications /
    ανά Edelhart, Mike
    Έκδοση 1988
    Θέματα: “…PASCAL (Computer program language)…”
    Βιβλίο
  20. 220
    Προγραμματισμός με BASIC : για προσωπικούς υπολογιστές και για μεγάλα συστήματα /
    ανά Gottfried, Byron S., 1934-
    Έκδοση 1989
    Θέματα: “…BASIC (Computer program language)…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email