Showing 2,061 - 2,080 results of 5,062 for search '"programming languages"', query time: 0.35s Refine Results
  1. 2061
    Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings /
    Published 2014
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2062
    Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings /
    Published 2014
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 2063
    Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings /
    Published 2014
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 2064
    Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers /
    Published 2014
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 2065
    Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures /
    Published 2010
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 2066
    Practical Aspects of Declarative Languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings /
    Published 2011
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 2067
    The NCL Natural Constraint Language
    by Zhou, Jianyang
    Published 2012
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 2068
    Implementation and Application of Functional Languages 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers /
    Published 2011
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 2069
    Model Driven Engineering Languages and Systems 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings /
    Published 2011
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 2070
    Formal Methods and Software Engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings /
    Published 2011
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 2071
    Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings /
    Published 2011
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 2072
    Formal Modeling: Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /
    Published 2011
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 2073
    Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers /
    Published 2012
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 2074
    Theory of Security and Applications Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers /
    Published 2012
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 2075
    Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings /
    Published 2012
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 2076
    Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings /
    Published 2012
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 2077
    Algebraic and Numeric Biology 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers /
    Published 2012
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 2078
    Compiler Construction 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings /
    Published 2012
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 2079
    Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings /
    Published 2012
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 2080
    Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings /
    Published 2012
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search