Optimization of the MPQS-factoring algorithm on the Cyber 205 and on the NEC SX-2 Tech Report

W.M. Lioen (Walter), H.J.J. te Riele (Herman) and D.T. Winter (Dik)

A distributed debugger for Amoeba Tech Report

I.J.P. Elshoff

Introduction to logic programming (revised and extended version) Tech Report

K.R. Apt (Krzysztof)

Minimizing total completion time in the two-machine flow shop by Langrangian relaxation Tech Report

S.L. van de Velde

Modular specifications in process algebra : with curious queues Tech Report

R.J. van Glabbeek (Rob) and F.W. Vaandrager (Frits)

A numerical study of three moving grid methods for one-dimensional partial differential equations which are based on the method of lines Tech Report

R.M. Furzeland, J.G. Verwer (Jan) and P.A. Zegeling (Paul)

Mark Kac seminar on probability and physics : syllabus : [seminar held during the academic year 1985-1987 at Amsterdam] Book

Lie manual draft, describing Lie version 2.0 Book

M.A.A. van Leeuwen (Marc), A.M. Cohen (Arjeh) and B. Lisser (Bert)