Multi Search Add Bookmark! Make MetaStrike Your Homepage

Home:   Computers:   Computer Science:   Publications:   Bibliographies

Other Category:

Science: Math: Logic and Foundations: Publications: Bibliographies Computers: Artificial Intelligence: Machine Learning: Publications: Bibliographies

Sites:

Asynchronous Bibliography  - http://www.cs.man.ac.uk/amulet/bibliography/bibsearch.html  A search engine which covers three bibliographies related to asynchronous circuits.  Bibliography on Logical Frameworks  - http://www.cs.cmu.edu/afs/cs/user/fp/www/lfs-bib.html  450 references related to logical frameworks, which are formal meta-languages for deductive systems.  A Comprehensive Bibliography on Self-Stabilization  - http://www.cs.uiowa.edu/ftp/selfstab/bibliography/  Articles and conference proceedings, some books.  CS Bibliographic Collections  - http://fas.sfu.ca/1/projects/ElectronicLibrary/Collections/CMPT/MajorBibs/  A small index from Simon Fraser University.  GraphBib  - http://www.siggraph.org/publications/bibliography/  20,000 references in the field of computer graphics (journals, IEEE and ACM conferences).  Bibliography and Library Index  - http://www.brics.dk/~omoeller/blip.html  List of resources arranged by content (citations, abstracts, full papers, and type of document).  Elsevier Science  - http://www.elsevier.nl/inca/search/?mode=estoc  Bibliography of 120 journals and 240 books in computer sciences and related fields.  Code Reading and Program Comprehension Bibliography  - http://www2.umassd.edu/SWPI/ProcessBibliography/bib-codereading.html  An annotated bibliography concerning research in source code comprehension.  Network Bibliography  - http://www.cs.columbia.edu/~hgs/netbib/  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  - http://www.ora.on.ca/biblio/biblio-prover-welcome.html  Contains 3,000 reports and papers (1970-1995 plus some early classic work, by ORA Canada).  USC Computer Vision  - http://iris.usc.edu/Vision-Notes/bibliography/contents.html  An annotated and searchable bibliography of computer vision and image processing papers, arranged by topics (36,000 entries, 1800 on-line papers).  Current Cites  - http://sunsite.berkeley.edu/CurrentCites/  A monthly selection of annotated citations of current literature in information technology. Searchable online and available by email.  Human-Computer Interaction  - http://www.hcibib.org/hci-sites/BIBLIOGRAPHY.html  Collection of about 850 links to bibliographic databases and annotated bibliographies, with short descriptions.  Carnegie Mellon University Library Computer Science Bibliographies  - http://www.library.cmu.edu/Search/DB_ENGTECH.html  An index to bibliographies on several subfields.  Automatic Language Identification Bibliography  - http://speech.inesc.pt/~dcaseiro/html/bibliografia.html  Research into the automatic identification of spoken language with links to author home pages and online papers.  IEEE Symposium on Logic in Computer Science  - http://theory.lcs.mit.edu/~dmjones/LICS/  A bibliography of this annual symposium.  The Collection of Computer Science Bibliographies  - http://liinwww.ira.uka.de/bibliography/waisbib.html  Searchable database with over a million references.