Katalog der Deutschen Nationalbibliothek

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

541 - 550 von 1745

	541	Approximation algorithms for geometric packing problems Prädel, Lars Dennis, 2012
	542	Approximation, randomization, and combinatorial optimization Berlin : Springer, c 2012
	543	Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
	544	Assertion level proof planning with compiled strategies Dietrich, Dominik. - Göttingen : Optimus-Verl., 2012, New Ed.
	545	Automorphism towers and definability in generalized Baire spaces Lücke, Philipp Moritz, 2012
	546	Balanced partitioning of grids and related graphs Feldmann, Andreas Emil. - Göttingen : Cuvillier, 2012, 1. Aufl.
	547	Categorical semantics of constructive set theory Berg, Benno van den, 2012
	548	Clusteranalyse für Netzwerke Klages, Alexandra Rebecca. - Frankfurt, M. : Lang, 2012
	549	Combinatorial algorithms Berlin : Springer, 2012
	550	Combinatorial Algorithms Berlin, Heidelberg : Springer Berlin Heidelberg, 2012