Katalog der Deutschen Nationalbibliothek

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

371 - 380 von 413

	371	Recursion and subrecursion over finite and infinite words with applications to computable real valued functions Schulz, Holger, 2006
	372	Representations of lattice point sets Hemmecke, Raymond, 2006
	373	Residuated structures with involution Wille, Annika Meike. - Aachen : Shaker, 2006
	374	Shape optimized graph partitioning Schamberger, Stefan, 2006
	375	Stability analysis and stabilization of fuzzy state space models Zhu, Kunping, 2006
	376	The complexity of membership problems for finite recurrent systems and minimal triangulations Meister, Daniel, 2006
	377	The domatic number problem: Boolean hierarchy completeness and exact exponential time algorithms Riege, Tobias, 2006
	378	The model data overlap Lorenz, Sönke, 2006
	379	Vergleich unstetiger Funktionen Mylatz, Uwe, 2006
	380	A new algorithm for the quantified satisfiability problem, based on zero-suppressed binary decision diagrams and memoization Ghasemzadeh, Mohammad, 2005