Katalog der Deutschen Nationalbibliothek

Expertensuche ?

eingeschränkt auf
- Standorte:	Online (frei zugänglich)

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

Wegen Wartungsarbeiten ist vom 12. bis 14. Januar 2026 der Museumslesesaal, sowie vom 14. bis 16. Januar 2026 der Musiklesesaal geschlossen. // Due to maintenance work the museum reading room will be closed from 12 to 14 January 2026 and the music reading room from 14 to 16 January 2026.

Ergebnis der Suche nach: dcs=004*
im Bestand: Gesamter Bestand

1 - 10 von 1022

	1	Verteilte modellprädiktive Regelung nichtlinearer Systeme auf Basis einer echtzeitfähigen ADMM-Implementierung Burk, Daniel. - Erlangen : FAU University Press, 2024
	2	Engineering haptic devices Hamburg : Universitätsbibliothek der Technischen Universität Hamburg, 2023
	3	Towards Efficient Resource Allocation for Embedded Systems Hasler, Mattis. - Dresden : Technische Universität Dresden, 2023
	4	Konzept für die semantische Interoperabilität zwischen Informationsmodellen Miny, Torben. - Aachen : Universitätsbibliothek der RWTH Aachen, 2022
	5	Personalisierte eHomes Armaç, Ibrahim. - Aachen : Universitätsbibliothek der RWTH Aachen, 2022
	6	Softwareunterstützung für adaptive eHome-Systeme Retkowitz, Daniel. - Aachen : Universitätsbibliothek der RWTH Aachen, 2022
	7	Verification of structural and extra-functional properties in component and connector models for embedded and cyber-physical systems Wenckstern, Michael von. - Aachen : Universitätsbibliothek der RWTH Aachen, 2022
	8	Evaluating demand response opportunities for data centers Klingert, Sonja. - Mannheim : Universitätsbibliothek Mannheim, 2021
	9	Organic computing Kassel : kassel university press c/o Universität Kassel - Universitätsbibliothek, 2021
	10	Formalization of logical calculi in Isabelle/HOL Fleury, Mathias. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2020