Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00

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

24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations.

Ergebnis der Suche nach: cod="ro"
im Bestand: Gesamter Bestand

381 - 390 von 268824

	381	A Formal Language Perspective on Factorized Representations Kimelfeld, Benny. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	382	A formal model of party competition with salience Kurella, Anna-Sophie. - Mannheim : Universitätsbibliothek Mannheim, 2025
	383	A Formal Proof of Complexity Bounds on Diophantine Equations Bayer, Jonas. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	384	A Formalization of Divided Powers in Lean Chambert-Loir, Antoine. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	385	A Foundation for Synthetic Stone Duality Cherubini, Felix. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	386	A foundation model for atomistic materials chemistry Batatia, Ilyes. - Berlin : Bundesanstalt für Materialforschung und -prüfung (BAM), 2025
	387	A Fourth World Critique of the ICJ’s Climate Change Advisory Opinion Patro, Vaishali. - Berlin : Fachinformationsdienst für internationale und interdisziplinäre Rechtsforschung Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, 2025
	388	A fractional‐order trace‐dev‐div inequality Carstensen, C.. - Berlin : Humboldt-Universität zu Berlin, 2025
	389	A framework for assessing and enhancing product circularity by translating circular design criteria into measurable requirements Dreier, Jennifer. - Aachen : Universitätsbibliothek der RWTH Aachen, 2025
	390	A Framework for Belief-based Programs and Their Verification Liu, Daxin. - Aachen : Universitätsbibliothek der RWTH Aachen, 2025