Katalog der Deutschen Nationalbibliothek

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

20611 - 20620 von 20848

	20611	The town map Bergmann, Mike. - Dresden : TU, Fak. Informatik, 2005
	20612	The V-fiasco approach for a verified operating system Hohmuth, Michael. - Dresden : TU, Fak. Informatik, 2005
	20613	Theoretical aspects of grammar induction (TAGI) Tübingen : Wilhelm-Schickard-Inst. für Informatik, 2005
	20614	Theory and practice of transactional method caching Pfeifer, Daniel. - Karlsruhe : Univ., Fak. für Informatik, Bibl., 2005
	20615	Top-k retrieval in peer to peer networks Thaden, Uwe, 2005
	20616	Topological equivalence between a 3D object and the reconstruction of its digital image Stelldinger, Peer. - Hamburg : Univ., Bibl. des Fachbereichs Informatik, 2005
	20617	Towards a mobile temporal logic of actions Zappe, Júlia, 2005
	20618	Trace based debugging and visualisation of concurrent Java programs with UML Mehner-Heindl, Katharina, 2005
	20619	Über die Sicherheit und Effizienz kryptographischer Verfahren in algebraischen Zahlkörpern Meyer, Andreas Alfred, 2005
	20620	Umgebungsmodellierung auf der Basis von Stereo-Kamerabildern für eine Telepräsenzanwendung Passig, Georg, 2005