Katalog der Deutschen Nationalbibliothek

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

1601 - 1610 von 1705

	1601	Discrepancy of arithmetic structures Hebbinghaus, Nils, 2005, [Online-Ausg.]
	1602	Effiziente Algorithmen zur Bestimmung der Unabhängigkeitszahl in Graphen Mahfud, Suhail, 2005
	1603	Embedded in the shadow of the separator Göring, Frank. - Chemnitz : Techn. Univ., Fakultät für Mathematik, 2005
	1604	Explanation of independence Adler, Hans, 2005
	1605	Flexible heuristic control for combining automation and user-interaction in inductive theorem proving Schmidt-Samoa, Tobias, 2005
	1606	Formal Concept Analysis Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
	1607	From constructive mathematics to computable analysis via the realizability interpretation Lietz, Peter, [2005]
	1608	Higher gap morasses Cárdenas, Franqui, 2005
	1609	Higher gap morasses Cárdenas, Franqui, 2005
	1610	Implementierung eines Algorithmus' für individuelles Matching in Beobachtungsstudien Schröder, Markus Karl Friedrich, 2005