Showing 721 - 740 results of 3,410 for search '"programming languages"', query time: 0.30s Refine Results
  1. 721
    Model Checking Software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings /
    Published 2011
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 722
    Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers /
    Published 2017
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 723
    Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /
    Published 2017
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 724
    Coordination, Organizations, Institutions, and Norms in Agent Systems XII COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers /
    Published 2017
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 725
    Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings /
    Published 2017
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 726
    Fundamental Problems in Computing Essays in Honor of Professor Daniel J. Rosenkrantz /
    Published 2009
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 727
    Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /
    Published 2014
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 728
    Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings /
    Published 2014
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 729
    Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings /
    Published 2014
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 730
    UML Modeling Languages and Applications < <UML> > 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers /
    Published 2005
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 731
    Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings /
    Published 2005
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 732
    Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings /
    Published 2005
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 733
    Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings /
    Published 2007
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 734
    Introduction to Assembly Language Programming For Pentium and RISC Processors /
    by Dandamudi, Sivarama P.
    Published 2005
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 735
    Reactive Programming with Angular and ngrx Learn to Harness the Power of Reactive Programming with RxJS and ngrx Extensions /
    by Farhi, Oren
    Published 2017
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 736
    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
  17. 737
    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
  18. 738
    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
  19. 739
    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
  20. 740
    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
Search Tools: RSS Feed – Email Search