Katalog der Deutschen Nationalbibliothek

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

16421 - 16430 von 17430

	16421	Finite state methods and natural language processing Berlin : Springer, 2006
	16422	Flexible and reconfigurable support for fault-tolerant object replication Reiser, Hans Peter, 2006, [Online-Ausg.]
	16423	Formal approaches to software testing and runtime verification Berlin : Springer, 2006
	16424	Formal methods Berlin : Springer, 2006
	16425	Formal methods and software engineering Berlin : Springer, 2006
	16426	Formal methods for components and objects Berlin : Springer, 2006
	16427	Formal methods for hardware verification Berlin : Springer, 2006
	16428	Formal modeling and analysis of timed systems Berlin : Springer, 2006
	16429	Formal techniques for networked and distributed systems Berlin : Springer, 2006
	16430	Formal verification of a processor with memory management units Dalinger, Iakov, 2006

16421 - 16430 von 17430