Katalog der Deutschen Nationalbibliothek

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

1161 - 1170 von 1700

	1161	World libraries Richter, Stefan, 2009
	1162	Zur automatischen Verifikation von UML-2-Aktivitätsdiagrammen Raschke, Alexander, 2009
	1163	A flow analysis framework for realistic scheme programs Knauel, Eric Jean, 2008
	1164	A framework for formal representation and transformational optimisation of executable specifications Meyer, Thomas. - Berlin : Logos-Verl., 2008
	1165	A methodology for modeling usage behavior of multi-functional systems Rittmann, Sabine, 2008
	1166	A model-driven approach to multi-agent system design Stallmann, Florian, 2008
	1167	A new approach to event driven programming Elssaedi, Mosbah Mohamed, 2008
	1168	A new assertion language covering multiple levels of abstraction Esen, Volkan, 2008
	1169	A probabilistic framework for information modelling and retrieval based on user annotations on digital objects Frommholz, Ingo Peter August, 2008
	1170	A theory of aspect orientation Fox Lozano, Jorge Alberto. - Berlin : Logos-Verl., 2008