Showing 1,161 - 1,180 results of 9,010 for search '"Program"', query time: 0.07s Refine Results
  1. 1161
    Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings /
    Published 2007
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 1162
    Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings /
    Published 2008
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 1163
    Software Verification and Analysis An Integrated, Hands-On Approach /
    by Stanley, William, Laski, Janusz
    Published 2009
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 1164
    Object-Oriented Analysis and Design
    Published 2011
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 1165
    Touch of Class Learning to Program Well with Objects and Contracts /
    by Meyer, Bertrand
    Published 2009
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 1166
    Abstract Computing Machines A Lambda Calculus Perspective /
    by Kluge, W.
    Published 2005
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 1167
    A Tiny Handbook of R
    by Allerhand, Mike
    Published 2011
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 1168
    Semantics with Applications: An Appetizer
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 1169
    Software for engineering control of landslide and tunnelling hazards /
    by Singh, Bhawani
    Published 2002
    Subjects: “…Engineering Computer programs…”
    Book
  10. 1170
    NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /
    Published 2015
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 1171
    Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings /
    Published 2016
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 1172
    NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings /
    Published 2016
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 1173
    Transactions on Foundations for Mastering Change I
    Published 2016
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 1174
    Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
    Published 2015
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 1175
    CONCUR 2004 - Concurrency Theory 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings /
    Published 2004
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 1176
    Extreme Programming and Agile Processes in Software Engineering 5th International Conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004. Proceedings /
    Published 2004
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 1177
    Extreme Programming and Agile Methods - XP/Agile Universe 2004 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004. Proceedings /
    Published 2004
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 1178
    Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014. Proceedings /
    Published 2014
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 1179
    Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings /
    Published 2008
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 1180
    Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings /
    Published 2013
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search