Showing 241 - 260 results of 9,010 for search '"Program"', query time: 0.07s Refine Results
  1. 241
    Proceedings of the Sixth ACM/IEEE International Conference on Formal Methods and Models for Co-Design
    Published 2008
    Subjects: “…Program semantics…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 242
    Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
    Published 1987
    Subjects: “…Concurrent programming languages…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 243
    Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
    Published 2009
    Subjects: “…Program semantics…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  4. 244
    Proceedings of the second workshop on Automated formal methods
    Published 2007
    Subjects: “…Program verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  5. 245
    Proceedings of the 13th international conference on Modularity
    Published 2014
    Subjects: “…Program semantics…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  6. 246
    Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
    Published 1995
    Subjects: “…Program semantics…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  7. 247
    Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages
    Published 2018
    Subjects: “…Program analysis…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  8. 248
    Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
    Published 2017
    Subjects: “…Program analysis…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  9. 249
    Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
    Published 2003
    Subjects: “…Program verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  10. 250
    Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
    Published 2008
    Subjects: “…Program semantics…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  11. 251
    Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
    Published 2002
    Subjects: “…General programming languages…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  12. 252
    Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
    Published 2002
    Subjects: “…Program verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  13. 253
    Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
    Published 1999
    Subjects: “…Program verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  14. 254
    Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
    Published 2015
    Subjects: “…Program semantics…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  15. 255
    Ασκήσεις-προγράμματα σε C++ /
    by Deitel, Harvey M., 1945-
    Published 2005
    Subjects: “…C++ (Computer program language)…”
    Book
  16. 256
    Προγραμματίζοντας στη C /
    by Ammeraal, L. (Leendert)
    Published 1987
    Subjects: “…C (Computer program language)…”
    Book
  17. 257
    European Project Management Journal
    Published 2020
    Subjects: “…program…”
    Get full text
    journal
  18. 258
    C : βήμα-προς-βήμα /
    by Waite, Mitchell
    Published 2005
    Subjects: “…C (Computer program language)…”
    Book
  19. 259
    C για μηχανικούς /
    by Tan, H. H.
    Published 2000
    Subjects: “…C (Computer program language)…”
    Book
  20. 260
    Mastering Microsoft Visual Basic 2005 /
    by Petroutsos, Evangelos
    Published 2006
    Subjects: “…BASIC (Computer program language)…”
    Contributor biographical information
    Publisher description
    Book
Search Tools: RSS Feed – Email Search