Applied Semantics
International Summer School, Appsem 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures »

Logic Based Program Synthesis and Transformation
11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 - Selected Papers »

Rewriting Techniques and Applications
13th International Conference, Rta 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings »

Meshfree Methods For Partial Differential Equations
v. 2 »

Computational Logic
Logic Programming and Beyond - Essays in Honour of Robert A.Kowalski »

Magnetohydrodynamics
 »

The Mathematica Guidebook for Numerics [With Dvdrom]
This comprehensive, detailed reference to Mathematica provides the reader with both a working knowledge of Mathematica in general and a detailed knowledge of... »

Modeling Financial Time Series with S-Plus
Modeling Financial Time Series with S-PLUS »

Approximation Algorithms for Combinatorial Optimization
5th International Workshop, Approx 2002, Rome, Italy, September 17-21, 2002. Proceedings »

Pattern Recognition
An Algorithmic Approach »