Katalog der Deutschen Nationalbibliothek

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

401 - 410 von 719

	401	Analytische Maschinen und Berechenbarkeit analytischer Funktionen Gärtner, Tobias, 2008, [Online-Ausg.]
	402	Approximation algorithms for network design problems Schulze, Anna, 2008
	403	Approximation algorithms for network design problems Schulze, Anna, 2008
	404	Automated methods for formal proofs in simple arithmetics and algebra Chaieb, Amine, 2008
	405	Automated methods for formal proofs in simple arithmetics and algebra Chaieb, Amine, 2008
	406	Autonomous units as a rule based concept for the modeling of autonomous and cooperating process Hölscher, Karsten. - Berlin : Logos, 2008
	407	Carl Stumpf und Gottlob Frege Ewen, Wolfgang. - Würzburg : Königshausen & Neumann, 2008
	408	Characterizations of planar lattices by left-relations Zschalig, Christian, 2008
	409	Cohomology of graph hypersurfaces associated to certain Feynman graphs Doryn, Dzmitry, 2008
	410	Combinational algorithms for packing and scheduling problems Stee, Rob van, 2008