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