ALPUK91

Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10–12 April 1991

Produktform: E-Buch Text Elektronisches Buch in proprietärem

4th Refinement Workshop

Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9–11 January 1991, Cambridge

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Interfaces to Database Systems (IDS94)

Proceedings of the Second International Workshop on Interfaces to Database Systems, Lancaster University, 13–15 July 1994

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Object Orientation in Z

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Functional Programming

Proceedings of the 1989 Glasgow Workshop 21–23 August 1989, Fraserburgh, Scotland

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Z User Workshop

Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Hypermedia Design

Proceedings of the International Workshop on Hypermedia Design (IWHD’95), Montpellier, France, 1–2 June 1995

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Recent Advances in Temporal Databases

Proceedings of the International Workshop on Temporal Databases, Zurich, Switzerland, 17–18 September 1995

Produktform: E-Buch Text Elektronisches Buch in proprietärem

AI and Cognitive Science ’89

Dublin City University 14–15 September 1989

Produktform: E-Buch Text Elektronisches Buch in proprietärem

AI and Cognitive Science ’90

University of Ulster at Jordanstown 20–21 September 1990

Produktform: E-Buch Text Elektronisches Buch in proprietärem