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
Jain / Ross / Nandakumar
2., Second Edition 2025
Wijs / Huisman
Concise Guide to Software Verification
Concise Guide to Software Verification
From Model Checking to Annotation Checking
Surianarayanan / Chelliah
A Holistic, Cloud-Native Perspective
2., Second Edition 2023
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
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
O'Regan
An Accessible Introduction to the History, Theory, Logic and Applications
2nd ed. 2021
Morazán
An Introduction to Program Design Using Video Game Development
O'Regan
Mathematical Foundations of Software Engineering
Mathematical Foundations of Software Engineering
A Practical Guide to Essentials
Kruse / Mostaghim / Borgelt
A Methodological Introduction
3rd ed. 2022