Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Exilsammlungen

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

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

Dienstag 18. November 2025: Die Lesesäle der Deutschen Nationalbibliothek in Frankfurt am Main öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 18 November 2025: The reading rooms of the German National Library in Frankfurt am Main will open at 13:00 due to a staff assembly.

Mittwoch, 19. November 2025: Die Deutsche Nationalbibliothek in Leipzig ist geschlossen.

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

151 - 160 von 1086

	151	Reconfiguration of legacy software artifacts in resource constraint embedded systems Baldin, Daniel. - Paderborn : Universitätsbibliothek, 2014
	152	Reducing Size and Complexity of the Security-Critical Code Base of File Systems Weinhold, Carsten. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2014
	153	Scalable Automated Incrementalization for Real-Time Static Analyses Mitschke, Ralf. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
	154	Schedulability Tests for Real-Time Uni- and Multiprocessor Systems Müller, Dirk. - Chemnitz : Universitätsbibliothek Chemnitz, 2014
	155	Small TCBs of policy-controlled operating systems Pölck, Anja. - Ilmenau : Universitätsbibliothek Ilmenau, 2014
	156	Sound Program Transformation Based on Symbolic Execution and Deduction Ji, Ran. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
	157	Supporting the Quality Assurance of a Scientific Framework Remmel, Hanna. - Heidelberg : Universitätsbibliothek Heidelberg, 2014
	158	Synchronization of Models on Different Abstraction Levels using Triple Graph Grammars Anjorin, Anthony. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
	159	Synthesis of Synchronous Programs to Parallel Software Architectures Baudisch, Daniel. - Kaiserslautern : Technische Universität Kaiserslautern, 2014
	160	Time-continuous behaviour comparison based on abstract models Palczynski, Jacob. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014