Texts in Computer Science
Kävrestad / Birath / Clarke
Fundamentals of Digital Forensics
Fundamentals of Digital Forensics
A Guide to Theory, Research and Applications
3rd ed. 2024
Hrycej / Bermeitinger / Cetto
Mathematical Foundations of Data Science
Mathematical Foundations of Data Science
Morazán
Programming-Based Formal Languages and Automata Theory
Programming-Based Formal Languages and Automata Theory
Design, Implement, Validate, and Prove
Morazán
Intermediate Program Design Using Video Game Development
Rosenberg / Heath
Pillars, Paradigms, Principles
Huisman / Wijs
Concise Guide to Software Verification
Concise Guide to Software Verification
From Model Checking to Annotation Checking
Surianarayanan / Chelliah
A Holistic, Cloud-Native Perspective
2nd ed. 2023
Kävrestad / Birath / Clarke
Fundamentals of Digital Forensics
Fundamentals of Digital Forensics
A Guide to Theory, Research and Applications
3rd ed. 2024
Kävrestad / Birath / Clarke
Fundamentals of Digital Forensics
Fundamentals of Digital Forensics
A Guide to Theory, Research and Applications
3rd ed. 2024
O'Regan
Mathematical Foundations of Software Engineering
Mathematical Foundations of Software Engineering
A Practical Guide to Essentials
1st ed. 2023
Kruse / Mostaghim / Borgelt
A Methodological Introduction
3rd ed. 2022
Yan
Computational Methods for Deep Learning
Computational Methods for Deep Learning
Theory, Algorithms, and Implementations
2nd ed. 2023
Morazán
Programming-Based Formal Languages and Automata Theory
Programming-Based Formal Languages and Automata Theory
Design, Implement, Validate, and Prove
Burger / Burge
An Algorithmic Introduction
3rd ed. 2022
Rosenberg / Heath
Pillars, Paradigms, Principles
1st ed. 2022