Logik, Formale Sprachen, Automaten
Concepts, Languages, Architectures
Fachbuch4., Fourth Edition 20242025SpringerISBN 978-3-662-69520-3
Selected Topics and Methods
Fachbuch3., Third Edition 20262026SpringerISBN 978-3-032-21252-8
Concepts, Languages, Architectures
Fachbuch4., Fourth Edition 20242024SpringerISBN 978-3-662-69517-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
Intensional Aspects of Proof-Theoretic Semantics
Fachbuch2025SpringerISBN 978-3-031-46923-7
Applications in Python™
Fachbuch2025SpringerISBN 978-3-031-53814-8
Applications in JavaScript™
Fachbuch2025SpringerISBN 978-3-031-53822-3
Fachbuch2025SpringerISBN 978-3-031-34520-3
Sachbuch2025Wiley-VCH GmbHISBN 978-3-527-72245-7
Applications in MATLAB®
Fachbuch2025SpringerISBN 978-3-031-53807-0
Hesse / Schrader
Logik, Mathematik und Physik in Einstellungstests verständlich erklärt
Lehrbuch/Studienliteratur2019STARKISBN 978-3-8490-3826-7
Fachbuch7., aktualisierte Auflage2023Hanser FachbuchISBN 978-3-446-47779-7
Fachbuch2024SpringerISBN 978-3-031-34517-3
Intensional Aspects of Proof-Theoretic Semantics
Fachbuch2024SpringerISBN 978-3-031-46920-6
Applications in JavaScript™
Fachbuch2024SpringerISBN 978-3-031-53819-3
Applications in MATLAB®
Fachbuch2024SpringerISBN 978-3-031-53804-9
Kiefer / Kretínský / Kucera
Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
Fachbuch2024SpringerISBN 978-3-031-56221-1
Meier / Ortiz
13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings
Fachbuch2024SpringerISBN 978-3-031-56939-5
Fachbuch2024SpringerISBN 978-3-031-57634-8
BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS

