1
Reference Database
CiteSeer is a scientific literature digital library and search engine that focuses primarily on the literature in computer and information science. CiteSeer aims to improve the dissemination and feedback of the scientific literature and to provide improvements in functionality, usability, availability, cost, comprehensiveness, efficiency, and timeliness in the access of scientific and scholarly knowledge.
2
Miscellaneous
The DBLP server provides bibliographic information on major computer science journals and proceedings. Initially the server was focused on DataBase systems and Logic Programming (DBLP), now it is gradually being expanded toward other fields of computer science. You may now read "DBLP" as "Digital Bibliography & Library Project". The server indexes more than 380000 articles and contains several thousand links to home pages of computer scientists (May 2003).
3
MPG Library Catalog
Die Campus-Bibliothek für Informatik und Mathematik ist die gemeinsame Bibliothek des Max-Planck-Instituts für Informatik Saarbrücken (MPI-INF), des Max-Planck-Instituts für Softwaresysteme Saarbrücken (MPI-SWS), des Deutschen Forschungszentrums für Künstliche Intelligenz GmbH (DFKI) und der Fachrichtungen Informatik und Mathematik der Universität des Saarlandes.