Katalog der Deutschen Nationalbibliothek

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

2861 - 2870 von 2951

	2861	Safe and precise WCET determination by abstract interpretation of pipeline models Thesing, Stephan, [2005]
	2862	Scalability of microkernel-based systems Uhlig, Volkmar, 2005
	2863	Scalability of microkernel-based systems Uhlig, Volkmar, 2005
	2864	Sicherheit in verteilten virtuellen Umgebungen Köhnlein, Jan. - Berlin : Mensch-und-Buch-Verl., 2005
	2865	Sicherheit in verteilten virtuellen Umgebungen Köhnlein, Jan, 2005
	2866	Sicherheitsbewertung verteilter komponentenbasierter Programmsysteme Schnitzer, Bernd. - Erlangen : Inst. für Informatik, 2005
	2867	Simulation-based simplification of omega-automata Fritz, Carsten, 2005
	2868	Simulation-based simplification of omega-automata Fritz, Carsten, 2005
	2869	Software-Qualitätssicherung durch Automatisierung Metzger, Andreas. - Kaiserslautern : Fachbereich Informatik, Techn. Univ., 2005, Als Ms. gedr.
	2870	Software-Qualitätssicherung durch Automatisierung Metzger, Andreas, [2005]