Logik, Formale Sprachen, Automaten
Ubar / Raik / Jenihhin
Theory and Applications
Fachbuch2025Birkhäuser Verlag GmbHISBN 978-3-031-44736-5
Concepts, Languages, Architectures
Fachbuch4., Fourth Edition 20242025SpringerISBN 978-3-662-69520-3
Concepts, Languages, Architectures
Fachbuch4., Fourth Edition 20242024SpringerISBN 978-3-662-69517-3
Rahman / Armgardt / Kvernenes
From Ancient Law to Modern Legal Systems
Fachbuch2022SpringerISBN 978-3-030-71683-7
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
Applications in MATLAB®
Fachbuch2025SpringerISBN 978-3-031-53807-0
Eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker
Fachbuch2., überarb. Aufl.2012De Gruyter OldenbourgISBN 978-3-486-71697-9
Sachbuch2025Wiley-VCH GmbHISBN 978-3-527-72245-7
Fachbuch2., Second Edition 20232025SpringerISBN 978-3-031-43330-6
Fachbuch2024SpringerISBN 978-3-031-44383-1
Ceccherini-Silberstein / Coornaert
Fachbuch2024SpringerISBN 978-3-031-10393-3
Fachbuch3., Third Edition 20242024SpringerISBN 978-3-031-42549-3
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
Gabbrielli / Martini
Fachbuch2nd ed. 20232023SpringerISBN 978-3-031-34143-4
Fachbuch3., Third Edition 20242023SpringerISBN 978-3-031-42546-2
Porkoláb / Zsók
Composability, Comprehensibility and Correctness of Working Software
Composability, Comprehensibility and Correctness of Working Software
8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers
Fachbuch2023SpringerISBN 978-3-031-42832-6