Katalog der Deutschen Nationalbibliothek

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

91 - 100 von 410

	91	Approximation algorithms for geometric packing problems Prädel, Lars Dennis, 2012
	92	Assertion level proof planning with compiled strategies Dietrich, Dominik. - Göttingen : Optimus-Verl., 2012, New Ed.
	93	Automorphism towers and definability in generalized Baire spaces Lücke, Philipp Moritz, 2012
	94	Balanced partitioning of grids and related graphs Feldmann, Andreas Emil. - Göttingen : Cuvillier, 2012, 1. Aufl.
	95	Categorical semantics of constructive set theory Berg, Benno van den, 2012
	96	Clusteranalyse für Netzwerke Klages, Alexandra Rebecca. - Frankfurt, M. : Lang, 2012
	97	Complexity classifications for nonmonotonic reasoning and enumeration Schmidt, Johannes, 2012
	98	Computational aspects of dependence logic Lohmann, Peter, 2012
	99	Concept approximations Meschke, Christian, 2012
	100	Conceptual factors and fuzzy data Glodeanu, Cynthia-Vera, 2012