Katalog der Deutschen Nationalbibliothek

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

19151 - 19160 von 19477

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