Showing 1,281 - 1,300 results of 9,010 for search '"Program"', query time: 0.07s Refine Results
  1. 1281
    Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings /
    Published 2016
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 1282
    Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /
    Published 2016
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 1283
    Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
    Published 2015
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 1284
    Program Development in Computational Logic A Decade of Research Advances in Logic-Based Program Development /
    Published 2004
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 1285
    Objects, Agents, and Features International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers /
    Published 2004
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 1286
    Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings /
    Published 2017
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 1287
    Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday /
    Published 2017
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 1288
    Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
    Published 2014
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 1289
    Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings /
    Published 2013
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 1290
    Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers /
    Published 2006
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 1291
    Transactions on Pattern Languages of Programming II Special Issue on Applying Patterns /
    Published 2011
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 1292
    Programming Languages and Systems 20th European Symposium on Programming, ESOP 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
  13. 1293
    Reliable Software Technologies - Ada-Europe 2011 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings /
    Published 2011
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 1294
    Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings /
    Published 2011
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 1295
    Objects, Models, Components, Patterns 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings /
    Published 2011
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 1296
    Software Composition 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings /
    Published 2011
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 1297
    Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings /
    Published 2011
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 1298
    Systems, Software and Service Process Improvement 18th European Conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings /
    Published 2011
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 1299
    Software Engineering Techniques Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers /
    Published 2011
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 1300
    Agent-Oriented Software Engineering XI 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers /
    Published 2011
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search