Katalog der Deutschen Nationalbibliothek

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

7511 - 7520 von 7922

	7511	Fast software encryption Berlin : Springer, 2006
	7512	Fast, Efficient and Predictable Memory Accesses Heidelberg : Springer Netherlands, 2006
	7513	Fault diagnosis and tolerance in cryptography Berlin : Springer, 2006
	7514	Financial cryptography and data security Berlin : Springer, 2006
	7515	Formal approaches to software testing and runtime verification Berlin : Springer, 2006
	7516	Formal methods Berlin : Springer, 2006
	7517	Formal methods and software engineering Berlin : Springer, 2006
	7518	Formal methods for components and objects Berlin : Springer, 2006
	7519	Formal techniques for networked and distributed systems Berlin : Springer, 2006
	7520	Formal verification of a processor with memory management units Dalinger, Iakov, 2006