Showing 1,141 - 1,160 results of 9,010 for search '"Program"', query time: 0.07s Refine Results
  1. 1141
    Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings /
    Published 2009
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 1142
    Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings /
    Published 2011
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 1143
    Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings /
    Published 2012
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 1144
    Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings /
    Published 2013
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 1145
    Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers /
    Published 2013
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 1146
    Pro SQL Server on Microsoft Azure
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 1147
    Building Secure Defenses Against Code-Reuse Attacks
    by Davi, Lucas, Sadeghi, Ahmad-Reza
    Published 2015
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 1148
    Formal Approaches to Software Testing Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers /
    Published 2004
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 1149
    Radical Innovations of Software and Systems Engineering in the Future 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers /
    Published 2004
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 1150
    Fundamental Approaches to Software Engineering 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings /
    Published 2004
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 1151
    Model Checking Software 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings /
    Published 2004
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 1152
    Machine Learning with R
    by Ghatak, Abhijit
    Published 2017
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 1153
    Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings /
    Published 2007
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 1154
    Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings /
    Published 2005
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 1155
    Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings /
    Published 2006
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 1156
    Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings /
    Published 2006
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 1157
    Learning C# by Programming Games
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 1158
    Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings /
    Published 2006
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 1159
    Python Machine Learning Case Studies Five Case Studies for the Data Scientist /
    by Haroon, Danish
    Published 2017
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 1160
    Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings /
    Published 2005
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search