Katalog der Deutschen Nationalbibliothek

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

891 - 900 von 962

	891	Topics in discrete mathematics Berlin : Springer, 2006
	892	Two negative results on partial least squares path models Krämer, Nicole. - Berlin : TU, Professoren der Fak. IV, 2006
	893	Uncomputability and computational completeness below and up to the real halting problem Meer, Klaus. - Bonn : Forschungsinst. für Diskrete Mathematik, 2006
	894	Vergleich unstetiger Funktionen Mylatz, Uwe, 2006
	895	A new algorithm for the quantified satisfiability problem, based on zero-suppressed binary decision diagrams and memoization Ghasemzadeh, Mohammad, 2005
	896	A non-deterministic call-by-need lambda calculus Mann, Matthias, 2005
	897	Advances in equational theorem proving Löchner, Bernd, 2005
	898	Aesthetics and automatic layout of UML class diagrams Eichelberger, Holger, 2005
	899	Algebraic closures in complexity theory Böhler, Elmar, 2005
	900	An improved bound on the cardinality of the minimal pairwise balanced designs on 18 points with maximum block size 4 Rostock : Univ., Inst. für Mathematik, 2005