Showing 1,541 - 1,560 results of 9,010 for search '"Program"', query time: 0.61s Refine Results
  1. 1541
    Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /
    Published 2009
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 1542
    Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /
    Published 2009
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 1543
    Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers /
    Published 2011
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 1544
    Specification of Software Systems
    by Alagar, V.S, Periyasamy, K.
    Published 2011
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 1545
    Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers /
    Published 2014
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 1546
    Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings /
    Published 2005
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 1547
    Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings /
    Published 2006
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 1548
    Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /
    Published 2005
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 1549
    Model-Based Testing of Reactive Systems Advanced Lectures /
    Published 2005
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 1550
    Model Checking Software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings /
    Published 2012
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 1551
    Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings /
    Published 2013
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 1552
    In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman /
    Published 2013
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 1553
    DRAWING PROGRAMS:‡The Theory and Practice of Schematic Functional Programming
    by Addis, Tom
    Published 2010
    Subjects: “…Programming Techniques 64613…”
    Get full text
    Electronic Kit Book
  14. 1554
    Introducing Materialize
    by Prabhu, Anirudh, Shenoy, Aravind
    Published 2016
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 1555
    Beginning SQL Queries From Novice to Professional /
    by Churcher, Clare
    Published 2016
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 1556
    Logic Based Program Synthesis and Transformation 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers /
    Published 2004
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 1557
    Practical Haskell A Real World Guide to Programming /
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 1558
    Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /
    Published 2007
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 1559
    Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings /
    Published 2009
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 1560
    Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings /
    Published 2017
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search