Compiler

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

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

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

Pluhár / Gaál

Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning

Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning

Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning

17th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2024, Budapest, Hungary, October 28–30, 2024, Proceedings

17th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2024, Budapest, Hungary, October 28–30, 2024, Proceedings

Fachbuch2024SpringerISBN 978-3-031-73473-1

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

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

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

2024SpringerISBN 9789819790029

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

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

2., Second Edition 20252025SpringerISBN 978-3-031-74317-7

2., Second Edition 2025

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

Scott / Aldrich

Programming Language Pragmatics

Programming Language Pragmatics

Programming Language Pragmatics

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

5. Auflage

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