Katalog der Deutschen Nationalbibliothek

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

621 - 630 von 991

	621	Automated methods for formal proofs in simple arithmetics and algebra Chaieb, Amine, 2008
	622	Autonomous units as a rule based concept for the modeling of autonomous and cooperating process Hölscher, Karsten. - Berlin : Logos, 2008
	623	Between mathematics and computer science Berlin : Springer, 2008
	624	Binary systems Bochmann, Dieter. - Dresden : TUDpress, 2008
	625	Carl Stumpf und Gottlob Frege Ewen, Wolfgang. - Würzburg : Königshausen & Neumann, 2008
	626	Characterizations of planar lattices by left-relations Zschalig, Christian, 2008
	627	Cohomology of graph hypersurfaces associated to certain Feynman graphs Doryn, Dzmitry, 2008
	628	Competition hypergraphs of products of digraphs Sonntag, Martin. - Freiberg : Dekan der Fak. für Mathematik und Informatik, 2008
	629	Completeness theory for propositional logics Pogorzelski, Witold A.. - Basel : Birkhäuser, 2008
	630	Complexity of constraints Berlin : Springer, 2008