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 4463844

	100001	Formalizing Concentration Inequalities in Rocq: Infrastructure and Automation Affeldt, Reynald. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100002	Formalizing Employment in Africa’s Small Firms: Experimental Evidence from Côte D‘Ivoire Fietz, Katharina. - Essen : RWI – Leibniz-Institut für Wirtschaftsforschung, 2025
	100003	Formalizing Equivalences Without Tears de Jong, Tom. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100004	Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities Cham : Springer Nature Switzerland, Imprint: Springer, 2025, 1st ed. 2025
	100005	Formalizing Splitting in Isabelle/HOL Bergeron, Ghilain. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100006	Formalizing the Hidden Number Problem in Isabelle/HOL Binder, Sage. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100007	Formally Specifying Contract Optimizations with Bisimulations in Coq Sorensen, Derek. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100008	Formally Verifying a Vertical Cell Decomposition Algorithm Bertot, Yves. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100009	Formalwissenschaftlicher Beweis der Existenz Gottes über Kalkül - Mathematische Philosophie und Philosophie der Grammatik Henry, Robert Gilbert. - Meitingen : Radomski Stefan, 2025
	100010	Formalwissenschaftlicher Beweis der Existenz Gottes über Kalkül - Theoria Relativitatis Philosophiae Henry, Robert Gilbert. - Meitingen : tredition, 2025

100001 - 100010 von 4463844

Alle Materialarten

Alle Kataloge/Sammlungen

Alle Standorte > Frankfurt (4463844)

Aktionen

Administration