Katalog der Deutschen Nationalbibliothek

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

1471 - 1480 von 1735

	1471	A general method for generating Hermite type sampling expansions associated with regular eigenvalue problems Annaby, Mahmoud H.. - Duisburg : Univ., 2006
	1472	A non-deterministic call-by-need lambda calculus Mann, Matthias, [2006]
	1473	A primal Barvinok algorithm based on irrational decomposition Köppe, Matthias. - Magdeburg : Univ., Fak. für Mathematik, 2006
	1474	Abhandlungen zur Methode der kleinsten Quadrate Gauß, Carl Friedrich. - Saarbrücken : VDM Verlag Dr. Müller, 2006, 1. Aufl.
	1475	Abhandlungen zur Methode der kleinsten Quadrate Gauß, Carl Friedrich. - Saarbrücken : VDM, Müller, 2006, [Reprint]
	1476	Advances in equational theorem proving Löchner, Bernd, [2006]
	1477	Algorithm design techniques for parameterized graph modification problems Guo, Jiong, 2006
	1478	Algorithm design techniques for parameterized graph modification problems Guo, Jiong, 2006
	1479	Algorithmic computer reconstructions of stalactite vaults - Muqarnas - in Islamic architecture Harmsen, Silvia, 2006
	1480	Algorithmische Eigenschaften von Branching-Time-Logiken Bauer, Sebastian, 2006