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

Der Multimedia-Zeitschriftenlesesaal und der Kartenlesesaal in Leipzig sind vom 30.10. bis 03.11. geschlossen. // The multimedia/periodical reading room and the map reading room in Leipzig are closed from 30.10 to 03.11.

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

221 - 230 von 3325

	221	Supporting graph editing in visual representations Gladisch, Stefan. - Rostock : Universität Rostock, 2016
	222	Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme Appold, Christian. - Würzburg : Universität Würzburg, 2016
	223	The Expressive Power, Satisfiability and Path Checking Problems of MTL and TPTL over Non-Monotonic Data Words Feng, Shiguang. - Leipzig : Universitätsbibliothek Leipzig, 2016
	224	The model-theoretic complexity of automatic linear orders Huschenbett, Martin. - Ilmenau : Universitätsbibliothek Ilmenau, 2016
	225	Towards Modular and Flexible Access Control on Smart Mobile Devices Heuser, Stephan. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
	226	Towards reproducible simulation studies with JAMES II Rybacki, Stefan. - Rostock : Universität Rostock, 2016
	227	Uncertainty Decoding for Reverberation-Robust Automatic Speech Recognition Maas, Roland. - Erlangen : FAU University Press, 2016
	228	Unsupervised Methods for Learning and Using Semantics of Natural Language Riedl, Martin. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
	229	Variational Methods for Discrete Tomography Deniţiu, Andreea. - Heidelberg : Universitätsbibliothek Heidelberg, 2016
	230	Visual discovery of landmarks and their details in large-scale image collections Weyand, Tobias. - Aachen : Universitätsbibliothek der RWTH Aachen, 2016