Specification and Verification of Concurrent Systems

Produktform: Buch / Einband - flex.(Paperback)

Advances in Databases and Information Systems

Proceedings of the Second International Workshop on Advances in Databases and Information Systems (ADBIS’95), Moscow, 27–30 June 1995

Produktform: Buch / Einband - flex.(Paperback)

AI and Cognitive Science ’92

University of Limerick, 10–11 September 1992

Produktform: Buch / Einband - flex.(Paperback)

Functional Programming

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

Produktform: Buch / Einband - flex.(Paperback)

Algebra of Communicating Processes

Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16–17 May 1994

Produktform: Buch / Einband - flex.(Paperback)

Functional Programming, Glasgow 1993

Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, 5–7 July 1993

Produktform: Buch / Einband - flex.(Paperback)

ALPUK92

Proceedings of the 4th UK Conference on Logic Programming, London, 30 March – 1 April 1992

Produktform: Buch / Einband - flex.(Paperback)

7th UK Computer and Telecommunications Performance Engineering Workshop

Edinburgh, 22–23 July 1991

Produktform: Buch / Einband - flex.(Paperback)

ALPUK91

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

Produktform: Buch / Einband - flex.(Paperback)

Incompleteness and Uncertainty in Information Systems

Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8–9 October 1993

Produktform: Buch / Einband - flex.(Paperback)