The University of South Florida Libraries provide access to 967,350 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
62 matches found. Showing 1 - 5062
| Cover | Description | Access / Request |
|---|---|---|
 | A 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 | |
 | A 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 | |
 | A Philosophical Introduction to Higher-order Logics ISBN: 9781003039181 Platform/Publisher: Taylor & Francis / Routledge Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Computer Science; Humanities; Language & Literature; Computation; Philosophy; Language & Linguistics; Computational Logic; Epistemology; Metaphysics; Philosophy of Language; Grammar Syntax & Linguistic Structure; Logic - Philosophy; ■ Detailed Information (with preview link) | |
 | Advances in Computational and Stochastic Optimization, Logic Programming, and Heuristic Search ISBN: 9781475728071 Platform/Publisher: SpringerLink / Springer US Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Business and Economics; ■ Detailed Information (with preview link) | |
 | AI for Creativity ISBN: 9781003194941 Platform/Publisher: Taylor & Francis / CRC Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Behavioral Sciences; Computer Science; Education; Artificial Intelligence; Computation; Computer Science (General); Mental Health; Legal Ethical & Social Aspects of IT; Curriculum Studies; Creative Arts & Expressive Therapies; Cognitive Artificial Intelligence.; Human Computer Intelligence; Computational Logic; Human Computer Interaction; Creativity; Social Aspects of Computing & IT; ■ Detailed Information (with preview link) | |
 | Coded Leadership: Developing Scalable Management in an AI-induced Quantum World ISBN: 9781003244660 Platform/Publisher: Taylor & Francis / CRC Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Computer Science; Economics Finance Business & Industry; Algorithms & Complexity; Artificial Intelligence; Computation; Computer Science (General); Business Management and Marketing; Robotics; Algorithms & Complexity; Computational Logic; Quantum Information; ■ Detailed Information (with preview link) | |
 | Computational Aspects of an Order-Sorted Logic with Term Declarations ISBN: 9783540467748 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Computational Intelligence - Synergies of Fuzzy Logic, Neural Networks and Evolutionary Computing ISBN: 9781118534823 Platform/Publisher: WOL / Wiley Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Physical Sciences & Engineering; Mechanical Engineering; ■ Detailed Information | |
 | Computational Interaction ISBN: 9780191839832 Platform/Publisher: Oxford Academic / Oxford University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Logic; ■ Detailed Information (with preview link) | |
 | Computational Logic ISBN: 9783642762741 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Computational Logic ISBN: 9783642586224 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Computational Logic and Human Thinking: How to Be Artificially Intelligent ISBN: 9780511984747 Platform/Publisher: Cambridge Core / Cambridge University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited ■ Detailed Information (with preview link) | |
 | Computational Logic and Proof Theory ISBN: 9783540479437 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Computational Logic and Proof Theory ISBN: 9783540698067 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Computational Logic and Set Theory ISBN: 9780857298089 Platform/Publisher: SpringerLink / Springer London Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Computational Logic in Multi-Agent Systems ISBN: 9783540696193 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Computational Logic in Multi-Agent Systems ISBN: 9783642027345 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Computational Logic in Multi-Agent Systems ISBN: 9783642149771 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Computational Logic in Multi-Agent Systems ISBN: 9783540888338 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Computational Logic in Multi-Agent Systems ISBN: 9783642168673 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Computational Logic in Multi-Agent Systems ISBN: 9783540302001 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Computational Logic in Multi-Agent Systems ISBN: 9783540318576 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Computational Logic in Multi-Agent Systems ISBN: 9783540339977 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Computational Logic in Multi-Agent Systems ISBN: 9783642223594 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Computational Logic in Multi-Agent Systems ISBN: 9783642328978 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Computational Logic in Multi-Agent Systems ISBN: 9783642406249 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Computational Logic in Multi-Agent Systems ISBN: 9783319097640 Platform/Publisher: SpringerLink / Springer International Publishing Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Computational Logic — CL 2000 ISBN: 9783540449577 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Computational Logic: Logic Programming and Beyond ISBN: 9783540456322 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Computational Logic: Logic Programming and Beyond ISBN: 9783540456285 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Computational Models of Referring: A Study in Cognitive Science ISBN: 9780262335324 Platform/Publisher: JSTOR / The MIT Press Digital rights: Users: unlimited; Printing: chapter; Download: chapter Subjects: Reference (Linguistics); Presupposition (Logic); Computational linguistics; ■ Detailed Information | |
 | Computational Number Theory ISBN: 9780429090516 Platform/Publisher: Taylor & Francis / Chapman and Hall/CRC Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Mathematics & Statistics; Advanced Mathematics; Geometry; Number Theory; Discrete Mathematics; Mathematical Logic; ■ Detailed Information | |
 | COVID-19: Origin, Detection and Impact Analysis Using Artificial Intelligence Computational Techniques ISBN: 9781003131410 Platform/Publisher: Taylor & Francis / CRC Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Bioscience; Computer Science; Engineering & Technology; Information Science; Bioinformatics; Biotechnology; Artificial Intelligence; Information & Communication Technology (ICT); Biomedical Engineering; Information Technology; Computation; Legal Ethical & Social Aspects of IT; Systems & Control Engineering; Machine Learning - Design; Computational Logic; Health & Safety Aspects of Computing; Drug Targeting; Medical Imaging; Machine Learning; ■ 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) | |
 | Fragments of First-Order Logic ISBN: 9780191960062 Platform/Publisher: Oxford Academic / Oxford University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Numerical and Computational Mathematics Logic; ■ Detailed Information (with preview link) | |
 | Games User Research ISBN: 9780191836336 Platform/Publisher: Oxford Academic / Oxford University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Numerical and Computational Mathematics Logic; Optimisation; ■ Detailed Information (with preview link) | |
 | Goedel's Way: Exploits into an undecidable world ISBN: 9780203169575 Platform/Publisher: Taylor & Francis / CRC Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Mathematics & Statistics; Physical Sciences; Foundations & Theorems; History & Philosophy of Mathematics; Physics; Advanced Mathematics; Mathematical Logic; Computational Physics; Discrete Mathematics; ■ Detailed Information | |
 | Intellectics and Computational Logic ISBN: 9789401593830 Platform/Publisher: SpringerLink / Springer Netherlands Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Mathematics and Statistics; ■ Detailed Information (with preview link) | |
 | Jumping Computation: Updating Automata and Grammars for Discontinuous Information Processing ISBN: 9781003107910 Platform/Publisher: Taylor & Francis / CRC Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Computer Science; Mathematics & Statistics; Algorithms & Complexity; Computation; Computer Science (General); Applied Mathematics; Computational Logic; Computational Numerical Analysis; ■ Detailed Information (with preview link) | |
 | Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018) ISBN: 9783030300777 Platform/Publisher: Ebook Central / Springer International Publishing AG Digital rights: Users: Unlimited; Printing: Limited; Download: 7 Days at a Time Subjects: Science; Language/ Linguistics; ■ Detailed Information | |
 | Logic and Computational Complexity ISBN: 9783540447207 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
 | Logic Works: A Rigorous Introduction to Formal Logic ISBN: 9781003026532 Platform/Publisher: Taylor & Francis / Routledge Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Computer Science; Humanities; Mathematics & Statistics; Computation; Philosophy; Advanced Mathematics; Computational Logic; Logic - Philosophy; Mathematical Logic; ■ Detailed Information (with preview link) | |
 | Machine Learning for Signal Processing: Data Science, Algorithms, and Computational Statistics ISBN: 9780191879180 Platform/Publisher: Oxford Academic / Oxford University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Logic Mathematical and Statistical Physics; ■ Detailed Information (with preview link) | |
 | Martin Davis on Computability, Computational Logic, and Mathematical Foundations ISBN: 9783319418421 Platform/Publisher: Ebook Central / Springer International Publishing AG Digital rights: Users: Unlimited; Printing: Limited; Download: 7 Days at a Time Subjects: Computer Science/ IT; Philosophy; ■ Detailed Information | |
 | Mathematics in Cyber Research ISBN: 9780429354649 Platform/Publisher: Taylor & Francis / CRC Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Computer Science; Engineering & Technology; Mathematics & Statistics; Applied Mathematics; Statistics & Probability; Artificial Intelligence; Computation; Legal Ethical & Social Aspects of IT; Systems & Control Engineering; Advanced Mathematics; Machine Learning - Design; Computational Numerical Analysis; IT Security; Machine Learning; Computer Mathematics; Operations Research; Probability; Mathematical Logic; Statistics; ■ Detailed Information (with preview link) | |
 | Molecular Logic and Computational Synthetic Biology ISBN: 9783030194321 Platform/Publisher: SpringerLink / Springer International Publishing Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ 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) | |
 | On the Foundations of Computing ISBN: 9780191873232 Platform/Publisher: Oxford Academic / Oxford University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Numerical and Computational Mathematics Logic; Optimisation; ■ Detailed Information (with preview link) | |
 | Philosophical Logic: A Contemporary Introduction ISBN: 9781315185248 Platform/Publisher: Taylor & Francis / Routledge Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Computer Science; Humanities; Mathematics & Statistics; Computation; Philosophy; Advanced Mathematics; Computational Logic; Logic - Philosophy; Metaphysics; Mathematical Logic; ■ Detailed Information (with preview link) | |
 | Policy Decision Modeling with Fuzzy Logic : Theoretical and Computational Aspects ISBN: 9783030626280 Platform/Publisher: Ebook Central / Springer International Publishing AG Digital rights: Users: Unlimited; Printing: Limited; Download: 7 Days at a Time Subjects: Mathematics; Science; ■ Detailed Information |