Katalog der Deutschen Nationalbibliothek

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

2761 - 2770 von 2942

	2761	Aesthetics and automatic layout of UML class diagrams Eichelberger, Holger, 2005
	2762	An environment for compositional specification verification of complex embedded systems Wittke, Hartmut, 2005
	2763	An environment for compositional specification verification of complex embedded systems Wittke, Hartmut, 2005
	2764	Analysis and verification of systems with dynamically evolving structure König, Barbara, [2005]
	2765	Analysis of compositional conflicts in component based systems Leicher, Andreas, 2005
	2766	Arithmetik nicht-hyperelliptischer Kurven des Geschlechts 3 und ihre Anwendung in der Kryptographie Oyono, Roger, 2005
	2767	Building group awareness in distributed software development projects Kobylinski, Rafal, 2005
	2768	Building group awareness in distributed software development projects Kobylinski, Rafal, 2005
	2769	Challenges and applications of assembly level software model checking Mehler, Tilman, 2005
	2770	Challenges and applications of assembly level software model checking Mehler, Tilman, 2005, [Online-Ausg.]