Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.

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

621 - 630 von 991

Alle Materialarten > Bücher (991)

Alle Kataloge/Sammlungen

Alle Standorte > Leipzig (991)

Aktionen

Administration