Katalog der Deutschen Nationalbibliothek

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

2771 - 2780 von 2950

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