Katalog der Deutschen Nationalbibliothek

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

15161 - 15170 von 15533

	15161	Tools and Algorithms for the Construction and Analysis of Systems Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
	15162	Top-k retrieval in peer to peer networks Thaden, Uwe, 2005
	15163	Towards a mobile temporal logic of actions Zappe, Júlia, 2005
	15164	Towards decentralized recommender systems Ziegler, Cai-Nicolas, 2005
	15165	Towards real-time novel view synthesis using visual hulls Li, Ming, 2005
	15166	Trace based debugging and visualisation of concurrent Java programs with UML Mehner-Heindl, Katharina, 2005
	15167	Typed Lambda Calculi and Applications Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
	15168	Typsysteme für die Dienstvermittlung in offenen verteilten Systemen Puder, Arno, [2005]
	15169	UML-basierter Klassen- und Integrationstest objektorientierter Programme Sokenou, Dehla, 2005
	15170	Unconventional computation Berlin : Springer, 2005

15161 - 15170 von 15533