Books

1. Mirror Worlds, Or, the Day Software Puts the Universe in a Shoebox...: How It Will Happen and What It Will Mean
   

   ---

2. Selected Topics in Approximation and Computation
   

   ---

3. Computation, Dynamics and Cognition
   

   ---

4. Optimal Solution of Nonlinear Equations
   

   ---

5. Database: Models, Languages, Design
   

   ---

6. Numerical Computation in Science and Engineering
   

   ---

7. Pattern Matching Algorithms
   

   ---

8. Fundamental Problems of Algorithmic Algebra
   

   ---

9. Knowledge Emergence: Social, Technical and Evolutionary Dimensions of Knowledge Creation
   

   ---

10. Twenty Five Years of Constructive Type Theory (Oxford Logic Guides)
    

    ---

11. Invitation to Discrete Mathematics
    

    ---

12. The Lattice Boltzmann Equation: For Fluid Dynamics and Beyond (Numerical Mathematics & Scientific Computation S.)
    

    ---

13. An Atlas of Graphs
    

    ---

14. The Algebraic Eigenvalue Problem (Monographs on Numerical Analysis)
    

    ---

15. Matroid Theory
    

    ---

16. Handbook of Logic in Computer Science: Background - Computational Structures Vol 2
    

    ---

17. Substructural Logics (Studies in Logic & Computation S.)
    

    ---

18. Handbook of Logic in Computer Science: Semantic Modelling Vol 4
    

    ---

19. Labelled Deductive Systems: Vol 1 (Oxford Logic Guides)
    

    ---

20. Introduction to Automata Theory, Languages and Computation
    

    ---

21. Advances in Spatial Databases: 6th International Symposium, SSD '99, Hong Kong, China, July 20-23, 1999 - Proceedings (Lecture Notes in Computer Science)
    

    ---

22. The Paralation Model
    

    ---

23. Introduction to Algorithms: A Creative Approach
    

    ---

24. Object Oriented Concepts, Databases and Applications (ACM Press Frontier Series)
    

    ---

25. Discrete Mathematics for Computer Scientists
    

    ---

Books:

1. Combinatorial Pattern Matching 1998: Proceedings of the 9th Annual Symposium (Lecture Notes in Computer Science S.)
2. SOFSEM '99: Theory and Practice of Informatics - 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27-December 4, 1999, Proceedings (Lecture Notes in Computer Science)
3. Cryptography and Computational Number Theory: Workshop in Singapore, 1999 (Progress in Computer Science & Applied Logic)
4. Introduction to Languages and the Theory of Computation
5. SQL Server 2000 Backup and Recovery (Database Professional's Library)
6. Teaching and Learning Formal Methods
7. Jini, Example by Example (Sun Microsystems Press S.)
8. Computers in Your Future: Complete Edition
9. Introduction to Functional Programming (Prentice-Hall Series in Computer Science)
10. Mirror Worlds, Or, the Day Software Puts the Universe in a Shoebox...: How It Will Happen and What It Will Mean

Books