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

Computational Learning Theory
15th Annual Conference on Computational Learning Theory, COLT 2002, Sydney, Australia, July 8-10, 2002 - Proceedings »

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

Fast Software Encryption
9th International Workshop, FSE 2002, Leuven, Belgium, February 4-6, 2002. Revised Papers »

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... »

Document Analysis Systems
5th International Workshop, DAS 2002, Princeton, Nj, USA, August 19-21, 2002, Proceedings »

Biological Soil Crusts
Structure, Function and Management »

Combinatorial Pattern Matching
13th Annual Symposium, CPM 2002 Fukuoka, Japan, July 3-5, 2002 - Proceedings »

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