Texts in Computer Science
Including Legacy Examples from Fortran and MathCAD in High Precision
Fachbuch2025SpringerISBN 978-3-031-90177-5
A Guide to Theory, Research and Applications
Fachbuch3rd ed. 20242025SpringerISBN 978-3-031-53909-1
Fachbuch6., Sixth Edition 20242025SpringerISBN 978-3-031-47743-0
A Guide to Theory, Research and Applications
Fachbuch3., Third Edition 20242024SpringerISBN 978-3-031-53648-9
Fachbuch3., Third Edition 20252024SpringerISBN 978-3-031-67481-5
Fachbuch7., Seventh Edition 20232023SpringerISBN 978-3-031-24862-7
A Holistic, Cloud-Native Perspective
Fachbuch2., Second Edition 20232023SpringerISBN 978-3-031-32043-9
From Model Checking to Annotation Checking
Fachbuch2023SpringerISBN 978-3-031-30166-7
A Practical Guide to Essentials
Fachbuch2023SpringerISBN 978-3-031-26211-1
Pillars, Paradigms, Principles
Fachbuch2023SpringerISBN 978-3-031-10057-4
Design, Implement, Validate, and Prove
Fachbuch2023SpringerISBN 978-3-031-43972-8
Fachbuch6., Sixth Edition 20242024SpringerISBN 978-3-031-47548-1
Intermediate Program Design Using Video Game Development
Fachbuch2023SpringerISBN 978-3-031-04319-2
Ægidius Mogensen
Fachbuch2023SpringerISBN 978-3-031-11808-1
Using Python and Java
Fachbuch2023SpringerISBN 978-3-031-01328-7
Hrycej / Bermeitinger / Cetto
Fachbuch2024SpringerISBN 978-3-031-19076-6
eBook (PDF mit Wasserzeichen)3., Third Edition 20252024Springer International PublishingISBN 978-3-031-67482-2
eBook (PDF mit Wasserzeichen)2., Second Edition 20252024Springer International PublishingISBN 978-3-031-61675-4
Theory, Algorithms, and Implementations
Fachbuch2nd ed. 20232023SpringerISBN 9789819948222
From Model Checking to Annotation Checking
eBook (PDF mit Wasserzeichen)2023Springer International PublishingISBN 978-3-031-30167-4