Centrum Wiskunde & Informatica

Review of "Logic in Computer Science: Modelling and reasoning about systems" by Michael R. A. Huth and Mark D. Ryan, Cambridge University Press 2000 Article

InterChange - Newsletter of the International SGML/XML Users' Group, 1-3.

F. van Raamsdonk (Femke)

January 2001
The candy model: properties and inference Tech Report

M.N.M. van Lieshout (Marie-Colette) and R.S. Stoica

January 2001
ROS3P---an accurate third-order Rosenbrock solver designed for parabolic problems Article

BIT Numerical Mathematics, 41(4), 731-738.

J. Lang (Jens) and J.G. Verwer (Jan)

January 2001
Flexible and scalable digital library search In Proceedings

H.E. Blok (Henk Ernst), M.A. Windhouwer (Menzo), R. van Zwol, M. Petkovic, P.M.G. Apers (Peter), M.L. Kersten (Martin) and W. Jonker

January 2001
FeedbackBypass: A new Approach to Interactive Similarity Query Processing In Proceedings

I. Bartolini, P. Ciaccia and F. Waas (Florian)

January 2001
Macro- and Micro- Parallelism in a DBMS In Proceedings

M.L. Kersten (Martin), S. Manegold (Stefan), P.A. Boncz (Peter) and N.J. Nes (Niels)

January 2001
On the representation of functions and finite difference operators on adaptive dyadic grids Article

Computational Methods in Applied Mathematics, 1(3), 222-241.

P.W. Hemker (Piet) and F. Sprengel (Frauke)

January 2001
Algorithmic statistics Article

IEEE Transactions on Information Theory, 47(6), 2443-2463.

P. Gacs (Péter), J.T. Tromp (John) and P.M.B. Vitányi (Paul)

January 2001

Previous

Next