bibliographies

    Top: Computers: Computer_Science: Publications: Bibliographies:

• Top/Science/Math/Logic and Foundations/Publications/Bibliographies
• Top/Computers/Artificial Intelligence/Machine Learning/Publications/Bibliographies

• - 450 references related to logical frameworks, which are formal meta-languages for deductive systems.
  
• - An annotated and searchable bibliography of computer vision and image processing papers, arranged by topics (36,000 entries, 1800 on-line papers).
  
• - Contains 3,000 reports and papers (1970-1995 plus some early classic work, by ORA Canada).
  
• - Bibliography of 120 journals and 240 books in computer sciences and related fields.
  
• - Research into the automatic identification of spoken language with links to author home pages and online papers.
  
• - List of resources arranged by content (citations, abstracts, full papers, and type of document).
  
• - An annotated bibliography concerning research in source code comprehension.
  
• - Collection of about 850 links to bibliographic databases and annotated bibliographies, with short descriptions.
  
• - Articles and conference proceedings, some books.
  
• - An index to bibliographies on several subfields.
  
• - A search engine which covers three bibliographies related to asynchronous circuits.
  
• - Searchable bibliography on performance evaluation, computer networks, network security, digital signal processing (54,000 records with abstracts, 20,000 documents, submission welcome).
  
• - A small index from Simon Fraser University.
  
• - A bibliography of this annual symposium.
  
• - Searchable database with over a million references.
  
• - A monthly selection of annotated citations of current literature in information technology. Searchable online and available by email.
  
• - 20,000 references in the field of computer graphics (journals, IEEE and ACM conferences).