Εμφανίζονται 341 - 360 Αποτελέσματα από 9.010 για την αναζήτηση '"Program"', χρόνος αναζήτησης: 0,08δλ Περιορισμός αποτελεσμάτων
  1. 341
    Proceedings of the 2013 International Workshop on Quality Assurance for Service-based Applications
    Έκδοση 2013
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  2. 342
    Proceedings of the 2008 international symposium on Software testing and analysis
    Έκδοση 2008
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  3. 343
    Proceedings of the Fourth ACM/IEEE International Conference on Formal Methods and Models for Co-Design
    Έκδοση 2006
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 344
    Proceedings of the 2014 International SPIN Symposium on Model Checking of Software
    Έκδοση 2014
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  5. 345
    Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering
    Έκδοση 2014
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  6. 346
    Proceedings of the 30th international conference on Software engineering
    Έκδοση 2008
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  7. 347
    Proceedings of the 2nd International Workshop on Software Development Lifecycle for Mobile
    Έκδοση 2014
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 348
    Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
    Έκδοση 2009
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  9. 349
    Proceedings of the First International Workshop on Software Test Output Validation
    Έκδοση 2010
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  10. 350
    Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
    Έκδοση 2007
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  11. 351
    Proceedings of the 6th Conference on Formal Methods in Software Engineering
    Έκδοση 2018
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  12. 352
    Proceedings of the 2008 Foundations of Software Engineering Doctoral Symposium
    Έκδοση 2008
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  13. 353
    Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
    Έκδοση 2004
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  14. 354
    Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
    Έκδοση 2007
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  15. 355
    Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
    Έκδοση 2005
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  16. 356
    Java : how to program /
    ανά Deitel, Paul J.
    Έκδοση 2007
    Θέματα: “…Java (Computer program language)…”
    Βιβλίο
  17. 357
    Java Management Extensions/
    ανά Perry, J. Steven (James Steven), 1967-
    Έκδοση 2002
    Θέματα: “…Java (Computer program language)…”
    Λήψη πλήρους κειμένου
    Βιβλίο
  18. 358
    TCP/IP sockets in java : practical guide for programmers /
    ανά Calvert, Kenneth L.
    Έκδοση 2008
    Θέματα: “…Internet programming…”
    Βιβλίο
  19. 359
    Concurrent and real -time programming in java /
    ανά Wellings, Andy
    Έκδοση 2004
    Θέματα: “…Java (Computer program language)…”
    Βιβλίο
  20. 360
    Artificial Intelligence : хAn иengineering approach.
    Έκδοση 1990
    Θέματα: “…Prolog (Computer program language)…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email