Katalog der Deutschen Nationalbibliothek

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

371 - 380 von 409

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