Logik, Formale Sprachen, Automaten
Concepts, Languages, Architectures
Fachbuch4., Fourth Edition 20242025SpringerISBN 978-3-662-69520-3
Ubar / Raik / Jenihhin
Theory and Applications
Fachbuch2025Birkhäuser Verlag GmbHISBN 978-3-031-44736-5
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
Intensional Aspects of Proof-Theoretic Semantics
Fachbuch2025SpringerISBN 978-3-031-46923-7
Fachbuch2019Birkhäuser Verlag GmbHISBN 978-3-030-05540-0
2026CRC PressISBN 978-1-4398-7535-3
Fachbuch2025SpringerISBN 978-3-031-34520-3
Applications in JavaScript™
Fachbuch2025SpringerISBN 978-3-031-53822-3
Applications in Python™
Fachbuch2025SpringerISBN 978-3-031-53814-8
Applications in MATLAB®
Fachbuch2025SpringerISBN 978-3-031-53807-0
Selected Topics and Methods
Fachbuch2., Second Edition 20242025SpringerISBN 978-3-031-40675-1
Gumm / Sommer
Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität
Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität
Fachbuch2019De GruyterISBN 978-3-11-044238-0
Fachbuch2018SpringerISBN 978-3-319-10574-1
Fachbuch2024SpringerISBN 978-3-031-34517-3
Fachbuch7., aktualisierte Auflage2023Hanser FachbuchISBN 978-3-446-47779-7
Intensional Aspects of Proof-Theoretic Semantics
Fachbuch2024SpringerISBN 978-3-031-46920-6
Følstad / Araujo / Papadopoulos / Law / Luger / Goodwin / Hobert / Brandtzaeg
7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers
Fachbuch2024SpringerISBN 978-3-031-54974-8
Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings
Fachbuch2024SpringerISBN 978-3-031-55244-1
Kiefer / Kretínský / Kucera
Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
Fachbuch2024SpringerISBN 978-3-031-56221-1
BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS

