Katalog der Deutschen Nationalbibliothek

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

661 - 670 von 719

	661	A non-deterministic call-by-need lambda calculus Mann, Matthias, 2005
	662	Advances in equational theorem proving Löchner, Bernd, 2005
	663	Aesthetics and automatic layout of UML class diagrams Eichelberger, Holger, 2005
	664	Aesthetics and automatic layout of UML class diagrams Eichelberger, Holger, 2005
	665	Algebraic closures in complexity theory Böhler, Elmar, 2005
	666	Algebraic closures in complexity theory Böhler, Elmar, 2005
	667	Ambiguity functions of context-free grammars and languages Wich, Klaus, 2005
	668	Approximation properties of non-separable wavelet bases with isotropic scaling matrices and their relation to Besov spaces Lindemann, Mathias, 2005
	669	Approximation properties of non-separable wavelet bases with isotropic scaling matrices and their relation to Besov spaces Lindemann, Mathias. - Bremen : University Bremen, 2005
	670	Aufzählung von kurzen Gittervektoren in allgemeiner Norm Ritter, Harald, [2005]