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.

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

81 - 90 von 1086

	81	Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme Appold, Christian. - Würzburg : Universität Würzburg, 2016
	82	Approaches to Automatic Text Structuring Erbs, Nicolai. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
	83	Assessing and Enhancing Functional Safety Mechanisms for Safety-Critical Software Systems Piper, Thorsten. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
	84	Code-Reuse Attacks and Defenses Davi, Lucas Vincenzo. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
	85	Concepts for In-memory Event Tracing Wagner, Michael. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2015
	86	Context-specific Consistencies in Information Extraction: Rule-based and Probabilistic Approaches Klügl, Peter. - Würzburg : Würzburg University Press, 2015
	87	Domain-sensitive Temporal Tagging for Event-centric Information Retrieval Strötgen, Jannik. - Heidelberg : Universitätsbibliothek Heidelberg, 2015
	88	Dynamic task scheduling and binding for many-core systems through stream rewriting Middendorf, Lars. - Rostock : Universität Rostock, 2015
	89	Entwicklung der Softwareplattform RESUS Li, Xiaoshuo. - Clausthal-Zellerfeld : Universitätsbibliothek Clausthal, 2015
	90	Exploratory search in time-oriented primary data Bernard, Jürgen. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015