Katalog der Deutschen Nationalbibliothek

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

19671 - 19680 von 20869

	19671	Formal approaches to software testing and runtime verification Berlin : Springer, 2006
	19672	Formal methods Berlin : Springer, 2006
	19673	Formal methods and software engineering Berlin : Springer, 2006
	19674	Formal methods for components and objects Berlin : Springer, 2006
	19675	Formal methods for hardware verification Berlin : Springer, 2006
	19676	Formal modeling and analysis of timed systems Berlin : Springer, 2006
	19677	Formal techniques for networked and distributed systems Berlin : Springer, 2006
	19678	Formal verification of a processor with memory management units Dalinger, Iakov, 2006
	19679	Forschung in der digitalen Welt Hamburg : Hamburg Univ. Press, 2006, [Version 1, Stand: 2006-10-11]
	19680	Foundations of intelligent systems Berlin : Springer, 2006

19671 - 19680 von 20869