LIBRARY Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29–31 March 1993 1993 · ENGLISH · PDF View details →
LIBRARY Functional Programming: Proceedings of the 1989 Glasgow Workshop 21–23 August 1989, Fraserburgh, Scotland 1990 · ENGLISH · PDF View details →
LIBRARY People and Computers XV—Interaction without Frontiers: Joint Proceedings of HCI 2001 and IHM 2001 2001 · ENGLISH · PDF View details →