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
68 matches found. Showing 1 - 5068
| 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 / Humanities & Media Arts 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 Management; ■ Detailed Information (with preview link) | |
 | AI for Creativity ISBN: 9781003194941 Platform/Publisher: Taylor & Francis / Science 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) | |
 | Aspects of Complexity: Minicourses in Algorithmics, Complexity and Computational Algebra. Mathematics Workshop, Kaikoura, January 7-15, 2000 ISBN: 9783110889178 Platform/Publisher: De Gruyter / De Gruyter Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Mathematics; Logic and Set Theory; ■ Detailed Information (with preview link) | |
 | Coded Leadership: Developing Scalable Management in an AI-induced Quantum World ISBN: 9781003244660 Platform/Publisher: Taylor & Francis / Science 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: 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 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 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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 / Science 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 / Science 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) | |
 | From Computational Logic to Computational Biology ISBN: 9783031552489 Platform/Publisher: SpringerLink / Springer Nature Switzerland Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ 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; ■ Detailed Information (with preview link) | |
 | How to Show Things with Words: A Study on Logic, Language and Literature ISBN: 9783110899627 Platform/Publisher: De Gruyter / De Gruyter Mouton Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Linguistics and Semiotics; Applied Linguistics | Levels of Linguistic Analysis | Theoretical Frameworks and Disciplines; Quantitative Computational and Corpus Linguistics | Semantics | Discourse Analysis; ■ Detailed Information (with preview link) | |
 | 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 / Science 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 Algorithms in Computational Linguistics 2021 (LACompLing2021) ISBN: 9783031217807 Platform/Publisher: Ebook Central / Springer International Publishing AG Digital rights: Users: Unlimited; Printing: Limited; Download: 7 Days at a Time Subjects: Computer Science/ IT; Science; ■ 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 / Humanities & Media Arts 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 | |
 | Mathematical Foundations of Computer Science ISBN: 9781003383284 Platform/Publisher: Taylor & Francis / Science Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Computer Science; Mathematics & Statistics; Computer Science (General); Advanced Mathematics; Computation; Algorithms & Complexity; Coding Theory; Computational Logic; Computational Numerical Analysis; Discrete Mathematics; ■ Detailed Information | |
 | Mathematics in Cyber Research ISBN: 9780429354649 Platform/Publisher: Taylor & Francis / Science 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) | |
 | Modern Fortran Explained: Incorporating Fortran 2023 ISBN: 9780191987946 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) |