Katalog der Deutschen Nationalbibliothek

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

691 - 700 von 734

	691	Discrepancy of arithmetic structures Hebbinghaus, Nils, 2005, [Online-Ausg.]
	692	Effiziente Algorithmen zur Bestimmung der Unabhängigkeitszahl in Graphen Mahfud, Suhail, 2005
	693	Explanation of independence Adler, Hans, 2005
	694	Flexible heuristic control for combining automation and user-interaction in inductive theorem proving Schmidt-Samoa, Tobias, 2005
	695	From constructive mathematics to computable analysis via the realizability interpretation Lietz, Peter, [2005]
	696	Higher gap morasses Cárdenas, Franqui, 2005
	697	Higher gap morasses Cárdenas, Franqui, 2005
	698	Implementierung eines Algorithmus' für individuelles Matching in Beobachtungsstudien Schröder, Markus Karl Friedrich, 2005
	699	Komplexität von Gitterproblemen Seifert, Jean-Pierre, [2005]
	700	Konstruktion von Isomorphieklassen orientierter Matroide Gugisch, Ralf. - Bayreuth : Math. Inst. der Univ., 2005