Publication

Programmacorrectheid en het college Inleiding informatica Book Chapter

R.P. van de Riet (Reind)

Applications of computability theory over abstract data types Book Chapter

J.V. Tucker (John)

1964 - MC - J.W. de Bakker - CWI - 1989 Book Chapter

L. Vasmel-Kaarsemaker

Over $\Phi$'s en $\Psi$'s Book Chapter

J.C. van Vliet (Hans)

Scientific programme 1989 : long-range plan 1990-1994. part 1 Book

Optimization of polling systems Tech Report

O.J. Boxma (Onno), H. Levy and J.A. Weststrate

Evaluating the Usability of the Glasgow Online Hypertext Article

L. Hardman (Lynda)

Wiskunde 2 : integraalrekening en differentiaalvergelijkingen / Dl. 3 Blok 3, Numerieke wiskunde : cursus Open Universiteit Book

P. H. M. Drijvers, P.J. van der Houwen (Piet), J. S. Lodder, P. J. I. M. de Paepe, B.P. Sommeijer (Ben) and P.M. de Zeeuw (Paul)