Katalog der Deutschen Nationalbibliothek

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

1131 - 1140 von 1747

	1131	Aspects of mathematical modelling Basel : Birkhäuser, 2008
	1132	Aus 1 mach 2 Wapner, Leonard M.. - Heidelberg : Spektrum, Akad. Verl., 2008
	1133	Automated methods for formal proofs in simple arithmetics and algebra Chaieb, Amine, 2008
	1134	Automated methods for formal proofs in simple arithmetics and algebra Chaieb, Amine, 2008
	1135	Autonomous units as a rule based concept for the modeling of autonomous and cooperating process Hölscher, Karsten. - Berlin : Logos, 2008
	1136	Between mathematics and computer science Berlin : Springer, 2008
	1137	Binary systems Bochmann, Dieter. - Dresden : TUDpress, 2008
	1138	Carl Stumpf und Gottlob Frege Ewen, Wolfgang. - Würzburg : Königshausen & Neumann, 2008
	1139	Characterizations of planar lattices by left-relations Zschalig, Christian, 2008
	1140	Cohomology of graph hypersurfaces associated to certain Feynman graphs Doryn, Dzmitry, 2008