Katalog der Deutschen Nationalbibliothek

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

2761 - 2770 von 2940

	2761	An environment for compositional specification verification of complex embedded systems Wittke, Hartmut, 2005
	2762	Analysis and verification of systems with dynamically evolving structure König, Barbara, [2005]
	2763	Analysis of compositional conflicts in component based systems Leicher, Andreas, 2005
	2764	Arithmetik nicht-hyperelliptischer Kurven des Geschlechts 3 und ihre Anwendung in der Kryptographie Oyono, Roger, 2005
	2765	Building group awareness in distributed software development projects Kobylinski, Rafal, 2005
	2766	Building group awareness in distributed software development projects Kobylinski, Rafal, 2005
	2767	Challenges and applications of assembly level software model checking Mehler, Tilman, 2005
	2768	Challenges and applications of assembly level software model checking Mehler, Tilman, 2005, [Online-Ausg.]
	2769	Codegeneratoren für MOF-basierte Modellierungssprachen Bichler, Lutz, [2005]
	2770	Compositional scheduling analysis using standard event models Richter, Kai Robert, 2005