Katalog der Deutschen Nationalbibliothek

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

141 - 150 von 719

	141	Approximation algorithms for 2-dimensional packing and related scheduling problems Robenek, Christina, 2012
	142	Approximation algorithms for geometric packing problems Prädel, Lars Dennis, 2012
	143	Assertion level proof planning with compiled strategies Dietrich, Dominik. - Göttingen : Optimus-Verl., 2012, New Ed.
	144	Automorphism towers and definability in generalized Baire spaces Lücke, Philipp Moritz, 2012
	145	Balanced partitioning of grids and related graphs Feldmann, Andreas Emil. - Göttingen : Cuvillier, 2012, 1. Aufl.
	146	Categorical semantics of constructive set theory Berg, Benno van den, 2012
	147	Clusteranalyse für Netzwerke Klages, Alexandra Rebecca. - Frankfurt, M. : Lang, 2012
	148	Complexity classifications for nonmonotonic reasoning and enumeration Schmidt, Johannes. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2012
	149	Complexity classifications for nonmonotonic reasoning and enumeration Schmidt, Johannes, 2012
	150	Computational aspects of dependence logic Lohmann, Peter, 2012