Centrum Wiskunde & Informatica

ASF+SDF Meta-Environment 2-RC1 Software

J.J. Vinju (Jurgen), P. Klint (Paul), M.G.J. van den Brand (Mark), A.T. Kooiker (Taeke), H.A. de Jong (Hayco) and P.A. Olivier (Pieter)

May 2006
TTCN-3 Testing of Hoorn-Keersenboogerd Railway Interlocking In Proceedings

J.R. Calamé (Jens), N. Goga (Nicolae), N. Ioustinova (Natalia) and J.C. van de Pol (Jaco)

May 2006
ATerm library Software

H.A. de Jong (Hayco), P.A. Olivier (Pieter), M.G.J. van den Brand (Mark), P.-E. Moreau and E. Scheffers

May 2006
Creating Meaningful Multimedia Presentations In Proceedings

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

May 2006
nee, een tien zou ik niet halen Magazine Article

A. Schrijver (Lex)

May 2006
The momentum problem in MDL and Bayesian prediction Master Thesis

T.A.L. van Erven (Tim)

May 2006
Validation Techniques for Object-oriented Proof Outlines Dissertation

C. Pierik

May 2006
Diskretwertige stochastische Vektorräume : Grundlagen, Ergodentheorie und Darstellungen Dissertation

A. Schönhuth (Alexander)

May 2006

Previous

Next