Katalog der Deutschen Nationalbibliothek

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

1121 - 1130 von 1230

	1121	Usability challenges of PKI Straub, Tobias, 2006
	1122	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
	1123	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	1124	Verified proof carrying code Wildmoser, Martin, 2006
	1125	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	1126	Verifying Concurrent Systems with Symbolic Execution Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage
	1127	Verteilte kooperative Wissensräume Bopp, Thomas, 2006
	1128	Virtual machine support for aspect-oriented programming languages Haupt, Michael, [2006]
	1129	Zum Pfadverlust bei automatischer Testdatengenerierung mit dem Verkettungsansatz Makowka, Thorsten, 2006
	1130	Zuverlässiger verteilter Speicher mit transaktionaler Konsistenz Frenz, Stefan Martin, 2006

1121 - 1130 von 1230