Some example titles you can access through Safari are linked below.
Using the Reed Catalog you can search Reed's collection, local libraries (via Summit), & libraries all over the world (via WorldCat) all at once. You can even check your account & renew Reed items from "My Account".
Sometimes browsing the shelves is helpful. Some relevant call number ranges are:
QA76 General topics & introduction to computer science
QA76.4 Analog computers
QA76.5 Digital computers
QA76.7 Programming languages
QA76.758 Software engineering
QA76.9.D26 Database design
QA76.9.L63 Computer logic
QA76.9.N38 Natural language processing
QA76.9.O35 Object-oriented methods
QA267-268.5 Machine theory
TK7885-7895 Computer engineering
There are many handbooks, dictionaries, and encyclopedias that describe mathematical terms, etc. If you are not clear about your topic, try establishing its limits with a good definition and some introductory information. The following sources may be helpful: