Katalog der Deutschen Nationalbibliothek

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

7461 - 7470 von 7970

	7461	Verified proof carrying code Wildmoser, Martin, 2006
	7462	Verified proof carrying code Wildmoser, Martin, 2006
	7463	Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens Pulvermüller, Elke, 2006
	7464	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	7465	Verifying concurrent systems with symbolic execution Balser, Michael. - Aachen : Shaker, 2006
	7466	Verifying Concurrent Systems with Symbolic Execution Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage
	7467	Verlässlichkeit in Campusnetzen Reinecke, Christoph S.. - Berlin : Logos-Verl., 2006
	7468	Versuche zum Lernen artikulierter Objekte aus Bildsequenzen Schäfer, Achim. - Aachen : Shaker, 2006
	7469	Versuche zum Lernen artikulierter Objekte aus Bildsequenzen Schäfer, Achim. - Aachen : Shaker, 2006, 1. Auflage
	7470	Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico. - Karlsruhe : FZI, 2006