Logik, Formale Sprachen, Automaten
Intensional Aspects of Proof-Theoretic Semantics
Fachbuch2025SpringerISBN 978-3-031-46923-7
Fachbuch2025SpringerISBN 978-3-031-34520-3
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Fachbuch2., Second Edition 20252025Birkhäuser Verlag GmbHISBN 978-3-031-85351-7
Concepts, Languages, Architectures
Fachbuch4., Fourth Edition 20242024SpringerISBN 978-3-662-69517-3
Applications in MATLAB®
Fachbuch2025SpringerISBN 978-3-031-53807-0
Rahman / Armgardt / Kvernenes
From Ancient Law to Modern Legal Systems
Fachbuch2022SpringerISBN 978-3-030-71683-7
Sachbuch2025Wiley-VCH GmbHISBN 978-3-527-72245-7
Ubar / Raik / Jenihhin
Theory and Applications
Fachbuch2025Birkhäuser Verlag GmbHISBN 978-3-031-44736-5
Fachbuch2., Second Edition 20232025Springer Nature SwitzerlandISBN 978-3-031-43330-6
Eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker
Fachbuch2., überarb. Aufl.2012De Gruyter OldenbourgISBN 978-3-486-71697-9
Fachbuch2024SpringerISBN 978-3-031-44383-1
Ceccherini-Silberstein / Coornaert
Fachbuch2024SpringerISBN 978-3-031-10393-3
Fachbuch3., Third Edition 20242024Springer International PublishingISBN 978-3-031-42549-3
Fachbuch2024SpringerISBN 978-3-031-57634-8
The 2nd Revised, Modified, and Enlarged Edition of 'Logics for Computer and Data Sciences, and Artificial Intelligence'
Fachbuch2024Springer Nature SwitzerlandISBN 978-3-031-42036-8
Fachbuch7., aktualisierte Auflage2023Hanser FachbuchISBN 978-3-446-47779-7
Gabbrielli / Martini
Fachbuch2nd ed. 20232023SpringerISBN 978-3-031-34143-4
Fachbuch2024SpringerISBN 978-3-031-34517-3
Pesquita / Skaf-Molli / Efthymiou / Kirrane / Ngonga / Collarana / Cerqueira / Alam / Trojahn / Hertling
Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings
Fachbuch2023SpringerISBN 978-3-031-43457-0
Ramanayake / Urban
Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods
32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings
Fachbuch2023SpringerISBN 978-3-031-43512-6