Katalog der Deutschen Nationalbibliothek

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

371 - 380 von 410

	371	Shape optimized graph partitioning Schamberger, Stefan, 2006
	372	Stability analysis and stabilization of fuzzy state space models Zhu, Kunping, 2006
	373	The complexity of membership problems for finite recurrent systems and minimal triangulations Meister, Daniel, 2006
	374	The domatic number problem: Boolean hierarchy completeness and exact exponential time algorithms Riege, Tobias, 2006
	375	The model data overlap Lorenz, Sönke, 2006
	376	Vergleich unstetiger Funktionen Mylatz, Uwe, 2006
	377	A new algorithm for the quantified satisfiability problem, based on zero-suppressed binary decision diagrams and memoization Ghasemzadeh, Mohammad, 2005
	378	A non-deterministic call-by-need lambda calculus Mann, Matthias, 2005
	379	Advances in equational theorem proving Löchner, Bernd, 2005
	380	Aesthetics and automatic layout of UML class diagrams Eichelberger, Holger, 2005