Katalog der Deutschen Nationalbibliothek

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

19141 - 19150 von 19466

	19141	The town map Bergmann, Mike. - Dresden : TU, Fak. Informatik, 2005
	19142	The V-fiasco approach for a verified operating system Hohmuth, Michael. - Dresden : TU, Fak. Informatik, 2005
	19143	Theory of Cryptography Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
	19144	Tools and Algorithms for the Construction and Analysis of Systems Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
	19145	Trace based debugging and visualisation of concurrent Java programs with UML Mehner-Heindl, Katharina, 2005
	19146	Trace based debugging and visualisation of concurrent Java programs with UML Mehner-Heindl, Katharina, 2005
	19147	Transaktionsverwaltung für dienstorientierte Architekturen Haller, Klaus, 2005, [Mikrofiche-Ausg.]
	19148	Typed Lambda Calculi and Applications Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
	19149	Typsysteme für die Dienstvermittlung in offenen verteilten Systemen Puder, Arno, [2005]
	19150	Über die Sicherheit und Effizienz kryptographischer Verfahren in algebraischen Zahlkörpern Meyer, Andreas Alfred, 2005