Centrum Wiskunde & Informatica

PSF : a process specification formalism Dissertation

S. Mauw (Sjouke)

December 1991
Robust iterative solvers for sparse linear systems In Proceedings

P.M. de Zeeuw (Paul)

January 1992
A brief survey of zero-knowledge proofs Tech Report

H. Shin

January 1992
Semantics of Manifold: specification in ASF+SDF and extension Tech Report

E.P.B.M. Rutten and S. Thiébaux

January 1992
Maintaining presentation invariants in the Views systems Tech Report

J. Ganzevoort

January 1992
Modelling interaction tools in the Views architecture Tech Report

E.D.G. Boeve (Eddy)

January 1992
Multimedia Onderzoek: Drie Open Vragen Article

Informatie en Informatiebeleid, 12(4)

D.C.A. Bulterman (Dick)

January 1992
Synchronization of Multi-Sourced Multimedia Data for Heterogeneous Target Systems In Proceedings

D.C.A. Bulterman (Dick)

January 1992

Previous

Next