Katalog der Deutschen Nationalbibliothek

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

281 - 290 von 309

	281	Width functions for hypertree decompositions Adler, Isolde, 2006
	282	Zwei Gedanken zur höherstufigen Unifikation Kübler, Martin, 2006
	283	A new algorithm for the quantified satisfiability problem, based on zero-suppressed binary decision diagrams and memoization Ghasemzadeh, Mohammad, 2005
	284	Aesthetics and automatic layout of UML class diagrams Eichelberger, Holger, 2005
	285	Algebraic closures in complexity theory Böhler, Elmar, 2005
	286	Ambiguity functions of context-free grammars and languages Wich, Klaus, 2005
	287	Approximation properties of non-separable wavelet bases with isotropic scaling matrices and their relation to Besov spaces Lindemann, Mathias, 2005
	288	Aufzählung von kurzen Gittervektoren in allgemeiner Norm Ritter, Harald, [2005]
	289	Block-zerlegbare divisible Designs Giese, Sabine, 2005
	290	Crossings in clustered level graphs Forster, Michael, [2005]

281 - 290 von 309