Centrum Wiskunde & Informatica

Introductory paper Special section on formal methods for industrial critical systems Article

International Journal on Software Tools for Technology Transfer, 7(3), 195-196.

T. Arts and J.C. van de Pol (Jaco)

January 2005
ABC Programmer's Handbook Book

L.J.M. Geurts (Leo), L.G.L.T. Meertens (Lambert) and S. Pemberton (Steven)

January 2005
Making RDF Presentable. Integrated Global and Local Semantic Web Browsing In Proceedings

L. Rutledge (Lloyd), J.R. van Ossenbruggen (Jacco) and L. Hardman (Lynda)

January 2005
Recommending Topics from Rated Objects In Proceedings

L. Rutledge (Lloyd) and not CWI et al

January 2005
Interacting with Molecular Structures: User Performance versus System Complexity In Proceedings

R. van Liere (Robert), A.J.F. Kok (Arjan), J.-B. Martens and M. van Tienen

January 2005
Applications of factorization embeddings for L Tech Report

A.B. Dieker (Ton)

January 2005
A geometric construction of traveling waves in a bioremediation. Tech Report

M. Beck, A. Doelman (Arjen) and T.J. Kaper (Tasso Joost)

January 2005
First order approximation of an elliptic 3D singular perturbation problem Tech Report

J.L. López, E. Pérez Sinusía and N.M. Temme (Nico)

January 2005

Previous

Next