Katalog der Deutschen Nationalbibliothek

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

19581 - 19590 von 20384

	19581	Unifying Themes in Complex Systems Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
	19582	Unsupervised duplicate detection using sample non-duplicates Lehti, Patrick, 2006
	19583	Unterstützung des kooperativen Wissenserwerbs durch Hypervideo-Inhalte Finke, Matthias, [2006]
	19584	Untersuchungen zur sprachübergreifenden, bilingualen Suche mit Hilfe der Konzeptnetz-Technologie der SENTRAX-Engine Suriya Na Nhongkai, 2006
	19585	Usability challenges of PKI Straub, Tobias, 2006
	19586	Variations on constants Berlin : Springer, 2006
	19587	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
	19588	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	19589	Verified proof carrying code Wildmoser, Martin, 2006
	19590	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]

19581 - 19590 von 20384