Print books and DVDs located at the SPC Libraries may be found in the Library's online catalog, found here.
Searching the Library Catalog
Searching the Catalog
You can search for books and other items using the Library's online catalog. Simply type in the title, author, or subject of the item in the search bar.
On this page, you see the results of a search for "Dune." On the left side are options to limit the search results. For example, you can limit the results to only show available, to items by one author, to one subject, to one format (books, ebooks, or DVDs), or any combination of the above.
A Catalog Record
From this screen, you may see the catalog's record. To access it, click on the title of one of the search results on the right. To check availability, you will need to click into the record.
If you click the title you can see detailed information on the item. Bibliographic information, subjects that the item is about, and even a summary or description may be found here. This page is very useful when deciding if this is an item you wish to check out.
Checking Out An Item
Item availability is listed at the bottom of the record. The number of copies available for checkout is indicated in the availability heading.
If you decide you want to check out an item, write down the entire call number. You will need this to find the item in the library. If you are not familiar with finding books in a library, ask a librarian for assistance. We are happy to help!
If you want an item from another campus, or if you would like to reserve items for yourself, click the "Place Hold" button on the right hand side of the page and follow the prompts. The items will be pulled from the shelves and held for you. You can pick them up at the Library's circulation desk.
Mathematics plays a key role in computer science, some researchers would consider computers as nothing but the physical embodiment of mathematical systems. And whether you are designing a digital circuit, a computer program or a new programming language, you need mathematics to be able to reason about the design -- its correctness, robustness and dependability. This book covers the foundational mathematics necessary for courses in computer science. The common approach to presenting mathematical concepts and operators is to define them in terms of properties they satisfy, and then based on these definitions develop ways of computing the result of applying the operators and prove them correct. This book is mainly written for computer science students, so here the author takes a different approach: he starts by defining ways of calculating the results of applying the operators and then proves that they satisfy various properties.nbsp;After justifying his underlying approach the author offers detailed chapters covering propositional logic, predicate calculus, sets, relations, discrete structures, structured types, numbers, and reasoning about programs. The book contains chapter and section summaries, detailed proofs and many end-of-section exercises --nbsp;key to the learning process. The book is suitable for undergraduate and graduate students, and although thenbsp;treatment focuses on areas with frequent applications in computer science, the book is also suitable for students ofnbsp;mathematics and engineering.
This workbook was written as a math refresher to help your students with the required math in the dc/ac course. The material is presented in a concise, relevant form beginning with the fundamentals of applied mathematics, algebra, trigonometry, and logarithms. As each topic is introduced, examples are given to help students master the manipulative skills and provide them with a better understanding of the mathematical concepts. Hundreds of drill problems are presented sing a unique three column format so students can see the math problem worked out traditionally and how the same problem is solved using a calculator.
A hilarious reeducation in mathematics-full of joy, jokes, and stick figures-that sheds light on the countless practical and wonderful ways that math structures and shapes our world. In Math With Bad Drawings, Ben Orlin reveals to us what math actually is; its myriad uses, its strange symbols, and the wild leaps of logic and faith that define the usually impenetrable work of the mathematician. Truth and knowledge come in multiple forms: colorful drawings, encouraging jokes, and the stories and insights of an empathetic teacher who believes that math should belong to everyone. Orlin shows us how to think like a mathematician by teaching us a brand-new game of tic-tac-toe, how to understand an economic crises by rolling a pair of dice, and the mathematical headache that ensues when attempting to build a spherical Death Star. Every discussion in the book is illustrated with Orlin's trademark "bad drawings," which convey his message and insights with perfect pitch and clarity. With 24 chapters covering topics from the electoral college to human genetics to the reasons not to trust statistics, Math with Bad Drawings is a life-changing book for the math-estranged and math-enamored alike.
This accessible text is designed to help readers help themselves to excel. The content is organized into three parts: (1) A Library of Elementary Functions (Chapters 1-2), (2) Finite Mathematics (Chapters 3-9), and (3) Calculus (Chapters 10-15). The book's overall approach, refined by the authors' experience with large sections of college freshmen, addresses the challenges of learning when readers' prerequisite knowledge varies greatly. Reader-friendly features such as Matched Problems, Explore & Discuss questions, and Conceptual Insights, together with the motivating and ample applications, make this text a popular choice for today's students and instructors.