Books

1. 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)
   

   ---

2. UML '99 - The Unified Modeling Language Beyond the Standard: Second International Conference, Fort Collins, CO, USA, October 28-30, 1999 (Lecture Notes in Computer Science)
   

   ---

3. Graph-theoretic Concepts in Computer Science: International Workshop, WG '99, Ascona, Switzerland, June 17-19, 1999, Proceedings (Lecture Notes in Computer Science)
   

   ---

4. The Physics of Quantum Information: Quantum Cryptography, Quantum Teleportation, Quantum Computation
   

   ---

5. Quantum Computing (Natural Computing S.)
   

   ---

6. Foundations of Software Technology and Theoretical Computer Science: Proceedings of the 19th Conference, Chennai, India, December 13-15, 1999 (Lecture Notes in Computer Science)
   

   ---

7. Advances in Computing Science: ASIAN '99 - 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings (Lecture Notes in Computer Science)
   

   ---

8. Advances in Distributed Systems: Advanced Distributed Computing - From Algorithms to Systems (Lecture Notes in Computer Science)
   

   ---

9. Advances in Database Technology, EDBT 2000: 7th International Conference on Extending Database Technology Konstanz, Germany, March 27-31, 2000 Proceedings (Lecture Notes in Computer Science S.)
   

   ---

10. Latin 2000 - Theoretical Informatics: Proceedings of the 4th Latin American Symposium (Lecture Notes in Computer Science S.)
    

    ---

11. Knowledge Discovery and Data Mining: Current Issues and New Applications - 4th Pacific-Asia Conference, PAKDD 2000 Kyoto, Japan, April 18-20, 2000 Proceedings (Lecture Notes in Computer Science S.)
    

    ---

12. Theoretical Aspects of Evolutionary Computing (Natural Computing Series)
    

    ---

13. Networking 2000 Broadband Communications, High Performance Networking, and Performance of Communication Networks: Ifip-Tc6/European Commission International Conference Paris, France, May 14-19, 2000 Proceedings: IFIP-TC6/European Commission International Conference, Paris, France, May 14-19, 2000, Proceedings (Lecture Notes in Computer Science)
    

    ---

14. Advances in Databases: 17th British National Conference on Databases, Bncod 17, Exeter, UK, July 3-5, 2000, Proceedings (Lecture Notes in Computer Science S.)
    

    ---

15. Computational Mathematics Driven by Industrial Problems: Lectures Given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held in Martina, Franca, Italy, June 21-27, 1999 (Lecture Notes in Mathematics S.)
    

    ---

16. Computing and Combinatorics: 6th Annual International Conference, Cocoon 2000, Sydney, Australia, July 26-28, 2000 Proceedings (Lecture Notes in Computer Science S.)
    

    ---

17. VLSI Memory Chip Design: v. 5 (Springer Series in Advanced Mathematics)
    

    ---

18. Principles of Computational Fluid Dynamics (Springer Series in Computational Mathematics)
    

    ---

19. Theory and Applications of Diagrams: First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings (Lecture Notes in Artificial Intelligence: a Subseries of "Lecture Notes in Computer Science")
    

    ---

20. Extensional Constructs in Intensional Type Theory (CPHC/BCS Distinguished Dissertation S.)
    

    ---

21. Optimal Load Balancing in Distributed Computer Systems (Telecommunication Networks & Computer Systems S.)
    

    ---

22. Computer-based Diagnostic Systems (Practitioner S.)
    

    ---

23. Modelling and Simulation of Human Behaviour in System Control (Advances in Industrial Control S.)
    

    ---

24. Theorem Proving with the Real Numbers (Distinguished Dissertations S.)
    

    ---

25. Mathematics and Computer Science: Algorithims, Trees, Combinatorics and Probabilities (Trends in Mathematics S.)
    

    ---

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