62 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
    Journal
    Save to List
    Saved in:
    [Papers] /
  3. 3
    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 /
  4. 4
    Published 1983
    Conference Proceeding Book
    Save to List
    Saved in:
    Trees in algebra and programming : 8th colloquium, L'Aquila, March 9-11, 1983 : proceedings /
  5. 5
    Journal
    Save to List
    Saved in:
    Abstracts with programs /
  6. 6
    Published 1976
    Book
    Save to List
    Saved in:
    Komplexitat von Entscheidungsproblemen : ein Seminar. [Hrsg. von] Ernst Specker [und] Volker Strassen.
  7. 7
    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 /
  8. 8
    Published 1988
    Conference Proceeding Book
    Save to List
    Saved in:
    Natural language at the computer : proceedings /
  9. 9
    Published 1988
    Book
    Save to List
    Saved in:
    VDM '88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988 : proceedings /
  10. 10
    Published 1985
    Book
    Save to List
    Saved in:
    Automata on infinite words : Ecole de printemps d'informatique theorique, Le Mont Dore, May 14-18 1984 /
  11. 11
    Published 1987
    Conference Proceeding Book
    Save to List
    Saved in:
    Visualization in programming : [selected contributions] /
  12. 12
    Published 1975
    Conference Proceeding Book
    Save to List
    Saved in:
    [i.e. Lambda]-calculus and computer science theory : proceedings... /
  13. 13
    Published 1953
    Serial
    Save to List
    Saved in:
    Report of the ... meeting /
  14. 14
    Published 1952
    Serial
    Save to List
    Saved in:
    Report of the ... meeting of the Australian and New Zealand Association for the Advancement of Science.
  15. 15
    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 /
  16. 16
    Published 1986
    Book
    Save to List
    Saved in:
    Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings /
  17. 17
    Published 1993
    Conference Proceeding Book
    Save to List
    Saved in:
    Deductive and object-oriented databases : third international conference, DOOD '93, Phoenix, Arizona, USA, December 6-8, 1993 : proceedings /
  18. 18
    Published 1993
    Conference Proceeding Book
    Save to List
    Saved in:
    Field-programmable gate arrays : architectures and tools for rapid prototyping : Second International Workshop on Field-Programmable Logic and Applications, Vienna, Austria, August 31-September 2, 1992 : selected papers /
  19. 19
    Published 1994
    Conference Proceeding Book
    Save to List
    Saved in:
    Applications of invariance in computer vision : second joint European-US workshop, Ponta Delgada, Azores, Portugal, October 9-14, 1993 : proceedings /
  20. 20
    Published 1994
    Conference Proceeding Book
    Save to List
    Saved in:
    Orders, algorithms, and applications : International Workshop ORDAL '94, Lyon, France, July 1994 : proceedings /

Search Tools: