Katalog der Deutschen Nationalbibliothek

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

1481 - 1490 von 1742

	1481	Abhandlungen zur Methode der kleinsten Quadrate Gauß, Carl Friedrich. - Saarbrücken : VDM, Müller, 2006, [Reprint]
	1482	Advances in equational theorem proving Löchner, Bernd, [2006]
	1483	Algorithm design techniques for parameterized graph modification problems Guo, Jiong, 2006
	1484	Algorithm design techniques for parameterized graph modification problems Guo, Jiong, 2006
	1485	Algorithmic computer reconstructions of stalactite vaults - Muqarnas - in Islamic architecture Harmsen, Silvia, 2006
	1486	Algorithmische Eigenschaften von Branching-Time-Logiken Bauer, Sebastian, 2006
	1487	Algorithmische Eigenschaften von Branching-Time-Logiken Bauer, Sebastian, 2006
	1488	An exact mathematical approach for the automatic reconstruction, modification, and design of regulatory networks Wagler, Annegret. - Magdeburg : Univ., Fak. für Mathematik, 2006
	1489	Analogiebildung in der Mathematik und im Mathematikunterricht Seelze-Velber : Friedrich, 2006
	1490	Analysis, Modeling and Simulation of Multiscale Problems Heidelberg : Springer Berlin Heidelberg, 2006