Books

1. Artificial Intelligence and Symbolic Computation: International Conference Aisc 2000 Madrid, Spain, July 17-19, 2000. Revised Papers (Lecture Notes in Computer Science)

   

   

   ---

2. DNA Computing: 6th International Workshop on DNA-based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000 (Lecture Notes in Computer Science)

   

   

   ---

3. Multi-image Analysis: 10th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl Castle, Germany, March 12-17, 2000 - Revised Papers (Lecture Notes in Computer Science)

   

   

   ---

4. Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 - Selected Papers (Lecture Notes in Computer Science)

   

   

   ---

5. Computability and Complexity in Analysis: 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000 - Selected Papers (Lecture Notes in Computer Science)

   

   

   ---

6. Weiss Pred Data Mining - Book/Website Set: A Practical Guide (with Software)

   

   

   ---

7. Connectionist Models of Neurons, Learning Processes and Artificial Intelligence: 6th International Work-Conference on Artificial and Natural Neural Networks, Iwann 2001 Granada, Spain, June 13-15, 2001, Proceedings, Part I: 6th International Work-conference on Artificial and Natural Neural Networks, IWANN 2001 Granada, Spain, June 13-15, 2001, Proceedings Pt. 1 (Lecture Notes in Computer Science)

   

   

   ---

8. Handbook of Automated Reasoning: Vols 1 & 2

   

   

   ---

9. Constraint-based Agents: An Architecture for Constraint-based Modeling and Local-search-based Reasoning for Planning and Scheduling in Open and Dynamic Worlds (Lecture Notes in Computer Science)

   

   

   ---

10. Computer Vision Systems: Second International Workshop, Icvs 2001 Vancouver, Canada, July 7-8, 2001 Proceedings: Second International Workshop, ICVS 2001 Vancouver, Canada, July 7-8, 2001 Proceedings (Lecture Notes in Computer Science)

    

    

    ---

11. Artificial Intelligence in Medicine: 8th Conference on Artificial Intelligence in Medicine in Europe, Aime 2001 Cascais, Portugal, July 1-4, 2001, Proceedings: 8th Conference on Artificial Intelligence in Medicine in Europe, AIME 2001 Cascais, Portugal, July 1-4, 2001, Proceedings (Lecture Notes in Computer Science)

    

    

    ---

12. Static Analysis: 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings: International Symposium, SAS 2001, Paris, France, July 16-18, 2001 - Proceedings 8th (Lecture Notes in Computer Science)

    

    

    ---

13. Human-automation Interaction: Research and Practice

    

    

    ---

14. Conceptual Structures: Broadening the Base - 9th International Conference on Conceptual Structures, Iccs 2001, Stanford, Ca, USA, July 30-August 3, 2001, Proceedings: Broadening the Base - International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001, Proceedings 9th (Lecture Notes in Computer Science)

    

    

    ---

15. Computer Aided Verification: 13th International Conference, Cav 2001, Paris, France, July 18-22, 2001. Proceedings: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001.Proceedings (Lecture Notes in Computer Science)

    

    

    ---

16. Machine Learning and Data Mining in Pattern Recognition: Second International Workshop, Mldm 2001, Leipzig, Germany, July 25-27, 2001. Proceedings: Second International Workshop, MLDM 2001, Leipzig, Germany, July 25-27, 2001, Proceedings (Lecture Notes in Computer Science)

    

    

    ---

17. Modeling and Using Context: Third International and Interdisciplinary Conference, Context, 2001, Dundee, UK, July 27-30, 2001, Proceedings (Lecture Notes in Computer Science)

    

    

    ---

18. Intelligent Agents: Agent Theories, Architectures and Languages - 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000 Proceedings: v. 7 (Lecture Notes in Computer Science)

    

    

    ---

19. Algorithms and Data Structures: 7th International Workshop, WADS 2001, Providence, RI, USA, August 8-10, 2001 Proceedings (Lecture Notes in Computer Science)

    

    

    ---

20. Intelligent Agents: Specification, Modeling and Application - 4th Pacific Rim International Workshop on Multi-agents, PRIMA 2001mTaipei, Taiwan, July 28-29, 2001 Proceedings (Lecture Notes in Computer Science)

    

    

    ---

21. Mobile Agents for Telecommunication Applications: Third International Workshop, MATA 2001, Montreal, Canada, August 14-16, 2001 - Proceedings (Lecture Notes in Computer Science)

    

    

    ---

22. Artificial Neural Networks - Icann 2001: International Conference Vienna, Austria, August 21-25, 2001 Proceedings: International Conference Vienna, Austria, August 21-25, 2001.Proceedings (Lecture Notes in Computer Science)

    

    

    ---

23. Comprehension in Graphics (Advances in Psychology S.)

    

    

    ---

24. Parallel Computing Technologies: 6th International Conference, Pact 2001, Novosibirsk, Russia, September 3-7, 2001 Proceedings: 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 - Proceedings (Lecture Notes in Computer Science)

    

    

    ---

25. Foundational Issues in Artificial Intelligence and Cognitive Science: Impasse and Solution (Advances in Psychology S.)

    

    

    ---

Books:

1. Theorem Proving in Higher Order Logics: 14th International
2. Artificial Evolution: 5th International Conference,
3. Neural Nets: 13th Italian Workshop on Neural Nets, Wirn
4. Handbook of Software Engineering and Knowledge Engineering:
5. Advances in Artificial Intelligence -- Iberamia 2004: 9th
6. Using Ai in Electronic Commerce, Virtual Organizations,
7. International Joint Conference on Neural Networks : Books
8. Artificial Neural Networks in Medicine and Biology:
9. Logic in Computer Science: Modelling and Reasoning About
10. Migrating Legacy Systems: Gateways, Interfaces and the

ringtone88.com