Katalog der Deutschen Nationalbibliothek

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

601 - 610 von 965

	601	Automated methods for formal proofs in simple arithmetics and algebra Chaieb, Amine, 2008
	602	Autonomous units as a rule based concept for the modeling of autonomous and cooperating process Hölscher, Karsten. - Berlin : Logos, 2008
	603	Between mathematics and computer science Berlin : Springer, 2008
	604	Binary systems Bochmann, Dieter. - Dresden : TUDpress, 2008
	605	Carl Stumpf und Gottlob Frege Ewen, Wolfgang. - Würzburg : Königshausen & Neumann, 2008
	606	Characterizations of planar lattices by left-relations Zschalig, Christian, 2008
	607	Cohomology of graph hypersurfaces associated to certain Feynman graphs Doryn, Dzmitry, 2008
	608	Combinational algorithms for packing and scheduling problems Stee, Rob van, 2008
	609	Competition hypergraphs of products of digraphs Sonntag, Martin. - Freiberg : Dekan der Fak. für Mathematik und Informatik, 2008
	610	Completeness theory for propositional logics Pogorzelski, Witold A.. - Basel : Birkhäuser, 2008