Showing 1,801 - 1,820 results of 5,319 for search '"compilers"', query time: 0.29s Refine Results
  1. 1801
    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I /
    Published 2016
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 1802
    Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings /
    Published 2016
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 1803
    Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers /
    Published 2016
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 1804
    Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings /
    Published 2016
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 1805
    Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings /
    Published 2016
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 1806
    Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings /
    Published 2016
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 1807
    Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papers /
    Published 2016
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 1808
    Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers /
    Published 2016
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 1809
    Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays /
    Published 2016
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 1810
    Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings /
    Published 2016
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 1811
    Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings /
    Published 2016
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 1812
    Harley Hahn's Emacs Field Guide
    by Hahn, Harley
    Published 2016
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 1813
    Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /
    Published 2016
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 1814
    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /
    Published 2016
    Table of Contents: “… Modeling and Design for Embedded Systems - a Personal View -- Interactive Model-Based Compilation Continued…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 1815
    Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings /
    Published 2015
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 1816
    Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings /
    Published 2015
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 1817
    Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings /
    Published 2015
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 1818
    Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
    Published 2015
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 1819
    Program Development in Computational Logic A Decade of Research Advances in Logic-Based Program Development /
    Published 2004
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 1820
    Generic Model Management Concepts and Algorithms /
    by Melnik, Sergey
    Published 2004
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search