Bibliographies
Login  |  Register


Bibliographies

Human-Computer Interaction

Jul 27, 2007 |
Collection of about 850 links to bibliographic databases and annotated bibliographies, with short descriptions. ... Read more

Network Bibliography

Jul 27, 2007 |
Searchable bibliography on performance evaluation, computer networks, network security, digital signal processing (54,000 records with abstracts, 20,000 documents, submission welcome). ... Read more

Bibliography on Logical Frameworks

Jul 27, 2007 |
450 references related to logical frameworks, which are formal meta-languages for deductive systems. ... Read more