Showing 901 - 920 results of 5,062 for search '"programming languages"', query time: 0.22s Refine Results
  1. 901
    New Directions in Logic, Language and Computation ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers /
    Published 2012
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 902
    Trends in Functional Programming 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers /
    Published 2012
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 903
    Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings /
    Published 2012
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 904
    Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
    Published 2012
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 905
    Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings /
    Published 2013
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 906
    Transactions on Pattern Languages of Programming III
    Published 2013
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 907
    Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /
    Published 2014
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 908
    Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
    Published 2014
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 909
    Formal Methods: State of the Art and New Directions
    Published 2010
    Table of Contents: “… -- Programming Language Description Languages.…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 910
    Temporal Logic and State Systems
    by Kröger, Fred, Merz, Stephan
    Published 2008
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 911
    Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings /
    Published 2015
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 912
    Software Architecture 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings /
    Published 2016
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 913
    Integrated Formal Methods 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings /
    Published 2004
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 914
    Optimized ASIP Synthesis from Architecture Description Language Models
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 915
    Virtual Machines
    by Craig, Iain D.
    Published 2006
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 916
    Functional Data Structures in R Advanced Statistical Programming in R /
    by Mailund, Thomas
    Published 2017
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 917
    Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers /
    Published 2007
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 918
    Software Architecture Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings /
    Published 2008
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 919
    Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014. Proceedings /
    Published 2014
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 920
    Aliasing in Object-Oriented Programming. Types, Analysis and Verification
    Published 2013
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search