Use Barton to search for books at MIT.

Google BookSearch
http://books.google.com/
Searches the full text of books scanned from publisher and library partners. Full text is mostly only available for older books (pre-1922), but TOCs are usually available for all books.

HOLLIS
http://hollis.harvard.edu/
Harvard's online catalog. MIT students are eligible for borrowing privileges at Harvard College Libraries.