Katalog der Deutschen Nationalbibliothek

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

2771 - 2780 von 2948

	2771	Analysis and verification of systems with dynamically evolving structure König, Barbara, [2005]
	2772	Analysis of compositional conflicts in component based systems Leicher, Andreas, 2005
	2773	Arithmetik nicht-hyperelliptischer Kurven des Geschlechts 3 und ihre Anwendung in der Kryptographie Oyono, Roger, 2005
	2774	Building group awareness in distributed software development projects Kobylinski, Rafal, 2005
	2775	Building group awareness in distributed software development projects Kobylinski, Rafal, 2005
	2776	Challenges and applications of assembly level software model checking Mehler, Tilman, 2005
	2777	Challenges and applications of assembly level software model checking Mehler, Tilman, 2005, [Online-Ausg.]
	2778	Codegeneratoren für MOF-basierte Modellierungssprachen Bichler, Lutz, [2005]
	2779	Compositional scheduling analysis using standard event models Richter, Kai Robert, 2005
	2780	Compositional scheduling analysis using standard event models Richter, Kai Robert, 2005