Katalog der Deutschen Nationalbibliothek

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

381 - 390 von 413

	381	A non-deterministic call-by-need lambda calculus Mann, Matthias, 2005
	382	Advances in equational theorem proving Löchner, Bernd, 2005
	383	Aesthetics and automatic layout of UML class diagrams Eichelberger, Holger, 2005
	384	Algebraic closures in complexity theory Böhler, Elmar, 2005
	385	Approximation properties of non-separable wavelet bases with isotropic scaling matrices and their relation to Besov spaces Lindemann, Mathias. - Bremen : University Bremen, 2005
	386	Block-zerlegbare divisible Designs Giese, Sabine, 2005
	387	Coalgebras, monads and semantics Milius, Stefan, 2005
	388	Discrepancy of arithmetic structures Hebbinghaus, Nils, 2005
	389	Effiziente Algorithmen zur Bestimmung der Unabhängigkeitszahl in Graphen Mahfud, Suhail, 2005
	390	Flexible heuristic control for combining automation and user-interaction in inductive theorem proving Schmidt-Samoa, Tobias, 2005