Katalog der Deutschen Nationalbibliothek

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

1601 - 1610 von 1734

	1601	A new algorithm for the quantified satisfiability problem, based on zero-suppressed binary decision diagrams and memoization Ghasemzadeh, Mohammad, 2005
	1602	A new algorithm for the quantified satisfiability problem, based on zero-suppressed binary decision diagrams and memoization Ghasemzadeh, Mohammad, 2005
	1603	A non-deterministic call-by-need lambda calculus Mann, Matthias, 2005
	1604	Advances in equational theorem proving Löchner, Bernd, 2005
	1605	Aesthetics and automatic layout of UML class diagrams Eichelberger, Holger, 2005
	1606	Aesthetics and automatic layout of UML class diagrams Eichelberger, Holger, 2005
	1607	Algebraic closures in complexity theory Böhler, Elmar, 2005
	1608	Algebraic closures in complexity theory Böhler, Elmar, 2005
	1609	Alla ricerca della via più breve Heidelberg : Springer Milan, 2005
	1610	Ambiguity functions of context-free grammars and languages Wich, Klaus, 2005