The University of South Florida Libraries provide access to 1,014,591 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
291 matches found. Showing 1 - 50291
| Cover | Description | Access / Request |
|---|---|---|
 | A Survey of Value Sensitive Design Methods ISBN: 9781680832914 Platform/Publisher: Ebook Central / Now Publishers Digital rights: Users: Unlimited; Printing: Limited; Download: 7 Days at a Time Subjects: Computer Science/ IT; ■ Detailed Information | |
 | Advances in Formal Design Methods for CAD ISBN: 9780387349251 Platform/Publisher: SpringerLink / Springer US Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Antennas: Rigorous Methods of Analysis and Synthesis ISBN: 9781003043546 Platform/Publisher: Taylor & Francis / Science Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Computer Science; Engineering & Technology; Physical Sciences; Systems & Computer Architecture; Electrical & Electronic Engineering; Electromagnetics & Communication; Physics; Networks; Digital Signal Processing; Electromagnetics & Microwaves; Radar & Navigation; General Physics; ■ Detailed Information (with preview link) | |
 | Applicable Formal Methods for Safe Industrial Products ISBN: 9783031401329 Platform/Publisher: SpringerLink / Springer Nature Switzerland Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Applied Formal Methods — FM-Trends 98 ISBN: 9783540482574 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Applying Formal Methods: Testing, Performance, and M/E-Commerce ISBN: 9783540302339 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Complex Data Analytics with Formal Concept Analysis ISBN: 9783030932787 Platform/Publisher: SpringerLink / Springer International Publishing Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Concise Guide to Formal Methods ISBN: 9783319640211 Platform/Publisher: SpringerLink / Springer International Publishing Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Critical Systems: Formal Methods and Automated Verification ISBN: 9783319671130 Platform/Publisher: SpringerLink / Springer International Publishing Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Critical Systems: Formal Methods and Automated Verification ISBN: 9783319459431 Platform/Publisher: SpringerLink / Springer International Publishing Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Ethnomethodology, Conversation Analysis and Constructive Analysis: On Formal Structures of Practical Action ISBN: 9781003220794 Platform/Publisher: Taylor & Francis / Social Science Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Humanities; Research Methods ; Social Sciences; Qualitative Methods; Research Methods for Social and Behavioral Sciences; Sociology & Social Policy; Philosophy; Anthropology - Soc Sci; Philosophy of Social Science; Ethnography & Methodology; Research Methods - Soc. Policy; ■ Detailed Information (with preview link) | |
 | Finite Automata, Formal Logic, and Circuit Complexity ISBN: 9781461202899 Platform/Publisher: SpringerLink / Birkhäuser Boston Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Finite-State Methods and Natural Language Processing ISBN: 9783642146848 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | FM 2005: Formal Methods ISBN: 9783540317142 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | FM 2006: Formal Methods ISBN: 9783540372165 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | FM 2008: Formal Methods ISBN: 9783540682370 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | FM 2009: Formal Methods ISBN: 9783642050893 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | FM 2011: Formal Methods ISBN: 9783642214370 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | FM 2012: Formal Methods ISBN: 9783642327599 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | FM 2014: Formal Methods ISBN: 9783319064109 Platform/Publisher: SpringerLink / Springer International Publishing Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | FM 2015: Formal Methods ISBN: 9783319192499 Platform/Publisher: SpringerLink / Springer International Publishing Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | FM 2016: Formal Methods ISBN: 9783319489896 Platform/Publisher: SpringerLink / Springer International Publishing Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | FME '93: Industrial-Strength Formal Methods ISBN: 9783540476238 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | FME '94: Industrial Benefit of Formal Methods ISBN: 9783540490319 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | FME '97: Industrial Applications and Strengthened Foundations of Formal Methods ISBN: 9783540695936 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | FME 2001: Formal Methods for Increasing Software Productivity ISBN: 9783540452515 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | FME 2002:Formal Methods—Getting IT Right ISBN: 9783540456148 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | FME 2003: Formal Methods ISBN: 9783540452362 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | FME'96: Industrial Benefit and Advances in Formal Methods ISBN: 9783540497493 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | FM’99 — Formal Methods ISBN: 9783540481195 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | FM’99 — Formal Methods ISBN: 9783540481188 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Formal Engineering for Industrial Software Development ISBN: 9783662072875 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Formal Foundations for Software Engineering Methods ISBN: 9783540696100 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Formal Logical Methods for System Security and Correctness ISBN: 9781607503156 Platform/Publisher: Ebook Central / IOS Press, Incorporated Digital rights: Users: Unlimited; Printing: Limited; Download: 7 Days at a Time Subjects: Computer Science/ IT; ■ Detailed Information | |
 | Formal Methods ISBN: 9783030908706 Platform/Publisher: SpringerLink / Springer International Publishing Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Formal Methods ISBN: 9783031274817 Platform/Publisher: SpringerLink / Springer International Publishing Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Formal Methods ISBN: 9783030051563 Platform/Publisher: SpringerLink / Springer International Publishing Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Formal Methods ISBN: 9783319955827 Platform/Publisher: SpringerLink / Springer International Publishing Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Formal Methods ISBN: 9783031711770 Platform/Publisher: SpringerLink / Springer Nature Switzerland Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Formal Methods ISBN: 9783031711626 Platform/Publisher: SpringerLink / Springer Nature Switzerland Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
| Formal Methods ISBN: 9783031711770 Platform/Publisher: SpringerLink / Springer Nature Switzerland Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
| Formal Methods ISBN: 9783031711626 Platform/Publisher: SpringerLink / Springer Nature Switzerland Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Formal Methods and Hybrid Real-Time Systems ISBN: 9783540752219 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Formal Methods and Models for System Design ISBN: 9781402080524 Platform/Publisher: SpringerLink / Springer US Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Formal Methods and Object Technology ISBN: 9781447130710 Platform/Publisher: SpringerLink / Springer London Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Formal Methods and Software Development ISBN: 9783540393078 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Formal Methods and Software Engineering ISBN: 9783642412028 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Formal Methods and Software Engineering ISBN: 9783642342813 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Formal Methods and Software Engineering ISBN: 9783642245596 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Formal Methods and Software Engineering ISBN: 9783642169014 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) |