Katalog der Deutschen Nationalbibliothek

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

261 - 270 von 287

	261	A new algorithm for the quantified satisfiability problem, based on zero-suppressed binary decision diagrams and memoization Ghasemzadeh, Mohammad, 2005
	262	Aesthetics and automatic layout of UML class diagrams Eichelberger, Holger, 2005
	263	Algebraic closures in complexity theory Böhler, Elmar, 2005
	264	Ambiguity functions of context-free grammars and languages Wich, Klaus, 2005
	265	Approximation properties of non-separable wavelet bases with isotropic scaling matrices and their relation to Besov spaces Lindemann, Mathias, 2005
	266	Aufzählung von kurzen Gittervektoren in allgemeiner Norm Ritter, Harald, [2005]
	267	Block-zerlegbare divisible Designs Giese, Sabine, 2005
	268	Crossings in clustered level graphs Forster, Michael, [2005]
	269	Discrepancy of arithmetic structures Hebbinghaus, Nils, 2005, [Online-Ausg.]
	270	Explanation of independence Adler, Hans, 2005