Showing 4,121 - 4,140 results of 5,062 for search '"programming languages"', query time: 0.11s Refine Results
  1. 4121
    Proceedings of the 9th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
    Published 2013
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 4122
    Proceedings of the 25th International Symposium on Software Testing and Analysis
    Published 2016
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 4123
    Proceedings of the 1994 ACM conference on LISP and functional programming
    Published 1994
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  4. 4124
    Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
    Published 2008
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  5. 4125
    Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
    Published 1999
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  6. 4126
    Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
    Published 1997
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  7. 4127
    Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing
    Published 2018
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  8. 4128
    2020_Book_FoundationsOfSoftwareScienceAn.pdf
    Published 2020
    “… and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness…”
    Get full text
  9. 4129
    Reflections on the Work of C.A.R. Hoare
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  10. 4130
    Theoretical Aspects of Computing - ICTAC 2019 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings /
    Published 2019
    Table of Contents: “… -- Privacy and Security -- Equations, Types, and Programming Languages. .…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 4131
    Compilation Techniques for Reconfigurable Architectures
    by Cardoso, João M.P, Diniz, Pedro C.
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
  12. 4132
    Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19-23, 2019, Proceedings /
    Published 2019
    Table of Contents: “…Programming Languages and Execution Environments -- Methods and Tools for Parallel Solution…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 4133
    Beginning Data Science with R
    by Pathak, Manas A.
    Published 2014
    Table of Contents: “…Introduction -- Overview of the R Programming Language -- Getting Data into R -- Data Visualization…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 4134
    Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
    Published 2007
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  15. 4135
    Proceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
    Published 2013
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  16. 4136
    Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
    Published 2019
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  17. 4137
    Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems
    Published 2013
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  18. 4138
    Proceedings of the Second Workshop on Graphical Modeling Language Development
    Published 2013
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  19. 4139
    Proceedings of the Workshop on AOP and Meta-Data for Software Evolution
    Published 2009
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  20. 4140
    Proceedings of the 21st international conference on Software engineering
    Published 1999
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
Search Tools: RSS Feed – Email Search