Katalog der Deutschen Nationalbibliothek

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

15051 - 15060 von 15647

	15051	Algorithmic learning theory Berlin : Springer, 2005
	15052	An environment for compositional specification verification of complex embedded systems Wittke, Hartmut, 2005
	15053	Analysis and verification of systems with dynamically evolving structure König, Barbara, [2005]
	15054	Analysis of compositional conflicts in component based systems Leicher, Andreas, 2005
	15055	Analyzing Computer System Performance with Perl::PDQ Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
	15056	Ant colony optimization on runtime reconfigurable architectures Scheuermann, Bernd, 2005
	15057	Applications of Declarative Programming and Knowledge Management Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
	15058	Applications of Evolutionary Computing Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
	15059	Approximation properties of non-separable wavelet bases with isotropic scaling matrices and their relation to Besov spaces Lindemann, Mathias, 2005
	15060	Arithmetik nicht-hyperelliptischer Kurven des Geschlechts 3 und ihre Anwendung in der Kryptographie Oyono, Roger, 2005

15051 - 15060 von 15647