Add URL
My Sites
My Account
Contact Us
Search only in
Bibliographies
Search the Web
Home
»
Computer Science
»
Publications
» Bibliographies
Web Pages
11 - 16 {16}
Go to
Bibliographies Home
11 -
IEEE Symposium on Logic in Computer Science
A bibliography of this annual symposium.
http://theory.lcs.mit.edu/~dmjones/LICS/
[more pages from this URL]
12 -
Bibliography on Logical Frameworks
450 references related to logical frameworks, which are formal meta-languages for deductive systems.
http://www.cs.cmu.edu/afs/cs/user/fp/www/lfs-bib.html
[more pages from this URL]
13 -
Automatic Language Identification Bibliography
Research into the automatic identification of spoken language with links to author home pages and online papers.
http://speech.inesc.pt/~dcaseiro/html/bibliografia.html
[more pages from this URL]
14 -
Code Reading and Program Comprehension Bibliography
An annotated bibliography concerning research in source code comprehension.
http://www2.umassd.edu/SWPI/ProcessBibliography/bib-codereading.html
[more pages from this URL]
15 -
Bibliography and Library Index
List of resources arranged by content (citations, abstracts, full papers, and type of document).
http://www.brics.dk/~omoeller/blip.html
[more pages from this URL]
16 -
Asynchronous Bibliography
A search engine which covers three bibliographies related to asynchronous circuits.
http://www.cs.man.ac.uk/amulet/bibliography/bibsearch.html
[more pages from this URL]
««
Previous
1
2
E-Mail
Add URL