Katalog der Deutschen Nationalbibliothek

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

7821 - 7830 von 7930

	7821	Recent Advances in Intrusion Detection Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
	7822	Recent Advances in Parallel Virtual Machine and Message Passing Interface Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
	7823	Rewriting Techniques and Applications Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
	7824	Secure Data Management Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
	7825	Security protocols Berlin : Springer, 2004
	7826	Software Process Improvement Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
	7827	String Processing and Information Retrieval Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
	7828	Teaching Formal Methods Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
	7829	[Types for proofs and programs] [Berlin : [Springer], 2004
	7830	UML-based test specification for communication systems Ebner, Michael, 2004