Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2026 bereitgestellt. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2026.

Ergebnis der Suche nach: "113726414"
im Bestand: Gesamter Bestand

1 - 10 von 103

	1	Model-based systems engineering with the SPES modeling language Bremen : GfSE Verlag, [2025]
	2	Model-Driven Engineering for Digital Twins: Opportunities and Challenges Michael, Judith. - Aachen : Universitätsbibliothek der RWTH Aachen, 2025
	3	Towards an Isabelle Theory for Distributed, Interactive, Real-Time Systems Volume 2 Kausch, Hendrik. - Düren : Shaker, 2025, 1. Auflage
	4	Towards an Isabelle Theory for Distributed, Interactive, Real-Time Systems Volume 2 Kausch, Hendrik. - Düren : Shaker, 2025, 1. Auflage
	5	Applied Model-Based Co-Development for Zero-Emission Flight Systems Based on SysML Kausch, H.. - Bonn : Deutsche Gesellschaft für Luft- und Raumfahrt - Lilienthal-Oberth e.V., 2024
	6	AutoArx Jordan, Sven. - Braunschweig : Technische Universität Braunschweig, 2024
	7	AutoKnigge—Modeling, Evaluation and Verification of Cooperative Interacting Automobiles Kehl, Christian. - Aachen : Universitätsbibliothek der RWTH Aachen, 2024
	8	Ernst Denert Award for Software Engineering 2022 Cham : Springer Nature Switzerland, Imprint: Springer, 2024, 1st ed. 2024
	9	Integrating models of civil structures in digital twins Michael, Judith. - Aachen : Universitätsbibliothek der RWTH Aachen, 2024
	10	Model-driven development for functional correctness of avionics systems Kausch, Hendrik. - Aachen : Universitätsbibliothek der RWTH Aachen, 2024