Katalog der Deutschen Nationalbibliothek

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

241 - 250 von 410

	241	Automated methods for formal proofs in simple arithmetics and algebra Chaieb, Amine, 2008
	242	Autonomous units as a rule based concept for the modeling of autonomous and cooperating process Hölscher, Karsten. - Berlin : Logos, 2008
	243	Carl Stumpf und Gottlob Frege Ewen, Wolfgang. - Würzburg : Königshausen & Neumann, 2008
	244	Characterizations of planar lattices by left-relations Zschalig, Christian, 2008
	245	Cohomology of graph hypersurfaces associated to certain Feynman graphs Doryn, Dzmitry, 2008
	246	Combinational algorithms for packing and scheduling problems Stee, Rob van, 2008
	247	Continuous Ramsey theory in higher dimensions Frick, Stefanie, 2008
	248	Die Berechnungsstärke von Forgetting-Automaten Glöckler, Jens, 2008
	249	Discrete and absolute hub location problems Meyer, Tanja. - München : Verl. Dr. Hut, 2008, 1. Aufl.
	250	Disturbed diffusive processes for solving partitioning problems on graphs Meyerhenke, Henning, 2008