BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS
Computer Science Foundations and Applied Logic
23 Treffer
Ankündigung
Blanchette / Mahboubi
Proof Assistants and Their Applications in Mathematics and Computer Science
Proof Assistants and Their Applications in Mathematics and Computer Science
Fachbuch2026SpringerISBN 978-3-031-85189-6
Ankündigung
Leitsch / Cerna / Lolic
Fachbuch2026SpringerISBN 978-3-032-05740-2
Stoelinga / Ruijters / Krcál
Models, Methods and Algorithms
Fachbuch2026SpringerISBN 978-3-031-78286-2
neu
eBook
A Guide for Understanding the Model-Checking Problem
eBook (PDF mit Wasserzeichen)2026Springer Nature SwitzerlandISBN 978-3-032-11885-1
Foundations, Algorithms and Applications
Fachbuch2025SpringerISBN 978-3-031-98344-3
Kosmatov / Prevosto / Signoles
Core Components, Usages, and Applications
Fachbuch2025SpringerISBN 978-3-031-55610-4
Kosmatov / Prevosto / Signoles
Core Components, Usages, and Applications
Fachbuch2024SpringerISBN 978-3-031-55607-4
Kagan / Rybalov / Yager
Fachbuch2025SpringerISBN 978-3-031-74761-8
An Introduction with Moggi and Yoneda
Fachbuch2024SpringerISBN 978-3-031-68537-8
Ubar / Raik / Jenihhin
Theory and Applications
Fachbuch2025SpringerISBN 978-3-031-44736-5
A Compendium on the Core Model, Analysis, and Synthesis
Fachbuch2025SpringerISBN 978-3-031-48280-9
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Fachbuch2., Second Edition 20252025SpringerISBN 978-3-031-85351-7
Stoelinga / Ruijters / Krcál
Models, Methods and Algorithms
eBook (PDF mit Wasserzeichen)2026Springer Nature SwitzerlandISBN 978-3-031-78287-9
Leitsch / Cerna / Lolic
eBook (PDF mit Wasserzeichen)2026Springer Nature SwitzerlandISBN 978-3-032-05741-9
Foundations, Algorithms and Applications
eBook (PDF mit Wasserzeichen)2025Springer Nature SwitzerlandISBN 978-3-031-98345-0
eBook (PDF mit Wasserzeichen)2023Springer International PublishingISBN 978-3-031-26904-2
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
eBook (PDF mit Wasserzeichen)2023Springer International PublishingISBN 978-3-031-21112-6
Ubar / Raik / Jenihhin
Theory and Applications
eBook (PDF mit Wasserzeichen)2024Springer Nature SwitzerlandISBN 978-3-031-44734-1
A Compendium on the Core Model, Analysis, and Synthesis
eBook (PDF mit Wasserzeichen)2024Springer International PublishingISBN 978-3-031-48278-6
Kosmatov / Prevosto / Signoles
Core Components, Usages, and Applications
eBook (PDF mit Wasserzeichen)2024Springer Nature SwitzerlandISBN 978-3-031-55608-1
Rezensionen
