1,000 results Refine Results
  1. 121
    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 /
  2. 122
    Published 1988
    Book
    Save to List
    Saved in:
    Conditional term rewriting systems, 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings /
  3. 123
    Published 1985
    Book
    Save to List
    Saved in:
    Logics of programs : Brooklyn, June 17-19, 1985 : proceedings /
  4. 124
    Published 1985
    Book
    Save to List
    Saved in:
    STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrucken, January 3-5, 1985 /
  5. 125
    Published 1984
    Book
    Save to List
    Saved in:
    Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India, Dec. 13-15, 1984, proceedings /
  6. 126
    Published 1988
    Conference Proceeding Book
    Save to List
    Saved in:
    Advances in cryptology : proceedings /
  7. 127
    Published 1988
    Book
    Save to List
    Saved in:
    Advances in database technology, EDBT '88 : International Conference on Extending Database Technology, Venice, Italy, March 14-18, 1988, proceedings /
  8. 128
    Published 1987
    Book
    Save to List
    Saved in:
    Graph-grammars and their application to computer science : 3rd international workshop, Warrenton, Virginia, USA, December 2-6, 1986 : proceedings /
  9. 129
    Published 1988
    Book
    Save to List
    Saved in:
    STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988, proceedings /
  10. 130
    Published 1988
    Book
    Save to List
    Saved in:
    Automata networks : LITP Spring School on theoretical computer science, Argelès-village, France, May 12-16, 1986 : proceedings /
  11. 131
    Published 1988
    Book
    Save to List
    Saved in:
    Coding theory and applications : 2nd international colloquium, Cachan-Paris, France, November 24-26, 1986 : proceedings /
  12. 132
    Published 1988
    Book
    Save to List
    Saved in:
    Experiences with distributed systems : international workshop, Kaiserslautern, FRG, September 28-30, 1987 : proceedings /
  13. 133
    Published 1988
    Conference Proceeding Book
    Save to List
    Saved in:
    Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 /
  14. 134
    Published 1984
    Conference Proceeding Book
    Save to List
    Saved in:
    Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 /
  15. 135
    Published 1975
    Conference Proceeding Book
    Save to List
    Saved in:
    Parallel processing.
  16. 136
    Published 1975
    Book
    Save to List
    Saved in:
    Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974.
  17. 137
    Published 1975
    Conference Proceeding Book
    Save to List
    Saved in:
    Software engineering : an advanced course. Edited by F.L. Bauer.
  18. 138
    Published 1975
    Conference Proceeding Book
    Save to List
    Saved in:
    Parallel processing : proceedings of the Sagamore Computer Conference, August 20-23, 1974
  19. 139
    Published 1975
    Conference Proceeding Book
    Save to List
    Saved in:
    Programming methodology.
  20. 140
    Published 1975
    Conference Proceeding Book
    Save to List
    Saved in:
    [i.e. Lambda]-calculus and computer science theory : proceedings... /

Search Tools: