Katalog der Deutschen Nationalbibliothek

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