Printed conference papers kept in the Library can be found using the Library Catalogue by entering the conference title.
DBLP - Provides information about major Computer Science conference proceedings. Also includes information on the contents of key journals.
Web of Knowledge indexes the published literature of the most significant scientific conferences around the world.
ProceedingsFirst contains citations from worldwide meetings, conferences, expositions, workshops and symposia, and lists the papers presented.