Publication

A numerical study of stiff two-point boundary problems Book

P.W. Hemker (Piet)

The translation of the elements of Euclid from the Arabic into Latin by Hermann of Carinthia(?) Book

H.L.L. Busard

Supercompactness and Wallman spaces Book

J. van Mill (Jan)

Markov decision theory : proceedings of the advanced seminar, held at Amsterdam, the Netherlands, 13-17.09.1976 Book

Colloquium onderwerpen uit de biomathematica, vol. 2 Book

J.W. de Roever

Colloquium numerieke programmatuur 2 Book

H.J.J. te Riele (Herman)

Checking Landau's 'Grundlagen' in the AUTOMATH system Dissertation

L.S. van Benthem Jutting

A digiset simulator Tech Report

P.J.W. ten Hagen (Paul) and H. Noot (Han)