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

211 - 220 von 1086

	211	Methods for the Diagnosis and Automatic Repair of Software Systems Kern, Christian. - München : Universitätsbibliothek der TU München, 2013
	212	Mining and similarity search in temporal databases Kremer, Hardy. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
	213	Modellbasierte Generierung und Reduktion von Testsuiten für Software-Produktlinien Cichos, Harald. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
	214	Modellgetriebene Entwicklung von Kommunikationsprotokollen für drahtlos vernetzte Regelungssysteme Krämer, Marc. - Kaiserslautern : Technische Universität Kaiserslautern, 2013
	215	Monadic Parametricity of Second-Order Functionals Karbyshev, Aleksandr. - München : Universitätsbibliothek der TU München, 2013
	216	Multi-Quality Auto-Tuning by Contract Negotiation Götz, Sebastian. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013
	217	Mutating Runtime Architectures as a Countermeasure Against Power Analysis Attacks Stöttinger, Marc Sebastian Patric. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
	218	Normalization of Horn Clauses with Disequality Constraints Reuß, Andreas. - München : Universitätsbibliothek der TU München, 2013
	219	Novel Power Trace Processing Methods for Side-Channel Analysis of Cryptosystems Tian, Qizhi. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
	220	Object-Oriented Graph Grammars for Computational Design Synthesis Helms, Bergen. - München : Universitätsbibliothek der TU München, 2013