Katalog der Deutschen Nationalbibliothek

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

1151 - 1160 von 1200

	1151	Quality and utility Schwarzfischer, Thomas, 2005
	1152	Quantum information processing and cavity QED Schön, Christian, 2005
	1153	Query equivalence and containment on relational and tree databases Wei, Fang, [2005]
	1154	Removing cycles in Esterel programs [Wadern] : [Internat. Begegnungs- und Forschungszentrum für Informatik], [2005]
	1155	Removing Cycles in Esterel Programs Lukoschus, Jan. - Kiel : Universitätsbibliothek Kiel, 2005
	1156	Safe and precise WCET determination by abstract interpretation of pipeline models Thesing, Stephan, [2005]
	1157	Scalability of microkernel-based systems Uhlig, Volkmar, 2005
	1158	Sicherheit in verteilten virtuellen Umgebungen Köhnlein, Jan, 2005
	1159	Simulation-based simplification of omega-automata Fritz, Carsten, 2005
	1160	Software-Qualitätssicherung durch Automatisierung Metzger, Andreas, [2005]