Centrum Wiskunde & Informatica

Polyhedral combinatorics Tech Report

A. Schrijver (Lex)

January 1987
Locality, communication and interconnect length in multicomputers Tech Report

P.M.B. Vitányi (Paul)

January 1987
A Prohorov bound for a Poisson process and a Bernoulli process Tech Report

E. Valkeila

January 1987
ASF: an algebraic specification formalism Tech Report

J.A. Bergstra (Jan), J. Heering (Jan) and P. Klint (Paul)

January 1987
Introduction to dialogue cells Tech Report

R. van Liere (Robert) and P.J.W. ten Hagen (Paul)

January 1987
INFORM: an interactive syntax-directed formulae-editor Tech Report

S. van Egmond, F.C. Heeman and J.C. van Vliet (Hans)

January 1987
Another look at abstraction in process algebra Tech Report

J.C.M. Baeten (Jos) and R.J. van Glabbeek (Rob)

January 1987
Macintosh gebruikers handleiding Book

F. Kuiper (Frank)

January 1987

Previous

Next