Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.

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

1171 - 1180 von 1709

	1171	Verification of temporal properties in embedded software Lettnin, Djones, 2009
	1172	World libraries Richter, Stefan, 2009
	1173	Zur automatischen Verifikation von UML-2-Aktivitätsdiagrammen Raschke, Alexander, 2009
	1174	A flow analysis framework for realistic scheme programs Knauel, Eric Jean, 2008
	1175	A framework for formal representation and transformational optimisation of executable specifications Meyer, Thomas. - Berlin : Logos-Verl., 2008
	1176	A methodology for modeling usage behavior of multi-functional systems Rittmann, Sabine, 2008
	1177	A model-driven approach to multi-agent system design Stallmann, Florian, 2008
	1178	A new approach to event driven programming Elssaedi, Mosbah Mohamed, 2008
	1179	A new assertion language covering multiple levels of abstraction Esen, Volkan, 2008
	1180	A probabilistic framework for information modelling and retrieval based on user annotations on digital objects Frommholz, Ingo Peter August, 2008

1171 - 1180 von 1709

Alle Materialarten > Bücher (1709)

Alle Kataloge/Sammlungen > Hochschulschriften (1709)

Alle Standorte > Leipzig (1709)

Aktionen

Administration