Suggested Topics within your search.
Showing 81 - 100 results of 151 for search '', query time: 0.07s Refine Results
  1. 81
    Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings /

    Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings /

    Published 1995
    Conference Proceeding Book
  2. 82
    ZUM '95... the Z formal specification notation : Proceedings /

    ZUM '95... the Z formal specification notation : Proceedings /

    Published 1995
    Conference Proceeding Book
  3. 83
    Software engineering - ESEC '95 : 5th European Software Engineering Conference, Sitges, Spain, September 25-28, 1995 : proceedings /

    Software engineering - ESEC '95 : 5th European Software Engineering Conference, Sitges, Spain, September 25-28, 1995 : proceedings /

    Published 1995
    Conference Proceeding Book
  4. 84
    Static analysis : second international symposium, SAS '95, Glasgow, UK, September 1995 : proceedings /

    Static analysis : second international symposium, SAS '95, Glasgow, UK, September 1995 : proceedings /

    Published 1995
    Conference Proceeding Book
  5. 85
    Mathematical foundations of computer science 1995 : 20th international symposium, MFCS'95 Prague, Czech Republic, August 28/September 1,1995 Proceeding /

    Mathematical foundations of computer science 1995 : 20th international symposium, MFCS'95 Prague, Czech Republic, August 28/September 1,1995 Proceeding /

    Published 1995
    Book
  6. 86
    Hybrid systems II /

    Hybrid systems II /

    Published 1995
    Book
  7. 87
    Fundamentals of software engineering /

    Fundamentals of software engineering / by Ghezzi, Carlo, 1946-

    Published 1991
    Book
  8. 88
    The mythical man-month : essays on software engineering /

    The mythical man-month : essays on software engineering / by Brooks, Frederick Phillips, Jr., 1931-

    Published 1995
    Book
  9. 89
    Euro-Par '96 parallel processing : second International Euro-Par Conference, Lyon, France, August 26-29, 1996 : proceedings /

    Euro-Par '96 parallel processing : second International Euro-Par Conference, Lyon, France, August 26-29, 1996 : proceedings /

    Published 1996
    Conference Proceeding Book
  10. 90
    Foundations of software measurement /

    Foundations of software measurement / by Shepperd, Martin, 1959-

    Published 1995
    Book
  11. 91
    Software development with Z : a practical approach to formal methods of software engineering /

    Software development with Z : a practical approach to formal methods of software engineering / by Wordsworth, J. B.

    Published 1992
    Book
  12. 92
    Software engineering with B /

    Software engineering with B / by Wordsworth, J. B.

    Published 1996
    Book
  13. 93
    Object-oriented software engineering : a use case driven approach /

    Object-oriented software engineering : a use case driven approach / by Jacobson, Ivar, 1939-

    Published 1998
    Book
  14. 94
    Object-oriented software construction /

    Object-oriented software construction / by Meyer, Bertrand, 1950-

    Published 1997
    Book
  15. 95
    Mobile agents : first international workshop... /

    Mobile agents : first international workshop... /

    Published 1997
    Conference Proceeding Book
  16. 96
    Understanding Z : a specification language and its formal semantics /

    Understanding Z : a specification language and its formal semantics / by Spivey, J. Michael

    Published 1992
    Book
  17. 97
    Specification of abstract data types /

    Specification of abstract data types / by Loeckx, Jacques, 1931-

    Published 1996
    Book
  18. 98
    Software configuration management : ICSE SCM-4 and SCM-5 workshops : Selected papers /

    Software configuration management : ICSE SCM-4 and SCM-5 workshops : Selected papers /

    Published 1995
    Conference Proceeding Book
  19. 99
    Mathematics of program construction : third international conference, MPC ’95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings /

    Mathematics of program construction : third international conference, MPC ’95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings /

    Published 1995
    Conference Proceeding Book
  20. 100
    Distributed software agents and applications /

    Distributed software agents and applications /

    Published 1996
    Conference Proceeding Book

Search Tools: