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

761 - 770 von 1235

	761	Vergleich von Lehransätzen für die Ausbildung in IT-Sicherheit Mink, Martin, 2009, [Online-Ausg.]
	762	Verification of second-order functional programs Aderhold, Markus Axel, 2009
	763	Verification of temporal properties in embedded software Lettnin, Djones, 2009
	764	Widerstandsfähige Anonymisierungsnetze Oberender, Jens O.. - [Passau] : [Univ.-Bibliothek], 2009, [Online-Ausg.]
	765	World libraries Richter, Stefan, 2009
	766	Zur automatischen Verifikation von UML-2-Aktivitätsdiagrammen Raschke, Alexander, 2009, [Online-Ausg.]
	767	A cross-layer framework for sensor networks Lachenmann, Andreas Jürgen, 2008
	768	A flow analysis framework for realistic scheme programs Knauel, Eric Jean, 2008
	769	A lightweight framework for universal fragment composition Henriksson, Jakob, 2008
	770	A methodology for modeling usage behavior of multi-functional systems Rittmann, Sabine, 2008

761 - 770 von 1235

Alle Materialarten > Online Ressourcen (1235)

Alle Kataloge/Sammlungen > Hochschulschriften (1235)

Alle Standorte

Aktionen

Administration