Showing 1,861 - 1,880 results of 9,010 for search '"Program"', query time: 0.44s Refine Results
  1. 1861
    Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers /
    Published 2015
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 1862
    An Introduction to Statistics with Python With Applications in the Life Sciences /
    by Haslwanter, Thomas
    Published 2016
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 1863
    Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
    Published 2015
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 1864
    Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /
    Published 2015
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 1865
    Methodologies and Software Engineering for Agent Systems The Agent-Oriented Software Engineering Handbook /
    Published 2004
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 1866
    Models of Computation An Introduction to Computability Theory /
    by Fernández, Maribel
    Published 2009
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 1867
    Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /
    Published 2006
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 1868
    Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers /
    Published 2005
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 1869
    CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings /
    Published 2008
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 1870
    Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities /
    Published 2008
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 1871
    Harley Hahn's Emacs Field Guide
    by Hahn, Harley
    Published 2016
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 1872
    Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings /
    Published 2015
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 1873
    Object-Oriented Technology. ECOOP 2003 Workshop Reader ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003. Final Reports /
    Published 2004
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 1874
    Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /
    Published 2008
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 1875
    Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings /
    Published 2007
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 1876
    Learning Classifier Systems 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006 and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers /
    Published 2008
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 1877
    Coordination Models and Languages 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings /
    Published 2006
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 1878
    Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II /
    Published 2011
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 1879
    Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I /
    Published 2011
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 1880
    Compiler Construction 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings /
    Published 2011
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search