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

Der Multimedia-Zeitschriftenlesesaal und der Kartenlesesaal in Leipzig sind vom 30.10. bis 03.11. geschlossen. // The multimedia/periodical reading room and the map reading room in Leipzig are closed from 30.10 to 03.11.

Ihr Suchergebnis enthält zu viele Treffer. Bitte schränken Sie Ihre Suche weiter ein.

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

100001 - 100010 von 4463841

	100001	Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities Cham : Springer Nature Switzerland, Imprint: Springer, 2025, 1st ed. 2025
	100002	Formalizing Splitting in Isabelle/HOL Bergeron, Ghilain. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100003	Formalizing the Hidden Number Problem in Isabelle/HOL Binder, Sage. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100004	Formally Specifying Contract Optimizations with Bisimulations in Coq Sorensen, Derek. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100005	Formally Verifying a Vertical Cell Decomposition Algorithm Bertot, Yves. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100006	Formalwissenschaftlicher Beweis der Existenz Gottes über Kalkül - Mathematische Philosophie und Philosophie der Grammatik Henry, Robert Gilbert. - Meitingen : Radomski Stefan, 2025
	100007	Formalwissenschaftlicher Beweis der Existenz Gottes über Kalkül - Theoria Relativitatis Philosophiae Henry, Robert Gilbert. - Meitingen : tredition, 2025
	100008	Formation and Development of Mental Models in Partial and Conditional Driving Automation Feinauer, Sophie. - Dresden : Technische Universität Dresden, 2025
	100009	Formation and fate of secondary organic aerosol components in the atmosphere: explicit modeling at global scale Wieser, Felix. - Wuppertal : Universitätsbibliothek, 2025
	100010	Formation and Mitigation of Aerosols During the Combustion of Biomass De Riese, Thorben. - München : Verlag Dr. Hut, 2025

100001 - 100010 von 4463841

Alle Materialarten

Alle Kataloge/Sammlungen

Alle Standorte

Aktionen

Administration