Katalog der Deutschen Nationalbibliothek

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

7581 - 7590 von 7759

	7581	Recent Trends in Algebraic Development Techniques Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
	7582	Removing cycles in Esterel programs [Wadern] : [Internat. Begegnungs- und Forschungszentrum für Informatik], [2005]
	7583	Removing Cycles in Esterel Programs Lukoschus, Jan. - Kiel : Universitätsbibliothek Kiel, 2005
	7584	Rootkits Hoglund, Greg. - München : Pearson Deutschland, 2005
	7585	Safe and precise WCET determination by abstract interpretation of pipeline models Thesing, Stephan, [2005]
	7586	Scalability of microkernel-based systems Uhlig, Volkmar, 2005
	7587	Sicherheit in verteilten virtuellen Umgebungen Köhnlein, Jan, 2005
	7588	Simulation-based simplification of omega-automata Fritz, Carsten, 2005
	7589	Software Engineering for Multi-Agent Systems III Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
	7590	Software-Qualitätssicherung durch Automatisierung Metzger, Andreas, [2005]