Showing 81 - 87 results of 87 for search '', query time: 0.14s Refine Results
  1. 81
    Static analysis : 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings /
    Published 2001
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  2. 82
    Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings /
    Published 2000
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  3. 83
    A systematic catalogue of reusable abstract data types /
    by Uhl, J. (Jürgen)
    Published 1990
    Connect to the full text of this electronic book
    eBook
  4. 84
    Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings /
    Published 2002
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  5. 85
    Software process automation : the technology and its adoption /
    by Christie, Alan M., 1942-
    Published 1995
    Connect to the full text of this electronic book
    eBook
  6. 86
    Principles and Practice of Constraint Programming CP98 : 4th International Conference, CP98 Pisa, Italy, October 2630, 1998 Proceedings /
    Published 1998
    Connect to the full text of this electronic book
    eBook
  7. 87
    Logic and programming /
    by Parent, Michel
    Published 1987
    Connect to the full text of this electronic book
    eBook
Search Tools: RSS Feed – Email Search