Katalog der Deutschen Nationalbibliothek

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

1141 - 1150 von 1232

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

1141 - 1150 von 1232