Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.

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

451 - 460 von 1204

	451	Minimal-invasive Neuübersetzung von Typen in lang laufenden Systemen Schmidt, Patrick, 2011
	452	Mixed reality in the loop Stöcklein, Jörg. - Paderborn : Universitätsbibliothek, 2011
	453	Model-based mutation testing for test generation and adequacy analysis Hollmann, Axel. - Paderborn : Universitätsbibliothek, 2011
	454	Modellbasierte Generierung von Benutzungsoberflächen Wolff, Andreas. - Rostock : Universität Rostock, 2011
	455	Modellierung und Techniken zur Optimierung von Multiagentensystemen in Zellularen Automaten Ediger, Patrick. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2011
	456	Modellierung und Verifikation von verteilten/parallelen Informationssystemen Ali, Khaoula al-. - Ilmenau : Universitätsbibliothek Ilmenau, 2011
	457	Multilaterally Secure Pervasive Cooperation Weber, Stefan Georg. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2011
	458	Multioperator Weighted Monadic Datalog Stüber, Torsten. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011
	459	Musterbasiertes Filtern von Schadprogrammen und Spam Trinius, Philipp. - Mannheim : Universitätsbibliothek Mannheim, 2011
	460	On Normalization and Type Checking for Tree Transducers Friese, Sylvia. - München : Universitätsbibliothek der TU München, 2011

451 - 460 von 1204

Alle Materialarten > Online Ressourcen (1204)

Alle Kataloge/Sammlungen

Hochschulschriften (1071)

Alle Standorte > Online (frei zugänglich) (1204)

Aktionen

Administration