ACM Digital Library - Some full text
Works published by the Association of Computing Machinery, including
journals, newsletters, transactions, and proceedings.
Computer Technology - Citations only
Collection of databases including Computer & Information Systems
and Internet and Personal Computing Abstracts.
IEEE (Electric / Electronic Engineering) - Some
full text
Full-text access to 112 IEEE-sponsored periodicals in engineering,
electronics and computer science (1998-present). Also, citations
and abstracts to transactions, proceedings and journals since
1988.
INSPEC - Some full text
Articles and other documents in physics, engineering, computer science,
information technology and manufacturing.
ScienceDirect: Elsevier Journals - Some
full text
Full-text to over 600 Elsevier journals in science, business,
engineering and medicine (1995-present).
Kluwer Online (SpringerLink) - Full text
Access the complete contents of about 700 Kluwer journals in
subjects including science, technology, humanities and law.
MathSciNet - Some full text
Reviews of & citations to mathematics literature (1940-present).
Academic Search Premier - Some full
text
General interest and scholarly articles on a variety of topics
(1990-present).
LexisNexis Academic - Full text
Full-text of national and regional newspapers, business publications,
federal and state codes, case law & reference information (1990-present).
Science Citation Index Expanded - Some
full text
Article citations, author abstracts, and cited references from
5,800 science and technical journals (1980-present).
Ingenta - Citations only
Article citations in a variety of subject areas and tables of
contents for periodicals.
General ACM
Digital Library Portal (http://portal.acm.org/dl.cfm?coll=portal&dl=ACM&CFID=11558641&CFTOKEN=77905438)
The Digital Library contains citations and full text from ACM
journal and newsletter articles and conference proceedings.
Full citations consist of title, author, publication data, and,
when available, abstracts, citings (where the paper has been
referenced by other papers), references (by the paper to other
papers), index terms from ACM's Computing Classification System
(CCS) and reviews from ACM's Computing Reviews. ACM member DL
subscribers also get access to the Online Computing Reviews
Service.
Programming
Language and Compiler Research Groups (http://www-2.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/web/language/projects.html)
Compiled by Carnegie Mellon University School of Computer Science.
CRC Standard Mathematical Tables and Formulae
(QA47 .M315 1996) Table of Integrals, Series, and Products (QA55 .G6613 1994) Encyclopedia of Computer Science (QA76.15 .E48 1993) Macmillan Encyclopedia of Computers (QA76.15 .M33 1992) Encyclopedia of Software Engineering (QA76.758 .E53 1994) Algorithms and Theory of Computation Handbook (QA76.9.A43
A43 1999) (Loyola Stacks) Atlas of Finite Groups (QA171 .A86 1985) MIT Encyclopedia of the Japanese Economy (HC462.9 .H73
1994) (Loyola Stacks)