Schlagwort Compiler – alle Bücher

Ihre Suche nach dem Schlagwort "Compiler" in Bücher ergab 10 Treffer.

Alexandru Jecan
Die Modularität von Java 9

Entwickeln Sie modulare Anwendungen mit dem Java Platform Module System, dem am meisten erwarteten Feature von Java 9. Sie werden die Wartbarkeit und Leistung Ihrer Java-Anwendungen verbessern, indem Sie …

lieferbar innerhalb 2-3 Wochen

Buch

Peter Mandl
Einfu¿hrung in die Bash

Das Buch vermittelt praktisch verwertbare Shell-Kenntnisse mit einem Fokus auf Bash unter Linux. Neben den grundlegenden Konzepten werden die wichtigsten Bash-Kommandos für die Dateibearbeitung, die Verga…

lieferbar innerhalb 2-3 Wochen

Buch

Martin P. Robillard
Introduction to Software Design with Java

This textbook provides an in-depth introduction to software design, with a focus on object-oriented design, and using the Java programming language. Its goal is to help readers learn software design by di…

lieferbar ab 9.1.2026.

Buch

Edwin Schicker
Datenbanken und SQL

Dieses aktualisierte Lehrbuch vermittelt fundierte Grundkenntnisse sowohl in Datenbanken als auch in SQL. Eine Zusammenfassung und zahlreiche Übungsaufgaben in jedem Kapitel dienen der Vertiefung des Stof…

sofort lieferbar

Buch

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

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…

sofort lieferbar

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

OpenMP: Balancing Productivity and Performance Portability

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 innerhalb 2-3 Wochen

Buch

Programming Languages and Systems

.- Type Systems, Safety, and Verification. .- Memory Safety: Uniqueness as Separation. .- Fair Termination for Resource-Aware Active Objects. .- A Formal Foundation for Equational Reasoning on Probabilist…

lieferbar innerhalb 2-3 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

Static Analysis

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 innerhalb 2-3 Wochen

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.