Books

  1. Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 Proceedings (Lecture Notes in Computer Science)

    Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 Proceedings (Lecture Notes in Computer Science)

    Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 Proceedings (Lecture Notes in Computer Science)


  2. Inductive Logic Programming: 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001 Proceedings (Lecture Notes in Computer Science)

    Inductive Logic Programming: 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001 Proceedings (Lecture Notes in Computer Science)

    Inductive Logic Programming: 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001 Proceedings (Lecture Notes in Computer Science)


  3. Cooperative Information Agents: 5th International Workshop, CIA 2001, Modena, Italy, September 6-8, 2001, Proceedings: v. 5 (Lecture Notes in Computer Science)

    Cooperative Information Agents: 5th International Workshop, CIA 2001, Modena, Italy, September 6-8, 2001, Proceedings: v. 5 (Lecture Notes in Computer Science)

    Cooperative Information Agents: 5th International Workshop, CIA 2001, Modena, Italy, September 6-8, 2001, Proceedings: v. 5 (Lecture Notes in Computer Science)


  4. Computer Science Logic: 15th International Workshop, CSL 2001 - 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings (Lecture Notes in Computer Science)

    Computer Science Logic: 15th International Workshop, CSL 2001 - 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings (Lecture Notes in Computer Science)

    Computer Science Logic: 15th International Workshop, CSL 2001 - 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings (Lecture Notes in Computer Science)


  5. Algorithm Engineering and Experimentation: Third International Workshop, ALENEX 2001, Washington, DC, USA, January 5-6, 2001 Revised Papers (Lecture Notes in Computer Science)

    Algorithm Engineering and Experimentation: Third International Workshop, ALENEX 2001, Washington, DC, USA, January 5-6, 2001 Revised Papers (Lecture Notes in Computer Science)

    Algorithm Engineering and Experimentation: Third International Workshop, ALENEX 2001, Washington, DC, USA, January 5-6, 2001 Revised Papers (Lecture Notes in Computer Science)


  6. Intelligent Virtual Agents: Third International Workshop, Iva 2001, Madrid, Spain, September 10-11, 2001. Proceedings: Proceedings of the Third International Workshop, IVA 2001, Madrid, Spain, September 10-11, 2001 (Lecture Notes in Computer Science)

    Intelligent Virtual Agents: Third International Workshop, Iva 2001, Madrid, Spain, September 10-11, 2001. Proceedings: Proceedings of the Third International Workshop, IVA 2001, Madrid, Spain, September 10-11, 2001 (Lecture Notes in Computer Science)

    Intelligent Virtual Agents: Third International Workshop, Iva 2001, Madrid, Spain, September 10-11, 2001. Proceedings: Proceedings of the Third International Workshop, IVA 2001, Madrid, Spain, September 10-11, 2001 (Lecture Notes in Computer Science)


  7. Journal of Artificial Intelligence Research: Vol 5

    Journal of Artificial Intelligence Research: Vol 5

    Journal of Artificial Intelligence Research: Vol 5


  8. Distributed Computing: 15th International Conference, DISC 2001, Lisbon, Portugal, October 3-5, 2001 - Proceedings (Lecture Notes in Computer Science)

    Distributed Computing: 15th International Conference, DISC 2001, Lisbon, Portugal, October 3-5, 2001 - Proceedings (Lecture Notes in Computer Science)

    Distributed Computing: 15th International Conference, DISC 2001, Lisbon, Portugal, October 3-5, 2001 - Proceedings (Lecture Notes in Computer Science)


  9. Complexity Classifications of Boolean Constraint Satisfaction Problems (Monographs on Discrete Mathematics & Applications)

    Complexity Classifications of Boolean Constraint Satisfaction Problems (Monographs on Discrete Mathematics & Applications)

    Complexity Classifications of Boolean Constraint Satisfaction Problems (Monographs on Discrete Mathematics & Applications)


  10. Metalevel Architectures and Separation of Crosscutting Concerns: Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 Proceedings (Lecture Notes in Computer Science)

    Metalevel Architectures and Separation of Crosscutting Concerns: Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 Proceedings (Lecture Notes in Computer Science)

    Metalevel Architectures and Separation of Crosscutting Concerns: Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 Proceedings (Lecture Notes in Computer Science)


  11. Graph-Theoretic Concepts in Computer Science: 27th International Workshop, WG 2001 Boltenhagen, Germany, June 14-16, 2001 Proceedings: 27th International Workshop, WG 2001 Boltenhagen, Germany, June 14-16, 2001 Proceedings (Lecture Notes in Computer Science)

    Graph-Theoretic Concepts in Computer Science: 27th International Workshop, WG 2001 Boltenhagen, Germany, June 14-16, 2001 Proceedings: 27th International Workshop, WG 2001 Boltenhagen, Germany, June 14-16, 2001 Proceedings (Lecture Notes in Computer Science)

    Graph-Theoretic Concepts in Computer Science: 27th International Workshop, WG 2001 Boltenhagen, Germany, June 14-16, 2001 Proceedings: 27th International Workshop, WG 2001 Boltenhagen, Germany, June 14-16, 2001 Proceedings (Lecture Notes in Computer Science)


  12. Computational Intelligence: Theory and Applications - International Conference, 7th Fuzzy Days Dortmund, Germany, October 1-3, 2001 Proceedings: International Conference, 7th Fuzzy Days Dortmund, Germany, October 1-3, 2001, Proceedings (Lecture Notes in Computer Science)

    Computational Intelligence: Theory and Applications - International Conference, 7th Fuzzy Days Dortmund, Germany, October 1-3, 2001 Proceedings: International Conference, 7th Fuzzy Days Dortmund, Germany, October 1-3, 2001, Proceedings (Lecture Notes in Computer Science)

    Computational Intelligence: Theory and Applications - International Conference, 7th Fuzzy Days Dortmund, Germany, October 1-3, 2001 Proceedings: International Conference, 7th Fuzzy Days Dortmund, Germany, October 1-3, 2001, Proceedings (Lecture Notes in Computer Science)


  13. Active Mining: New Directions of Data Mining (Frontiers in Artificial Intelligence & Applications S.)

    Active Mining: New Directions of Data Mining (Frontiers in Artificial Intelligence & Applications S.)

    Active Mining: New Directions of Data Mining (Frontiers in Artificial Intelligence & Applications S.)


  14. Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings (Lecture Notes in Computer Science)

    Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings (Lecture Notes in Computer Science)

    Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings (Lecture Notes in Computer Science)


  15. Cooperative Multimodal Communication: Second International Conference, CMC '98, Tilburg, The Netherlands, January 28-30, 1998 Selected Papers (Lecture Notes in Computer Science)

    Cooperative Multimodal Communication: Second International Conference, CMC '98, Tilburg, The Netherlands, January 28-30, 1998 Selected Papers (Lecture Notes in Computer Science)

    Cooperative Multimodal Communication: Second International Conference, CMC '98, Tilburg, The Netherlands, January 28-30, 1998 Selected Papers (Lecture Notes in Computer Science)


  16. Local Search for Planning and Scheduling: Ecai 2000 Workshop, Berlin, Germany, August 21, 2000. Revised Papers: ECAI 2000 Workshop, Berlin, Germany, August 21, 2000 - Revised Papers (Lecture Notes in Computer Science)

    Local Search for Planning and Scheduling: Ecai 2000 Workshop, Berlin, Germany, August 21, 2000. Revised Papers: ECAI 2000 Workshop, Berlin, Germany, August 21, 2000 - Revised Papers (Lecture Notes in Computer Science)

    Local Search for Planning and Scheduling: Ecai 2000 Workshop, Berlin, Germany, August 21, 2000. Revised Papers: ECAI 2000 Workshop, Berlin, Germany, August 21, 2000 - Revised Papers (Lecture Notes in Computer Science)


  17. Mobile Agents: 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 Proceedings (Lecture Notes in Computer Science)

    Mobile Agents: 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 Proceedings (Lecture Notes in Computer Science)

    Mobile Agents: 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 Proceedings (Lecture Notes in Computer Science)


  18. Computer Aided Systems Theory - Eurocast 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, LAS Palmas De Gran Canaria, Spain, February 19-23, 2001. Revised Papers: EUROCAST - A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas De Gran Canaria, Spain, February 19-23, 2001, Revised Papers (Lecture Notes in Computer Science)

    Computer Aided Systems Theory - Eurocast 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, LAS Palmas De Gran Canaria, Spain, February 19-23, 2001. Revised Papers: EUROCAST - A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas De Gran Canaria, Spain, February 19-23, 2001, Revised Papers (Lecture Notes in Computer Science)

    Computer Aided Systems Theory - Eurocast 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, LAS Palmas De Gran Canaria, Spain, February 19-23, 2001. Revised Papers: EUROCAST - A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas De Gran Canaria, Spain, February 19-23, 2001, Revised Papers (Lecture Notes in Computer Science)


  19. Progress in Artificial Intelligence Knowledge Extraction, Multi-Agent Systems, Logic Programming, and Constraint Solving: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 - Porto, Portugal, December 17-20, 2001 Proceedings (Lecture Notes in Computer Science)

    Progress in Artificial Intelligence Knowledge Extraction, Multi-Agent Systems, Logic Programming, and Constraint Solving: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 - Porto, Portugal, December 17-20, 2001 Proceedings (Lecture Notes in Computer Science)

    Progress in Artificial Intelligence Knowledge Extraction, Multi-Agent Systems, Logic Programming, and Constraint Solving: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 - Porto, Portugal, December 17-20, 2001 Proceedings (Lecture Notes in Computer Science)


  20. New Frontiers in Artificial Intelligence: Joint JSAI 2001 Workshop Post-proceedings (Lecture Notes in Computer Science)

    New Frontiers in Artificial Intelligence: Joint JSAI 2001 Workshop Post-proceedings (Lecture Notes in Computer Science)

    New Frontiers in Artificial Intelligence: Joint JSAI 2001 Workshop Post-proceedings (Lecture Notes in Computer Science)


  21. Computers and Games: Second International Conference, Cg 2001, Hamamatsu, Japan, October 26-28, 2000 Revised Papers (Lecture Notes in Computer Science S.)

    Computers and Games: Second International Conference, Cg 2001, Hamamatsu, Japan, October 26-28, 2000 Revised Papers (Lecture Notes in Computer Science S.)

    Computers and Games: Second International Conference, Cg 2001, Hamamatsu, Japan, October 26-28, 2000 Revised Papers (Lecture Notes in Computer Science S.)


  22. Intelligent Sensors (Handbook of Sensors & Actuators)

    Intelligent Sensors (Handbook of Sensors & Actuators)

    Intelligent Sensors (Handbook of Sensors & Actuators)


  23. Multi-agent-systems and Applications: 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 - Selected Revised Papers: v. 2 (Lecture Notes in Computer Science)

    Multi-agent-systems and Applications: 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 - Selected Revised Papers: v. 2 (Lecture Notes in Computer Science)

    Multi-agent-systems and Applications: 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 - Selected Revised Papers: v. 2 (Lecture Notes in Computer Science)


  24. Applications of Evolutionary Computing: EvoWorkshops 2002 - EvoCOP, EvoIASP, EvoSTIM/EvoPLAN Kinsale, Ireland April 3-4, 2002 - Proceedings (Lecture Notes in Computer Science)

    Applications of Evolutionary Computing: EvoWorkshops 2002 - EvoCOP, EvoIASP, EvoSTIM/EvoPLAN Kinsale, Ireland April 3-4, 2002 - Proceedings (Lecture Notes in Computer Science)

    Applications of Evolutionary Computing: EvoWorkshops 2002 - EvoCOP, EvoIASP, EvoSTIM/EvoPLAN Kinsale, Ireland April 3-4, 2002 - Proceedings (Lecture Notes in Computer Science)


  25. Association Rule Mining: Models and Algorithms (Lecture Notes in Computer Science)

    Association Rule Mining: Models and Algorithms (Lecture Notes in Computer Science)

    Association Rule Mining: Models and Algorithms (Lecture Notes in Computer Science)


Books:

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

Books

ringtone88.com