Katalog der Deutschen Nationalbibliothek

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

651 - 660 von 719

	651	The domatic number problem: Boolean hierarchy completeness and exact exponential time algorithms Riege, Tobias, 2006
	652	The model data overlap Lorenz, Sönke, 2006
	653	The model data overlap Lorenz, Sönke, [2006]
	654	Tverberg-type theorems and the fractional Helly property Hell, Stephan, 2006
	655	Vergleich unstetiger Funktionen Mylatz, Uwe, 2006
	656	Weintrauben, polynome, tableaux Kohnert, Axel, [2006]
	657	Width functions for hypertree decompositions Adler, Isolde, 2006
	658	Zwei Gedanken zur höherstufigen Unifikation Kübler, Martin, 2006
	659	A new algorithm for the quantified satisfiability problem, based on zero-suppressed binary decision diagrams and memoization Ghasemzadeh, Mohammad, 2005
	660	A new algorithm for the quantified satisfiability problem, based on zero-suppressed binary decision diagrams and memoization Ghasemzadeh, Mohammad, 2005