Showing 2,521 - 2,540 results of 9,010 for search '"Program"', query time: 0.09s Refine Results
  1. 2521
    Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday /
    Published 2013
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2522
    Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /
    Published 2013
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 2523
    Declarative Agent Languages and Technologies VIII 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers /
    Published 2011
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 2524
    FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings /
    Published 2006
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 2525
    Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings /
    Published 2009
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 2526
    Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings /
    Published 2011
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 2527
    Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings /
    Published 2017
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 2528
    Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings /
    Published 2017
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 2529
    Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I /
    Published 2017
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 2530
    Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings /
    Published 2017
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 2531
    Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers /
    Published 2010
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 2532
    Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /
    Published 2010
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 2533
    Communications: Wireless in Developing Countries and Networks of the Future Third IFIP TC 6 International Conference, WCITD 2010 and IFIP TC 6 International Conference, NF 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /
    Published 2010
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 2534
    Database and XML Technologies 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings /
    Published 2010
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 2535
    Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings /
    Published 2014
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 2536
    Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers /
    Published 2014
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 2537
    Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers /
    Published 2014
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 2538
    Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005. Proceedings /
    Published 2005
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 2539
    Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007. Proceedings /
    Published 2007
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 2540
    Software Product Management and Pricing Key Success Factors for Software Organizations /
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search