Trefferliste "Compiler Und Übersetzer" - alle Bücher

Ihre Suche nach dem Thema "Compiler Und Übersetzer" in Bücher ergab 12 Treffer.

Pankaj Jalote
A Concise Introduction to Software Engineering

Software engineering has changed: A software project today is likely to use large language models (LLMs) for some tasks and will employ some open-source software. It is therefore important to integrate op…

lieferbar innerhalb 2-3 Wochen

Buch

AIxIA 2024 - Advances in Artificial Intelligence

This book constitutes the refereed proceedings of the XXIIIrd International Conference on AIxIA 2024 - Advances in Artificial Intelligence, AIxIA 2024, held in Bolzano, Italy, during November 25-28, 2024.…

lieferbar innerhalb 2-3 Wochen

Buch

Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems

Lecture Notes in Artificial Intelligence, Lecture Notes in Computer Science - Band 15936

This book constitutes the refereed post-conference proceedings of the 7th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2025, held in Detroit, MI, USA, during…

lieferbar ab 15.11.2025.

Buch

Formal Methods for Industrial Critical Systems

This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27--28, 2025. The 13 full p…

sofort lieferbar

Buch

Graph Transformation

This book constitutes the refereed proceedings of the 18th International Conference on Graph Transformation, ICGT 2025, held in Koblenz, Germany, during June 11-12, 2025. The 10 full papers and 1 short pa…

lieferbar innerhalb 2-3 Wochen

Buch

Informatics in Schools. Fostering Problem-Solving, Creativity, and Critical Thinking Through Computer Science Education

This book constitutes the proceedings of the 18th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2025, held in Trier, Germany, during September 8--10, 20…

lieferbar innerhalb einer Woche

Buch

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

This book constitutes the proceedings of the 17th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2024, held in Budapest, Hungary, during October 28¿30, 20…

lieferbar innerhalb 2-3 Wochen

Buch

OpenMP: Balancing Productivity and Performance Portability

Lecture Notes in Computer Science - Band 16123

This book constitutes the refereed proceedings of the 21st International Workshop on OpenMP, IWOMP 2025, in Charlotte, NC, USA, during October 1 -- October 3, 2025The 14 full papers included in this book …

lieferbar in mind. 4 Wochen

Buch

Runtime Verification

.- Algorithmic Fairness: A Runtime Perspective. .- DSLs for Runtime Verification: A Tutorial. .- Execution and monitoring of HOA automata with HOAX. .- Formal Verification of Neural Certificates Done Dyna…

lieferbar innerhalb 2-3 Wochen

Buch

Runtime Verification

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.The 11 full papers, 5 short paper…

lieferbar innerhalb 2-3 Wochen

Buch

Static Analysis

This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024.Static analysis is widely recognized as a fundament…

lieferbar innerhalb 2-3 Wochen

Buch

Static Analysis

Lecture Notes in Computer Science - Band 16100

This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025.The 15 papers included here were carefully revie…

lieferbar ab 15.11.2025.

Buch

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.