Katalog der Deutschen Nationalbibliothek

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

961 - 970 von 1068

	961	Usability challenges of PKI Straub, Tobias, 2006
	962	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
	963	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	964	Verified proof carrying code Wildmoser, Martin, 2006
	965	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	966	Verteilte kooperative Wissensräume Bopp, Thomas, 2006
	967	Virtual machine support for aspect-oriented programming languages Haupt, Michael, [2006]
	968	Zum Pfadverlust bei automatischer Testdatengenerierung mit dem Verkettungsansatz Makowka, Thorsten, 2006
	969	Zuverlässiger verteilter Speicher mit transaktionaler Konsistenz Frenz, Stefan Martin, 2006
	970	A framework for distributed collaborative software design meetings Boulila, Naoufel ben Ahmed, 2005

961 - 970 von 1068