Centrum Wiskunde & Informatica

The ergonomics of computer interfaces : designing a system for human use Tech Report

L.G.L.T. Meertens (Lambert) and S. Pemberton (Steven)

January 1992
The Views applications environment Tech Report

S. Pemberton (Steven)

January 1992
The ABC structure editor : structure-based editing for the ABC programming environment Tech Report

L.G.L.T. Meertens (Lambert), S. Pemberton (Steven) and G. van Rossum (Guido)

January 1992
Graphics for ABC Tech Report

J. Zwaan and R. Zwart

January 1992
Second-order algebraic specification of static semantics Tech Report

J. Heering (Jan)

January 1992
Minifold: a kernel for a manifold-like coordination language Tech Report

E.P.B.M. Rutten

January 1992
Mathematical theory of thermodynamics of computation Tech Report

M. Li (Ming) and P.M.B. Vitányi (Paul)

January 1992
Tight comparison bounds for the string prefix-matching problem Tech Report

D. Breslauer (Dany), L. Colussi (Livio) and L. Toniolo (Laura)

January 1992

Previous

Next