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=0*
im Bestand: Gesamter Bestand

9341 - 9350 von 9876

	9341	An environment for compositional specification verification of complex embedded systems Wittke, Hartmut, 2005
	9342	An environment for compositional specification verification of complex embedded systems Wittke, Hartmut, 2005
	9343	Analysis and verification of systems with dynamically evolving structure König, Barbara, [2005]
	9344	Analysis of compositional conflicts in component based systems Leicher, Andreas, 2005
	9345	Ant colony optimization on runtime reconfigurable architectures Scheuermann, Bernd, 2005
	9346	Ant colony optimization on runtime reconfigurable architectures Scheuermann, Bernd, 2005
	9347	Approximation properties of non-separable wavelet bases with isotropic scaling matrices and their relation to Besov spaces Lindemann, Mathias, 2005
	9348	Approximation properties of non-separable wavelet bases with isotropic scaling matrices and their relation to Besov spaces Lindemann, Mathias. - Bremen : University Bremen, 2005
	9349	Architectural synthesis of a coarse-grained run-time-reconfigurable accelerator for DSP applications Obeid, Abdulfattah Mohammad, 2005
	9350	Arithmetik nicht-hyperelliptischer Kurven des Geschlechts 3 und ihre Anwendung in der Kryptographie Oyono, Roger, 2005