Katalog der Deutschen Nationalbibliothek

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

7591 - 7600 von 7750

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