Artificial Intelligence (incl. Robotics)
- Science (general) , Scientific-popular
The Art and Science of Interface and Interaction Design
Free Download 
Mathematics , Graph TheoryThe Logic System of Concept Graphs with Negation: And Its Relationship to Predicate Logic
Free Download- Computers , Networking: Internet
The Semantic Web – ISWC 2004: Third International Semantic Web Conference, Hiroshima, Japan, November 7-11, 2004. Proceedings
Free Download 
Computers , Networking: InternetThe Semantic Web: 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007. Proceedings
Free Download- Computers , Cybernetics: Artificial Intelligence
The Semantic Web: Research and Applications: First European Semantic Web Symposium, ESWS 2004 Heraklion, Crete, Greece, May 10-12, 2004. Proceedings
Free Download - Computers , Cybernetics: Artificial Intelligence
The Seventeen Provers of the World: Foreword by Dana S. Scott
Free Download - Mathematics , Logic
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings
Free Download 
Mathematics , LogicTheorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings
Free Download
Mathematics , LogicTheorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings
Free Download
Mathematics , LogicTheorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings
Free Download
Mathematics , LogicTheorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
Free Download
Mathematics , LogicTheorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings
Free Download
