Compiler

Calvaresi / Najjar / Omicini / Aydogan / Carli / Ciatto / Hulstijn / Främling

Explainable and Transparent AI and Multi-Agent Systems

Explainable and Transparent AI and Multi-Agent Systems

Explainable and Transparent AI and Multi-Agent Systems

6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6–10, 2024, Revised Selected Papers

6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6–10, 2024, Revised Selected Papers

Fachbuch2024SpringerISBN 978-3-031-70073-6

Dodaro / Gupta / Martinez

Logic Programming and Nonmonotonic Reasoning

Logic Programming and Nonmonotonic Reasoning

Logic Programming and Nonmonotonic Reasoning

17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11–14, 2024, Proceedings

17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11–14, 2024, Proceedings

Fachbuch2024SpringerISBN 978-3-031-74208-8

Ábrahám / Abbas

Runtime Verification

Runtime Verification

Runtime Verification

24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings

24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings

Fachbuch2024SpringerISBN 978-3-031-74233-0

Jalote

A Concise Introduction to Software Engineering

A Concise Introduction to Software Engineering

A Concise Introduction to Software Engineering

With Open Source and GenAI

With Open Source and GenAI

Fachbuch2., Second Edition 20242025SpringerISBN 978-3-031-74317-7

2., Second Edition 2024

Lemanski / Johansen / Manalo / Viana / Bhattacharjee / Burns

Diagrammatic Representation and Inference

Diagrammatic Representation and Inference

Diagrammatic Representation and Inference

14th International Conference, Diagrams 2024, Münster, Germany, September 27 – October 1, 2024, Proceedings

14th International Conference, Diagrams 2024, Münster, Germany, September 27 – October 1, 2024, Proceedings

Fachbuch2024SpringerISBN 978-3-031-71290-6

Haxthausen / Serwe

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings

29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings

Fachbuch2024SpringerISBN 978-3-031-68149-3

Ogata / Mery / Sun / Liu

Formal Methods and Software Engineering

Formal Methods and Software Engineering

Formal Methods and Software Engineering

25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings

25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings

Fachbuch2024SpringerISBN 9789819606160

Peng / Wang / Li / Chen / Yang / Suh / Wu

Human Activity Recognition and Anomaly Detection

Human Activity Recognition and Anomaly Detection

Human Activity Recognition and Anomaly Detection

4th International Workshop, DL-HAR 2024, and First International Workshop, ADFM 2024, Held in Conjunction with IJCAI 2024, Jeju, South Korea, August 3–9, 2024, Revised Selected Papers

4th International Workshop, DL-HAR 2024, and First International Workshop, ADFM 2024, Held in Conjunction with IJCAI 2024, Jeju, South Korea, August 3–9, 2024, Revised Selected Papers

Fachbuch2024SpringerISBN 9789819790029

Harmer / Kosiol

Graph Transformation

Graph Transformation

Graph Transformation

17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10–11, 2024, Proceedings

17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10–11, 2024, Proceedings

Fachbuch2024SpringerISBN 978-3-031-64284-5

Hack / Wilhelm / Seidl

Übersetzerbau

Übersetzerbau

Übersetzerbau

Band 4: Codeerzeugung und maschinennahe Optimierung

Band 4: Codeerzeugung und maschinennahe Optimierung

20202019SpringerISBN 978-3-642-10355-1

2020

Scott / Aldrich

Programming Language Pragmatics

Programming Language Pragmatics

Programming Language Pragmatics

5. Auflage2025William Andrew PublishingISBN 978-0-323-99966-3

5. Auflage

Gumm / Sommer

Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität

Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität

Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität

Fachbuch2019De GruyterISBN 978-3-11-044238-0

Horn

A Functional, Comprehensive and Extensible Multi-Platform Querying and Transformation Approach

A Functional, Comprehensive and Extensible Multi-Platform Querying and Transformation Approach

A Functional, Comprehensive and Extensible Multi-Platform Querying and Transformation Approach

2016LogosISBN 978-3-8325-4291-7

Lüdemann

Kontrollflussanalyse und formale Begriffsanalyse von C-Code aus Software-Produktlinien mit Variabilitätsmanagement durch den Präprozessor

Kontrollflussanalyse und formale Begriffsanalyse von C-Code aus Software-Produktlinien mit Variabilitätsmanagement durch den Präprozessor

Kontrollflussanalyse und formale Begriffsanalyse von C-Code aus Software-Produktlinien mit Variabilitätsmanagement durch den Präprozessor

2018LogosISBN 978-3-8325-4742-4

Terence Parr

The Definitive ANTLR 4 Reference

The Definitive ANTLR 4 Reference

The Definitive ANTLR 4 Reference

2013Pragmatic ProgrammersISBN 978-1-934356-99-9

Jeffery

Build Your Own Programming Language

Build Your Own Programming Language

Build Your Own Programming Language

A programmer's guide to designing compilers, interpreters, and DSLs for solving modern computing problems

A programmer's guide to designing compilers, interpreters, and DSLs for solving modern computing problems

eBook (ePub ohne DRM)2021Packt PublishingISBN 978-1-80020-033-3