Hypertext Bibliography Project - Bibliography of 50 journals and conferences, including logic and theoretic computing. Some cross-referencing. Submit bibliographies.Collaborative Filtering Research Papers - Includes 30 on-line papers with abstracts - submit papers and comments.
HCI Bibliography - 20,000 references on human-computer interaction.
Index of Online Crypto Papers - by Bruce Schneier at Counterpane systems, 1300 articles.
Bibliography on Computer Network Time Synchronization - Maintained by researcher David Mills.
Elliptic Curves and Cryptology bibliography - Books, on-line theses, software.
IEEE Symposium on the Foundations of Computer Science - A bibliography. Formerly the Symposium on Switching and Automata Theory.
Asynchronous Bibliography - A search engine which covers three bibliographies related to asynchronous circuits.
Bibliography on Logical Frameworks - 450 references related to logical frameworks, which are formal meta-languages for deductive systems.
Isabelle Bibliography - A bibliography on the Isabelle theorem prover.
A Comprehensive Bibliography on Self-Stabilization - Articles and conference proceedings, some books.
CS Bibliographic Collections - A small index from Simon Fraser University.
GraphBib - 20,000 references in the field of computer graphics (journals, IEEE and ACM conferences).
Bibliography and Library Index - List of resources arranged by content (citations, abstracts, full papers, and type of document).
Carnegie Mellon University Library Computer Science Bibliographies - An index to bibliographies on several subfields.
Bibliographies of Speech Conferences - Related to speech recognition.
Automatic Language Identification Bibliography - Research into the automatic identification of spoken language with links to author home pages and online papers.
An Annotated Bibliography for Object-Oriented Analysis and Design - This paper by Steven Webster contains over 200 references to OOAD related documents.
Elsevier Science - Bibliography of 120 journals and 240 books in computer sciences and related fields.
Code Reading and Program Comprehension Bibliography - An annotated bibliography concerning research in source code comprehension.
Network Bibliography - Searchable bibliography on performance evaluation, computer networks, network security, digital signal processing (54,000 records with abstracts, 20,000 documents, submission welcome).
Automated Deduction Bibliography - Contains 3,000 reports and papers (1970-1995 plus some early classic work, by ORA Canada).
USC Computer Vision - An annotated and searchable bibliography of computer vision and image processing papers, arranged by topics (36,000 entries, 1800 on-line papers).
IEEE Symposium on Logic in Computer Science - A bibliography of this annual symposium.
