The University of South Florida Libraries provide access to 970,081 unique ebooks. Faculty can search the database and select titles for course adoption. If you select a title that is not currently part of our collection, USF Libraries will attempt to purchase the title and make it available. Please note that the USF Libraries cannot license access to etextbooks by major textbook publishers such as Pearson, McGraw-Hill, Cengage or W.W. Norton.
To adopt a book, you need to sign on using your NetID with USF authentication page.
To request an ebook for your course through EB+, please complete this form.
If you have any questions or feedback, please contact us.
Search Database for ebooks to adopt
16 matches found. Showing 1 - 5016
| Cover | Description | Access / Request |
|---|---|---|
 | A Course in Model Theory ISBN: 9781139015417 Platform/Publisher: Cambridge Core / Cambridge University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Science and Engineering; Computer Science Mathematics; Logic Categories and Sets Programming Languages and Applied Logic; ■ Detailed Information (with preview link) | |
 | Effective Mathematics of the Uncountable ISBN: 9781139028592 Platform/Publisher: Cambridge Core / Cambridge University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Science and Engineering; Computer Science Mathematics; Algorithmics Complexity Computer Algebra Computational Geometry Logic Categories and Sets Programming Languages and Applied Logic; ■ Detailed Information (with preview link) | |
 | Formal Languages in Logic ISBN: 9781139108010 Platform/Publisher: Cambridge Core / Cambridge University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Humanities Science and Engineering; Computer Science Philosophy; Logic Programming Languages and Applied Logic; ■ Detailed Information (with preview link) | |
 | Functional Programming Using F# ISBN: 9781139093996 Platform/Publisher: Cambridge Core / Cambridge University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Science and Engineering; Computer Science; Programming Languages and Applied Logic Software Engineering and Development; ■ Detailed Information (with preview link) | |
 | Graph Structure and Monadic Second-Order Logic ISBN: 9780511977619 Platform/Publisher: Cambridge Core / Cambridge University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Science and Engineering; Computer Science Mathematics; Logic Categories and Sets Programming Languages and Applied Logic Recreational Mathematics; ■ Detailed Information (with preview link) | |
 | Lambda Calculus with Types ISBN: 9781139032636 Platform/Publisher: Cambridge Core / Cambridge University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Science and Engineering; Computer Science Mathematics; Logic Categories and Sets Programming Languages and Applied Logic; ■ Detailed Information (with preview link) | |
 | Nominal Sets ISBN: 9781139084673 Platform/Publisher: Cambridge Core / Cambridge University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Science and Engineering; Computer Science; Algorithmics Complexity Computer Algebra Computational Geometry Programming Languages and Applied Logic; ■ Detailed Information (with preview link) | |
 | Non-Hausdorff Topology and Domain Theory ISBN: 9781139524438 Platform/Publisher: Cambridge Core / Cambridge University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Science and Engineering; Computer Science Mathematics; Geometry and Topology Programming Languages and Applied Logic Recreational Mathematics; ■ Detailed Information (with preview link) | |
 | Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning ISBN: 9781316219317 Platform/Publisher: Cambridge Core / Cambridge University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Physics and Astronomy; Computer Science Physics And Astronomy; Programming Languages and Applied Logic Quantum Physics Quantum Information and Quantum Computation; ■ Detailed Information (with preview link) | |
 | Practical Foundations for Programming Languages ISBN: 9781139342131 Platform/Publisher: Cambridge Core / Cambridge University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Science and Engineering; Computer Science; Programming Languages and Applied Logic; ■ Detailed Information (with preview link) | |
 | Program Logics for Certified Compilers ISBN: 9781107256552 Platform/Publisher: Cambridge Core / Cambridge University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Science and Engineering; Computer Science; Communications Information Theory and Security Programming Languages and Applied Logic; ■ Detailed Information (with preview link) | |
 | Programming in Ada 2012 ISBN: 9781139696616 Platform/Publisher: Cambridge Core / Cambridge University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Science and Engineering; Computer Science; Programming Languages and Applied Logic Software Engineering and Development; ■ Detailed Information (with preview link) | |
 | Programming with Higher-Order Logic ISBN: 9781139021326 Platform/Publisher: Cambridge Core / Cambridge University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Science and Engineering; Computer Science Mathematics; Logic Categories and Sets Programming Languages and Applied Logic; ■ Detailed Information (with preview link) | |
 | Python for Linguists ISBN: 9781108642408 Platform/Publisher: Cambridge Core / Cambridge University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Language and Linguistics; Computer Science Language and Linguistics; Computational Linguistics Programming Languages and Applied Logic; ■ Detailed Information (with preview link) | |
 | Systematic Program Design ISBN: 9781139567879 Platform/Publisher: Cambridge Core / Cambridge University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Science and Engineering; Computer Science; Programming Languages and Applied Logic Software Engineering and Development; ■ Detailed Information (with preview link) | |
 | Turing''s Legacy ISBN: 9781107338579 Platform/Publisher: Cambridge Core / Cambridge University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Science and Engineering; Computer Science Mathematics; Logic Categories and Sets Programming Languages and Applied Logic; ■ Detailed Information (with preview link) |