Katalog der Deutschen Nationalbibliothek

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

271 - 280 von 965

	271	Approximation algorithms for 2-dimensional packing and related scheduling problems Robenek, Christina, 2012
	272	Approximation algorithms for geometric packing problems Prädel, Lars Dennis, 2012
	273	Approximation, randomization, and combinatorial optimization Berlin : Springer, c 2012
	274	Assertion level proof planning with compiled strategies Dietrich, Dominik. - Göttingen : Optimus-Verl., 2012, New Ed.
	275	Automorphism towers and definability in generalized Baire spaces Lücke, Philipp Moritz, 2012
	276	Balanced partitioning of grids and related graphs Feldmann, Andreas Emil. - Göttingen : Cuvillier, 2012, 1. Aufl.
	277	Categorical semantics of constructive set theory Berg, Benno van den, 2012
	278	Clusteranalyse für Netzwerke Klages, Alexandra Rebecca. - Frankfurt, M. : Lang, 2012
	279	Combinatorial algorithms Berlin : Springer, 2012
	280	Combining experimentation and theory Berlin : Springer, 2012