Katalog der Deutschen Nationalbibliothek

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

1141 - 1150 von 1234

	1141	Advanced concepts and applications of the UB-tree Widhopf-Fenk, Robert Josef, 2005
	1142	Aesthetics and automatic layout of UML class diagrams Eichelberger, Holger, 2005
	1143	An environment for compositional specification verification of complex embedded systems Wittke, Hartmut, 2005
	1144	Analysis and verification of systems with dynamically evolving structure König, Barbara, [2005]
	1145	Analysis of compositional conflicts in component based systems Leicher, Andreas, 2005
	1146	Arithmetik nicht-hyperelliptischer Kurven des Geschlechts 3 und ihre Anwendung in der Kryptographie Oyono, Roger, 2005
	1147	Building group awareness in distributed software development projects Kobylinski, Rafal, 2005
	1148	Challenges and applications of assembly level software model checking Mehler, Tilman, 2005, [Online-Ausg.]
	1149	Codegeneratoren für MOF-basierte Modellierungssprachen Bichler, Lutz, [2005]
	1150	Compositional scheduling analysis using standard event models Richter, Kai Robert, 2005

1141 - 1150 von 1234