CMU Library on-line catalog
There are many more conferences. Check out the web pages for ACM, IEEE, and USENIX.