1,000 results Refine Results
  1. 1
    Published 1981
    Conference Proceeding Book
    Save to List
    Saved in:
    Trees in algebra and programming : 6th colloquium, Genoa, March 5-7, 1981 : proceedings /
  2. 2
    Published 1981
    Conference Proceeding Book
    Save to List
    Saved in:
    Automata, languages, and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981 /
  3. 3
    Published 1981
    Conference Proceeding Book
    Save to List
    Saved in:
    CONPAR 81 : Conference on Analysing Problem Classes and Programming for Parallel Computing, Nurnberg, June 10-12, 1981 : proceedings /
  4. 4
    Published 1984
    Conference Proceeding Book
    Save to List
    Saved in:
    Methods and tools for computer integrated manufacturing /
  5. 5
    Published 1982
    Conference Proceeding Book
    Save to List
    Saved in:
    Operating systems engineering : proceedings of the 14th IBM Computer Science Symposium, Amagi, Japan, October 1980 /
  6. 6
    Published 1982
    Conference Proceeding Book
    Save to List
    Saved in:
    Problems and methodologies in mathematical software production : international seminar held at Sorrento, Italy, November 3-8, 1980 /
  7. 7
    Published 1980
    Conference Proceeding Book
    Save to List
    Saved in:
    5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 /
  8. 8
    Published 1979
    Book
    Save to List
    Saved in:
    Formale Modelle fur Informationssysteme : GI-Fachtagung, 24.-26. Mai 1979, Tutzing /
  9. 9
    Published 1980
    Conference Proceeding Book
    Save to List
    Saved in:
    Automata, languages and programming : seventh Colloquium Noordwijkerhout, the Netherlands, July 14-18, 1980 /
  10. 10
    Published 1982
    Conference Proceeding Book
    Save to List
    Saved in:
    Logics of Programs Workshop, Yorktown Heights, New York, May 1981 /
  11. 11
    Published 1983
    Conference Proceeding Book
    Save to List
    Saved in:
    Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 /
  12. 12
    Published 1984
    Conference Proceeding Book
    Save to List
    Saved in:
    Ada software tools interfaces workshop, Bath, July 13-15, 1983 : proceedings /
  13. 13
    Published 1984
    Conference Proceeding Book
    Save to List
    Saved in:
    Readings on cognitive ergonomics--mind and computers : proceedings of the 2nd European conference, Gmunden, Austria, September 10-14, 1984 /
  14. 14
    Published 1983
    Conference Proceeding Book
    Save to List
    Saved in:
    Trees in algebra and programming : 8th colloquium, L'Aquila, March 9-11, 1983 : proceedings /
  15. 15
    Published 1983
    Book
    Save to List
    Saved in:
    RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings /
  16. 16
    Published 1984
    Conference Proceeding Book
    Save to List
    Saved in:
    Mathematical foundations of computer science 1984 : proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984 /
  17. 17
    Published 1984
    Conference Proceeding Book
    Save to List
    Saved in:
    7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings /
  18. 18
    Published 1984
    Conference Proceeding Book
    Save to List
    Saved in:
    Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings /
  19. 19
    Published 1984
    Conference Proceeding Book
    Save to List
    Saved in:
    Automata, languages, and programming : 11th colloquium, Antwerp, Belgium, July 16-20, 1984 /
  20. 20
    Published 1979
    Conference Proceeding Book
    Save to List
    Saved in:
    Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23-26, 1978 /

Search Tools: