67 results Refine Results
  1. 1
    Published 1983
    Book
    Save to List
    Saved in:
    RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings /
  2. 2
    Published 1983
    Conference Proceeding Book
    Save to List
    Saved in:
    Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings /
  3. 3
    Published 1988
    Book
    Save to List
    Saved in:
    VDM '88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988 : proceedings /
  4. 4
    Published 1985
    Book
    Save to List
    Saved in:
    Foundations of software technology and theoretical computer science : fifth conference, New Delhi, India, December 16-18, 1985 : proceedings /
  5. 5
    Published 1987
    Book
    Save to List
    Saved in:
    Foundations of software technology and theoretical computer science : seventh conference, Pune, India, December 17-19, 1987 : proceedings /
  6. 6
    Published 1988
    Book
    Save to List
    Saved in:
    Foundations of software technology and theoretical computer science : eighth conference, Pune, India, December 21-23, 1988 : proceedings /
  7. 7
    Published 1986
    Book
    Save to List
    Saved in:
    RIMS symposia on software science and engineering II : proceedings of the symposia 1983 and 1984, Kyoto, Japan /
  8. 8
    Published 1987
    Book
    Save to List
    Saved in:
    VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 proceedings /
  9. 9
    Published 1987
    Book
    Save to List
    Saved in:
    System development and Ada /
  10. 10
    Published 1986
    Book
    Save to List
    Saved in:
    Foundations of software technology and theoretical computer science : sixth conference, New Delhi, India, December 18-20, 1986 : proceedings /
  11. 11
    Published 1987
    Book
    Save to List
    Saved in:
    TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 /
  12. 12
    Published 1990
    Book
    Save to List
    Saved in:
    Foundations of software technology and theoretical computer science : tenth conference, Bangalore, India, December 17-19, 1990 : proceedings /
  13. 13
    Published 1992
    Book
    Save to List
    Saved in:
    Foundations of software technology and theoretical computer science : 12th conference, New Delhi, India, December 18-20, 1992 : proceedings /
  14. 14
    Published 1994
    Book
    Save to List
    Saved in:
    Foundations of software technology and theoretical computer science : 14th conference, Madras, India, December 15-17, 1994 : proceedings /
  15. 15
    Published 1994
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings /
  16. 16
    Published 1993
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer aided verification : 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings /
  17. 17
    Published 1993
    Book
    Save to List
    Saved in:
    Foundations of software technology and theoretical computer science : 13th conference, Bombay, India, December 15-17, 1993 : proceedings /
  18. 18
    Published 1993
    Conference Proceeding Book
    Save to List
    Saved in:
    Object technologies for advanced software : first JSSST international symposium, Kanazawa, Japan, November 4-6, 1993 : proceedings /
  19. 19
    Published 1989
    Book
    Save to List
    Saved in:
    Algebraic methods : theory, tools, and applications /
  20. 20
    Published 1991
    Conference Proceeding Book
    Save to List
    Saved in:
    TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 /

Search Tools: