The University of South Florida Libraries provide access to 986,005 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




639 matches found. Showing 1 - 50

 
CoverDescriptionAccess / Request
book cover image for A 25-Year Perspective on Logic Programming, ISBN=9783642143090A 25-Year Perspective on Logic Programming
ISBN: 9783642143090
Platform/Publisher: SpringerLink / Springer Berlin Heidelberg
Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited
Subjects: Computer Science;
 Detailed Information (with preview link)
book cover image for A Computational Logic, ISBN=9781483277882A Computational Logic
ISBN: 9781483277882
Platform/Publisher: Ebook Central / Elsevier Science & Technology
Digital rights: Users: Unlimited; Printing: Limited; Download: 7 Days at a Time
Subjects: Mathematics; Computer Science/ IT;
 Detailed Information
book cover image for A Computational Logic Handbook : Formerly Notes and Reports in Computer Science and Applied Mathematics, ISBN=9781483277783A Computational Logic Handbook : Formerly Notes and Reports in Computer Science and Applied Mathematics
ISBN: 9781483277783
Platform/Publisher: Ebook Central / Elsevier Science & Technology
Digital rights: Users: Unlimited; Printing: Limited; Download: 7 Days at a Time
Subjects: Computer Science/ IT; Mathematics;
 Detailed Information
book cover image for A Course in Model Theory, ISBN=9781139015417A 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)
book cover image for A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity, ISBN=9780191916656A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
ISBN: 9780191916656
Platform/Publisher: Oxford Academic / Oxford University Press
Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited
Subjects: Computer Architecture and Logic Design;
 Detailed Information (with preview link)
book cover image for A Learner’s Guide to Fuzzy Logic Systems, Second Edition, ISBN=9780429287831A Learner’s Guide to Fuzzy Logic Systems, Second Edition
ISBN: 9780429287831
Platform/Publisher: Taylor & Francis / CRC Press
Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited

 Detailed Information (with preview link)
book cover image for A Philosophical Introduction to Higher-order Logics, ISBN=9781003039181A Philosophical Introduction to Higher-order Logics
ISBN: 9781003039181
Platform/Publisher: Taylor & Francis / Routledge
Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited

 Detailed Information (with preview link)
book cover image for A Resolution Principle for a Logic with Restricted Quantifiers, ISBN=9783540466703A Resolution Principle for a Logic with Restricted Quantifiers
ISBN: 9783540466703
Platform/Publisher: SpringerLink / Springer Berlin Heidelberg
Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited
Subjects: Computer Science;
 Detailed Information (with preview link)
book cover image for Access Control, Security, and Trust: A Logical Approach, ISBN=9780429184437Access Control, Security, and Trust: A Logical Approach
ISBN: 9780429184437
Platform/Publisher: Taylor & Francis / Chapman and Hall/CRC
Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited

 Detailed Information
book cover image for Advanced Smart Computing Technologies in Cybersecurity and Forensics, ISBN=9781003140023Advanced Smart Computing Technologies in Cybersecurity and Forensics
ISBN: 9781003140023
Platform/Publisher: Taylor & Francis / CRC Press
Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited

 Detailed Information (with preview link)
book cover image for Advanced Techniques and Applications of Cybersecurity and Forensics, ISBN=9781003386926Advanced Techniques and Applications of Cybersecurity and Forensics
ISBN: 9781003386926
Platform/Publisher: Taylor & Francis / Chapman and Hall/CRC
Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited

 Detailed Information
book cover image for Advancements in Cybercrime Investigation and Digital Forensics, ISBN=9781003369479Advancements in Cybercrime Investigation and Digital Forensics
ISBN: 9781003369479
Platform/Publisher: Taylor & Francis / CRC Press
Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited

 Detailed Information (with preview link)
book cover image for Advances in Contemporary Logic and Computer Science, ISBN=9780821878262Advances in Contemporary Logic and Computer Science
ISBN: 9780821878262
Platform/Publisher: Ebook Central / American Mathematical Society
Digital rights: Users: Unlimited; Printing: Limited; Download: 7 Days at a Time
Subjects: Computer Science/ IT;
 Detailed Information
book cover image for Advances in Distance Learning in Times of Pandemic, ISBN=9781003322252Advances in Distance Learning in Times of Pandemic
ISBN: 9781003322252
Platform/Publisher: Taylor & Francis / CRC Press
Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited

 Detailed Information (with preview link)
book cover image for Advances in Fuzzy Logic, Neural Networks and Genetic Algorithms, ISBN=9783540484578Advances in Fuzzy Logic, Neural Networks and Genetic Algorithms
ISBN: 9783540484578
Platform/Publisher: SpringerLink / Springer Berlin Heidelberg
Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited
Subjects: Computer Science;
 Detailed Information (with preview link)
book cover image for Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, ISBN=9783319147260Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
ISBN: 9783319147260
Platform/Publisher: SpringerLink / Springer International Publishing
Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited
Subjects: Computer Science;
 Detailed Information (with preview link)
book cover image for Advances in Logic Based Intelligent Systems : Selected Papers of LAPTEC 2005, ISBN=9781607501466Advances in Logic Based Intelligent Systems : Selected Papers of LAPTEC 2005
ISBN: 9781607501466
Platform/Publisher: Ebook Central / IOS Press, Incorporated
Digital rights: Users: Unlimited; Printing: Limited; Download: 7 Days at a Time
Subjects: Science; Computer Science/ IT;
 Detailed Information
book cover image for Advances in Logic, Artificial Intelligence and Robotics : Laptec 2002, ISBN=9781601294029Advances in Logic, Artificial Intelligence and Robotics : Laptec 2002
ISBN: 9781601294029
Platform/Publisher: Ebook Central / IOS Press, Incorporated
Digital rights: Users: Unlimited; Printing: Limited; Download: 7 Days at a Time
Subjects: Science; Computer Science/ IT;
 Detailed Information
book cover image for Advances in Technological Applications of Logical and Intelligent Systems : Selected Papers from the Sixth Congress on Logic Applied to Technology, ISBN=9781607503804Advances in Technological Applications of Logical and Intelligent Systems : Selected Papers from the Sixth Congress on Logic Applied to Technology
ISBN: 9781607503804
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
book cover image for Advances of DNA Computing in Cryptography, ISBN=9781351011419Advances of DNA Computing in Cryptography
ISBN: 9781351011419
Platform/Publisher: Taylor & Francis / Chapman and Hall/CRC
Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited

 Detailed Information
book cover image for Agency and the Semantic Web, ISBN=9780191917691Agency and the Semantic Web
ISBN: 9780191917691
Platform/Publisher: Oxford Academic / Oxford University Press
Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited
Subjects: Computer Architecture and Logic Design;
 Detailed Information (with preview link)
book cover image for AI for Creativity, ISBN=9781003194941AI for Creativity
ISBN: 9781003194941
Platform/Publisher: Taylor & Francis / CRC Press
Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited

 Detailed Information (with preview link)
book cover image for AI-Based Metaheuristics for Information Security and Digital Media, ISBN=9781003107767AI-Based Metaheuristics for Information Security and Digital Media
ISBN: 9781003107767
Platform/Publisher: Taylor & Francis / CRC Press
Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited

 Detailed Information (with preview link)
book cover image for Alan Turing's Systems of Logic: The Princeton Thesis, ISBN=9781400843213Alan Turing's Systems of Logic: The Princeton Thesis
ISBN: 9781400843213
Platform/Publisher: De Gruyter / Princeton University Press
Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited
Subjects: Computer Sciences; Computer Sciences other;
 Detailed Information (with preview link)
book cover image for Algebraic and Logic Programming, ISBN=9783540460633Algebraic and Logic Programming
ISBN: 9783540460633
Platform/Publisher: SpringerLink / Springer Berlin Heidelberg
Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited
Subjects: Computer Science;
 Detailed Information (with preview link)
book cover image for Algebraic and Logic Programming, ISBN=9783540467380Algebraic and Logic Programming
ISBN: 9783540467380
Platform/Publisher: SpringerLink / Springer Berlin Heidelberg
Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited
Subjects: Computer Science;
 Detailed Information (with preview link)
book cover image for Algebraic and Logic Programming, ISBN=9783540473022Algebraic and Logic Programming
ISBN: 9783540473022
Platform/Publisher: SpringerLink / Springer Berlin Heidelberg
Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited
Subjects: Computer Science;
 Detailed Information (with preview link)
book cover image for Algebraic and Logic Programming, ISBN=9783540487913Algebraic and Logic Programming
ISBN: 9783540487913
Platform/Publisher: SpringerLink / Springer Berlin Heidelberg
Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited
Subjects: Computer Science;
 Detailed Information (with preview link)
book cover image for Algebraic and Logic Programming, ISBN=9783540706724Algebraic and Logic Programming
ISBN: 9783540706724
Platform/Publisher: SpringerLink / Springer Berlin Heidelberg
Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited
Subjects: Computer Science;
 Detailed Information (with preview link)
book cover image for Algebraic and Logic Programming, ISBN=9783540695554Algebraic and Logic Programming
ISBN: 9783540695554
Platform/Publisher: SpringerLink / Springer Berlin Heidelberg
Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited
Subjects: Computer Science;
 Detailed Information (with preview link)
book cover image for Algebraic Logic and Universal Algebra in Computer Science, ISBN=9780387348049Algebraic Logic and Universal Algebra in Computer Science
ISBN: 9780387348049
Platform/Publisher: SpringerLink / Springer New York
Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited
Subjects: Computer Science;
 Detailed Information (with preview link)
book cover image for Algorithmic Cryptanalysis, ISBN=9780429145629Algorithmic Cryptanalysis
ISBN: 9780429145629
Platform/Publisher: Taylor & Francis / Chapman and Hall/CRC
Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited

 Detailed Information
book cover image for An Inductive Logic Programming Approach to Statistical Relational Learning, ISBN=9781607502074An Inductive Logic Programming Approach to Statistical Relational Learning
ISBN: 9781607502074
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
book cover image for An Introduction to Default Logic, ISBN=9783662056899An Introduction to Default Logic
ISBN: 9783662056899
Platform/Publisher: SpringerLink / Springer Berlin Heidelberg
Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited
Subjects: Computer Science;
 Detailed Information (with preview link)
