Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Exilsammlungen

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

Die Lesesäle für Geisteswissenschaften, Naturwissenschaften, der Alte Lesesaal Technik und der Anne-Frank-Shoah-Lesesaal in Leipzig schließen am 04.02.2026 wegen einer Veranstaltung bereits um 15 Uhr. Die weiteren Lesesäle sowie die Servicetheke sind zu den regulären Zeiten geöffnet. //
The humanities reading room, the natural science reading room, the old technology reading room and the reading room of the Anne-Frank-Shoah-Library will close at 15:00 on 4 February 2026 due to an event. The other reading rooms and the service desk will be open during regular hours.

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

1171 - 1180 von 1792

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