Katalog der Deutschen Nationalbibliothek

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

7641 - 7650 von 7803

	7641	Theory of Cryptography Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
	7642	Tools and Algorithms for the Construction and Analysis of Systems Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
	7643	Trace based debugging and visualisation of concurrent Java programs with UML Mehner-Heindl, Katharina, 2005
	7644	Typed Lambda Calculi and Applications Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
	7645	Typsysteme für die Dienstvermittlung in offenen verteilten Systemen Puder, Arno, [2005]
	7646	UML-basierter Klassen- und Integrationstest objektorientierter Programme Sokenou, Dehla, 2005
	7647	Unterstützung der Adoption kommerzieller Standardsoftware durch Diagramme Loser, Kai-Uwe, 2005
	7648	Verification of Java card programs Stenzel, Kurt, 2005
	7649	Verification, Model Checking, and Abstract Interpretation Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
	7650	Viable network intrusion detection in high-performance environments Sommer, Robin, 2005