Logik, Formale Sprachen, Automaten
Selected Topics and Methods
Fachbuch3., Third Edition 20262026SpringerISBN 978-3-032-21252-8
Concepts, Languages, Architectures
Fachbuch4., Fourth Edition 20242025SpringerISBN 978-3-662-69520-3
Eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker
Fachbuch2., überarb. Aufl.2012De Gruyter OldenbourgISBN 978-3-486-71697-9
Concepts, Languages, Architectures
Fachbuch4., Fourth Edition 20242024SpringerISBN 978-3-662-69517-3
Gumm / Sommer
Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität
Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität
Fachbuch2019De GruyterISBN 978-3-11-044238-0
Fachbuch2019SpringerISBN 978-3-030-05540-0
Fachbuch2018SpringerISBN 978-3-319-10574-1
Intensional Aspects of Proof-Theoretic Semantics
Fachbuch2025SpringerISBN 978-3-031-46923-7
Fachbuch7., aktualisierte Auflage2023Hanser FachbuchISBN 978-3-446-47779-7
Fachbuch2024SpringerISBN 978-3-031-57634-8
A Practical Guide to Essentials
Fachbuch2024SpringerISBN 978-3-031-26214-2
Fachbuch2., Second Edition 20252024SpringerISBN 978-3-031-66424-3
The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"
Fachbuch2024SpringerISBN 978-3-031-42036-8
Fachbuch3., Third Edition 20242024Springer International PublishingISBN 978-3-031-42549-3
Ceccherini-Silberstein / Coornaert
Fachbuch2024SpringerISBN 978-3-031-10393-3
Fachbuch2024SpringerISBN 978-3-031-44383-1
Ubar / Raik / Jenihhin
Theory and Applications
Fachbuch2025SpringerISBN 978-3-031-44736-5
Selected Topics and Methods
Fachbuch2., Second Edition 20242025SpringerISBN 978-3-031-40675-1
Fachbuch2., Second Edition 20232025Springer Nature SwitzerlandISBN 978-3-031-43330-6
Applications in MATLAB®
Fachbuch2025SpringerISBN 978-3-031-53807-0
BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS

