bernhard steffen
Grundlagen der höheren Informatik
Sofort lieferbarDieses Lehrbuch mit prüfungsrelevanten Aufgaben und Lösungen erläutert grundlegende Mathematik...
Denkmal und Energie
Sofort lieferbarDie Gebäudehülle muss wie kaum ein anderes Bauteil gleichzeitig eine Vielzahl an Anforderungen...
Einfach loslegen! Das 100-Tage-Erfolgsjournal
Sofort lieferbarMit dem Erfolgsjournal Einfach loslegen!' gelingt es, in nur 100 Tagen selbst definierte Vorhaben...
Archean Rare-Metal Pegmatites in Zimbabwe and Western Australia
Sofort lieferbarLithium-cesium-tantalum (LCT) pegmatites are important resources for rare metals. For Cs, only...
Baukonstruktion im Klimawandel
Sofort lieferbarDas vorliegende Buch zeigt baukonstruktive Lösungen für eine zukunftsfähige Gebäudeertüchtigung v...
Formal Methods for Industrial Critical Systems
Sofort lieferbarThis book constitutes the proceedings of the 30th International Conference on Formal Methods for ...
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
Print on DemandThe open access ISoLA 2026 proceedings constitutes contributions of the associated events held at...
Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps between Software and System Contracts
Print on DemandThe open access ISoLA 2026 proceedings constitutes contributions of the associated events held at...
Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems
Print on DemandThe open access ISoLA 2026 proceedings constitutes contributions of the associated events held at...
Leveraging Applications of Formal Methods, Verification and Validation. Formal Methods for Distributed Computing in Future Railway Systems
Print on DemandThe open access ISoLA 2026 proceedings constitutes contributions of the associated events held at...
Baukonstruktion im Klimawandel
Print on DemandDas vorliegende Buch zeigt baukonstruktive Lösungen für eine zukunftsfähige Gebäudeertüchtigung v...
Leveraging Applications of Formal Methods
Print on DemandThis book constitutes the thoroughly refereed post-proceedings of the First International Symposi...