Centrum Wiskunde & Informatica

Validating year 2000 compliance Tech Report

A. van Deursen (Arie), P. Klint (Paul) and M.P.A. Sellink

January 1997
Program plan recognition for year 2000 tools Tech Report

A. van Deursen (Arie), S. Woods and A. Quilici

January 1997
Weighted colimits and formal balls in generalized metric spaces Tech Report

J.J.M.M. Rutten (Jan)

January 1997
Nonconvex continuous models for combinatorial optimization problems with application to satisfiability and node packing problems Tech Report

J.P. Warners (Joost)

January 1997
A complete equational axiomatization for MPA with string iteration Tech Report

L. Aceto (Luca) and J.F. Groote (Jan Friso)

January 1997
A two-level approach to automated conformance testing of VHDL designs Tech Report

J.R. Moonen, J.M.T. Romijn (Judi), O. Sies (Olaf), J.G. Springintveld, L.M.G. Feijs (Loe) and R.L.C. Koymans

January 1997
How fast the Laplace equation was solved in 1995 Article

Applied Numerical Mathematics, 24(4), 439-455.

E.F.F. Botta, K. Dekker, Y. Notay, A. van der Ploeg (Auke), C. Vuik, F.W. Wubs (Fred) and P.M. de Zeeuw (Paul)

January 1997
Programming paradigms in an object-oriented multi-media standard Tech Report

D.J. Duke and I. Herman (Ivan)

January 1997

Previous

Next