Texts in Computer Science
A Guide to Theory, Research and Applications
Fachbuch3rd ed. 20242025SpringerISBN 978-3-031-53909-1
A Guide to Theory, Research and Applications
Fachbuch3rd ed. 20242024SpringerISBN 978-3-031-53648-9
Fachbuch2., Second Edition 20252024SpringerISBN 978-3-031-61674-7
Fachbuch3., Third Edition 20242024SpringerISBN 978-3-031-67481-5
From Model Checking to Annotation Checking
Fachbuch2024Springer International PublishingISBN 978-3-031-30169-8
A Holistic, Cloud-Native Perspective
Fachbuch2., Second Edition 20232024SpringerISBN 978-3-031-33225-8
A Practical Guide to Essentials
Fachbuch2024Springer Nature SwitzerlandISBN 978-3-031-26214-2
Fachbuch7th ed. 20232024Springer International PublishingISBN 978-3-031-25720-9
Hrycej / Bermeitinger / Cetto
Fachbuch2024SpringerISBN 978-3-031-19076-6
Fachbuch6th ed. 20242024SpringerISBN 978-3-031-47548-1
eBook (PDF mit Wasserzeichen)2., Second Edition 20252024Springer Nature SwitzerlandISBN 978-3-031-61675-4
Design, Implement, Validate, and Prove
Fachbuch2023SpringerISBN 978-3-031-43972-8
Ægidius Mogensen
Fachbuch2023SpringerISBN 978-3-031-11808-1
A Holistic, Cloud-Native Perspective
Fachbuch2., Second Edition 20232023SpringerISBN 978-3-031-32043-9
A Methodological Introduction
Fachbuch3rd ed. 20222023SpringerISBN 978-3-030-42229-5
From Model Checking to Annotation Checking
Fachbuch2023SpringerISBN 978-3-031-30166-7
Fachbuch7th ed. 20232023SpringerISBN 978-3-031-24862-7
Algorithms and Applications
Fachbuch2nd ed. 20222023SpringerISBN 978-3-030-34374-3
An Introduction to Program Design Using Video Game Development
Fachbuch2023SpringerISBN 978-3-030-85093-7
A Practical Guide to Essentials
Fachbuch2023SpringerISBN 978-3-031-26211-1