Katalog der Deutschen Nationalbibliothek

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

7521 - 7530 von 7930

	7521	Fault diagnosis and tolerance in cryptography Berlin : Springer, 2006
	7522	Financial cryptography and data security Berlin : Springer, 2006
	7523	Formal approaches to software testing and runtime verification Berlin : Springer, 2006
	7524	Formal methods Berlin : Springer, 2006
	7525	Formal methods and software engineering Berlin : Springer, 2006
	7526	Formal methods for components and objects Berlin : Springer, 2006
	7527	Formal techniques for networked and distributed systems Berlin : Springer, 2006
	7528	Formal verification of a processor with memory management units Dalinger, Iakov, 2006
	7529	Foundations of software technology and theoretical computer science Berlin : Springer, 2006
	7530	Fully-parameterized, first-class modules with hygienic macros Gasbichler, Josef Martin, 2006