A search engine which covers three bibliographies related to asynchronous circuits.
450 references related to logical frameworks, which are formal meta-languages for deductive systems.
Articles and conference proceedings, some books.
A small index from Simon Fraser University.
20,000 references in the field of computer graphics (journals, IEEE and ACM conferences).
List of resources arranged by content (citations, abstracts, full papers, and type of document).
An annotated bibliography concerning research in source code comprehension.
Searchable bibliography on performance evaluation, computer networks, network security, digital signal processing (54,000 records with abstracts, 20,000 documents, submission welcome).
Contains 3,000 reports and papers (1970-1995 plus some early classic work, by ORA Canada).
An annotated and searchable bibliography of computer vision and image processing papers, arranged by topics (36,000 entries, 1800 on-line papers).