Publication

L.E.J. Brouwer: over de grondslagen der wiskunde Book

L.E.J. Brouwer

Foundations of computer science III part 2: languages, logic, semantics Book

J.W. de Bakker (Jaco) and J. van Leeuwen (Jan)

Stochastic dynamic programming : successive approximations and nearly optimal strategies for Markov decision processes and Markov games Book

J. van der Wal

Colloquium databankorganisatie Book

P.M.G. Apers (Peter)

NUMAL : numerical procedures in ALGOL 60 : general information and indices Book

P.W. Hemker (Piet)

Statistical performance of location estimators Book

C.A.J. Klaassen (Chris)

Proceedings international conference on ALGOL 68 : Rechenzentrum der Ruhr-Universität Bochum, BRD, 30-31.03.1981 Book

J.C. van Vliet (Hans) and H. Wupper

Formal methods in the study of language : [proceedings of the 3rd Amsterdam colloquium, 25-28.03.1980], part 1 Book