$ACP_\tau$: a universal axiom system for process specification Tech Report

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

Stability results for $\theta$-methods applied to a class of stiff differential-algebraic equations Tech Report

W. Hundsdorfer (Willem)

Security without identification: card computers to make big brother obsolete Tech Report

D. Chaum (David)

Errata to: Atomic Shared Register Access by asynchronous Hardware Article

P.M.B. Vitányi (Paul) and B. Awerbuch (Baruch)

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

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

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