Bibliographies gather citations in a specific topic, sometimes with some links to on-line documents.
450 references related to logical frameworks, which are formal meta-languages for deductive systems.
Collection of about 850 links to bibliographic databases and annotated bibliographies, with short descriptions.
Searchable bibliography on performance evaluation, computer networks, network security, digital signal processing (54,000 records with abstracts, 20,000 documents, submission welcome).
Searchable database with over a million references.
An annotated and searchable bibliography of computer vision and image processing papers, arranged by topics (36,000 entries, 1800 on-line papers).
Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us