Katalog der Deutschen Nationalbibliothek

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

761 - 770 von 1234

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

761 - 770 von 1234