Katalog der Deutschen Nationalbibliothek

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

651 - 660 von 718

	651	The model data overlap Lorenz, Sönke, 2006
	652	The model data overlap Lorenz, Sönke, [2006]
	653	Tverberg-type theorems and the fractional Helly property Hell, Stephan, 2006
	654	Vergleich unstetiger Funktionen Mylatz, Uwe, 2006
	655	Weintrauben, polynome, tableaux Kohnert, Axel, [2006]
	656	Width functions for hypertree decompositions Adler, Isolde, 2006
	657	Zwei Gedanken zur höherstufigen Unifikation Kübler, Martin, 2006
	658	A new algorithm for the quantified satisfiability problem, based on zero-suppressed binary decision diagrams and memoization Ghasemzadeh, Mohammad, 2005
	659	A new algorithm for the quantified satisfiability problem, based on zero-suppressed binary decision diagrams and memoization Ghasemzadeh, Mohammad, 2005
	660	A non-deterministic call-by-need lambda calculus Mann, Matthias, 2005