Computing search tools

General scientific/engineering search tools

Compendex - see also Engineering Village
All engineering disciplines. Includes links to cited documents.

Engineering Village
Database platform for Compendex and Inspec databases (see separate entries). Search databases separately or together. Includes links to cited documents.

Inspec  (see also Engineering Village)
Physics, electrical engineering, electronics and computing. Includes links to cited documents.

Medline
Medicine, biomedicine and life sciences.

Scopus
All subjects. Includes links to cited documents.

Web of Science Core Collection
All subjects. Includes links to cited documents.

Specialist search tools/collections

ACM Digital Library
The digital library of the Association for Computing Machinery. Contains the full text of ACM publications including journals and conference proceedings plus bibliographic records from the ACM Guide to Computing Literature.

CiteSeerX
A freely available computing and information science literature search engine.

DBLP
A freely available computer science bibliographic database.

Eurographics Digital Library
Full text of Eurographics publications e.g. conferences, workshops

IEEE Xplore
Digital library containing full text of IEEE journals, conference/meeting papers and standards. IEEE provide some video tutorials.

Theses

Proquest Dissertations & Theses Global
Details of dissertations and theses from around the world. Includes some full text.

Ethos 
UK PhD dissertations - many can be freely downloaded.

Standards

British Standards Online
Full text of British standards, codes of practice. Includes IEC equivalents.

IEEE Xplore
Includes full text of IEEE standards.