book cover image for An Introduction to Number Theory with Cryptography, ISBN=9781351664110An Introduction to Number Theory with Cryptography
ISBN: 9781351664110
Platform/Publisher: Taylor & Francis / Chapman and Hall/CRC
Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited
Subjects: Mathematics & Statistics; Advanced Mathematics; Applied Mathematics; Number Theory; Mathematical Logic; Computer Mathematics;
 Detailed Information
book cover image for An Introduction to Quantum Computing, ISBN=9780191916724An Introduction to Quantum Computing
ISBN: 9780191916724
Platform/Publisher: Oxford Academic / Oxford University Press
Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited
Subjects: Computer Architecture and Logic Design;
 Detailed Information (with preview link)
book cover image for An Introduction to the PL/CV2 Programming Logic, ISBN=9783540391791An Introduction to the PL/CV2 Programming Logic
ISBN: 9783540391791
Platform/Publisher: SpringerLink / Springer Berlin Heidelberg
Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited
Subjects: Computer Science;
 Detailed Information (with preview link)
book cover image for Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach, ISBN=9789491216596Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
ISBN: 9789491216596
Platform/Publisher: SpringerLink / Atlantis Press
Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited
Subjects: Computer Science;
 Detailed Information (with preview link)
book cover image for Application of Fuzzy Logic to Social Choice Theory, ISBN=9780429157905Application of Fuzzy Logic to Social Choice Theory
ISBN: 9780429157905
Platform/Publisher: Taylor & Francis / Chapman and Hall/CRC
Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited

 Detailed Information
book cover image for Applied Logic for Computer Scientists, ISBN=9783319516530Applied Logic for Computer Scientists
ISBN: 9783319516530
Platform/Publisher: SpringerLink / Springer International Publishing
Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited
Subjects: Computer Science;
 Detailed Information (with preview link)
book cover image for Applied Quantum Cryptanalysis, ISBN=9781003392873Applied Quantum Cryptanalysis
ISBN: 9781003392873
Platform/Publisher: Taylor & Francis / CRC Press
Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited

 Detailed Information (with preview link)
book cover image for Archaeology of Logic, ISBN=9781003316466Archaeology of Logic
ISBN: 9781003316466
Platform/Publisher: Taylor & Francis / CRC Press
Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited

 Detailed Information (with preview link)
book cover image for Arithmetic and Logic in Computer Systems, Online Version, ISBN=9780471728511Arithmetic and Logic in Computer Systems, Online Version
ISBN: 9780471728511
Platform/Publisher: WOL / Wiley-Interscience
Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited
Subjects: Computer Science & Information Technology; Computer Science;
 Detailed Information
book cover image for Artificial Intelligence and Computing Logic: Cognitive Technology for AI Business Analytics, ISBN=9781003180487Artificial Intelligence and Computing Logic: Cognitive Technology for AI Business Analytics
ISBN: 9781003180487
Platform/Publisher: Taylor & Francis / CRC Press
Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited

 Detailed Information (with preview link)
book cover image for Artificial Intelligence Logic and Applications, ISBN=9789811975103Artificial Intelligence Logic and Applications
ISBN: 9789811975103
Platform/Publisher: SpringerLink / Springer Nature Singapore
Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited
Subjects: Computer Science;
 Detailed Information (with preview link)
book cover image for Artificial Intelligence Logic and Applications, ISBN=9789819978694Artificial Intelligence Logic and Applications
ISBN: 9789819978694
Platform/Publisher: SpringerLink / Springer Nature Singapore
Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited
Subjects: Computer Science;
 Detailed Information (with preview link)
book cover image for Assessing Information Security : Strategies, Tactics, Logic and Framework, ISBN=9781849286008Assessing Information Security : Strategies, Tactics, Logic and Framework
ISBN: 9781849286008
Platform/Publisher: Ebook Central / IT Governance Ltd
Digital rights: Users: Unlimited; Printing: Limited; Download: 7 Days at a Time
Subjects: Computer Science/ IT;
 Detailed Information
book cover image for At the Intersection of Language, Logic, and Information, ISBN=9783662596203At the Intersection of Language, Logic, and Information
ISBN: 9783662596203
Platform/Publisher: SpringerLink / Springer Berlin Heidelberg
Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited
Subjects: Computer Science;
 Detailed Information (with preview link)
book cover image for Authorization and Access Control: Foundations, Frameworks, and Applications, ISBN=9781003268482Authorization and Access Control: Foundations, Frameworks, and Applications
ISBN: 9781003268482
Platform/Publisher: Taylor & Francis / CRC Press
Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited

 Detailed Information (with preview link)
book cover image for Automated Deduction in Equational Logic and Cubic Curves, ISBN=9783540685227Automated Deduction in Equational Logic and Cubic Curves
ISBN: 9783540685227
Platform/Publisher: SpringerLink / Springer Berlin Heidelberg
Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited
Subjects: Computer Science;
 Detailed Information (with preview link)