Automatic numerical integration (3rd print.) Book

J.A. Zonneveld (Jaap)

Checking Landau's 'Grundlagen' in the Automath system Book

L.S. van Benthem Jutting

Transcendence in fields of positive characteristic Book

J.M. Geijsel

Finite generalized Markov programming Book

P.J. Weeda

Foundations of computer science II : [second advanced course on the foundations of computer science, organized by the Mathematical Centre and took place at the University of Amsterdam, 31.05-11.06.1976] : Part 2 Book

Proceedings bicentennial congress Wiskundig Genootschap; Part II Book

P.C. Baayen, D. van Dulst and J. Oosterhoff

Representations of locally compact groups with applications Book

T.H. Koornwinder

Optimization and approximation in deterministic sequencing and scheduling: A survey Article

R.L. Graham, E.L. Lawler, J.K. Lenstra (Jan Karel) and A.H.G. Rinnooy Kan