Databases - to locate journal articles, conference proceedings and reports:
Inspec
Provider: ISI
Provides access to technical literature in physics, electrical engineering, electronics, communications, control engineering, computers, computing, information technology, manufacturing, production and mechanical engineering. Inspec now contains close to 10 million bibliographic records taken from more than 3850 scientific and technical journals and 2200 conference proceedings, as well as numerous books, reports, dissertations and patents, many with full-text linking. Covers 1969-present.
You can specify the particular record type such as "conference paper" by using the LIMIT feature and choosing from the drop down menu. The option for "treatment" is also useful in finding papers of a certain kind such as "practical", "general or review" etc.
MathSciNet
Provider: AMS
Provides citations to the world's mathematical literature including journal articles, conference proceedings, and books. Topics covered include all aspects of mathematics, statistics, and related areas. Cover 1940-present.
ProQuest Research Library
Provider: ProQuest
Provides citations and full-text magazine and journal articles in a wide variety of disciplines, both scholarly and popular in scope. Covers 1971-present.
Web of science
Provider: ISI
Provides access to the Social Sciences Citation Index, Science Citation Index, and Arts and Humanities Citation Index. Search for scholarly articles in any discipline, or for articles that cite a known author or work. Coverage varies.