Publication

Twelfth conference on the mathematics of operations research and systems theory : Lunteren, 14-16.01.1987 : program and abstracts Booklet

Rouwkaart A. van Wijngaarden Other

Uitnodiging tot het bijwonen van de opening van de tentoonstelling 'Rekenen met Raderen' in het Teylers Museum op 11 februari 1987 Other

Rekenen met raderen : de prehistorie van de computer : Teylers Museum, 11.02-03.05.1987 Booklet

Bounded nondeterminism and the approximation induction principle in process algebra (extended abstract) In Proceedings

R.J. van Glabbeek (Rob)

Concurrency Tech Report

J.W. de Bakker (Jaco)

Teaching computer science in Nicaragua Tech Report

M. Sint and A.H. Veen (Arthur)

Mathematical morphology: an algebraic approach Tech Report

H.J.A.M. Heijmans (Henk)