Katalog der Deutschen Nationalbibliothek

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

4041 - 4050 von 4422

	4041	UML basierte Zeitmodellierung für eingebettete Echtzeitsysteme Dimitrow, Wassil. - Chemnitz : Universitätsbibliothek Chemnitz, 2006
	4042	Ungarische Literatur in deutscher Sprache Göttingen : Universitätsverlag Göttingen, 2006
	4043	Unsupervised duplicate detection using sample non-duplicates Lehti, Patrick, 2006
	4044	Unterstützung des kooperativen Wissenserwerbs durch Hypervideo-Inhalte Finke, Matthias, [2006]
	4045	Untersuchungen zur sprachübergreifenden, bilingualen Suche mit Hilfe der Konzeptnetz-Technologie der SENTRAX-Engine Suriya Na Nhongkai, 2006
	4046	Usability challenges of PKI Straub, Tobias, 2006
	4047	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
	4048	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	4049	Verified proof carrying code Wildmoser, Martin, 2006
	4050	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]