Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind von 10 bis 18 Uhr geöffnet. Die Ausstellungen des Deutschen Exilarchivs 1933-1945 sind von 9 bis 21:30 Uhr geöffnet. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00. The exhibitions of the German Exile Archive 1933–1945 will be open from 9:00 to 21:30.

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

981 - 990 von 1748

	981	Automating recursive definitions and termination proofs in higher-order logic Krauss, Alexander, 2009
	982	Automating recursive definitions and termination proofs in higher-order logic Krauss, Alexander, 2009
	983	Axiomatic fuzzy set theory and its applications Liu, Xiaodong. - Berlin : Springer, 2009
	984	Axiomatic fuzzy set theory and its applications Liu, Xiaodong. - Berlin : Springer, 2009
	985	Bicycles and left-right tours in locally finite graphs Win Myint, Melanie, 2009
	986	Cardinals as ultrapowers Bold, Stefan, 2009
	987	Cardinals as ultrapowers Bold, Stefan, 2009
	988	Characterizations of Planar Lattices Zschalig, Christian. - Saarbrücken : Suedwestdeutscher Verlag fuer Hochschulschriften, 2009
	989	Characterizations of planar lattices by left-relations Zschalig, Christian, 2009
	990	Classic papers in combinatorics Boston, Mass. : Birkhäuser, 2009, Reprint of the 1987 ed.