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 4463850

	100001	Formalising New Mathematics in Isabelle: Diagonal Ramsey Paulson, Lawrence C.. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100002	Formalising Subject Reduction and Progress for Multiparty Session Processes Ekici, Burak. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100003	Formalization and Verification of Post-Quantum Cryptography Heidler, Katharina Beate. - München : Universitätsbibliothek der TU München, 2025
	100004	Formalizing Colimits in ??at Carneiro, Mario. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100005	Formalizing Concentration Inequalities in Rocq: Infrastructure and Automation Affeldt, Reynald. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100006	Formalizing Employment in Africa’s Small Firms: Experimental Evidence from Côte D‘Ivoire Fietz, Katharina. - Essen : RWI – Leibniz-Institut für Wirtschaftsforschung, 2025
	100007	Formalizing Equivalences Without Tears de Jong, Tom. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100008	Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities Cham : Springer Nature Switzerland, Imprint: Springer, 2025, 1st ed. 2025
	100009	Formalizing Splitting in Isabelle/HOL Bergeron, Ghilain. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100010	Formalizing the Hidden Number Problem in Isabelle/HOL Binder, Sage. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025

100001 - 100010 von 4463850

Alle Materialarten

Alle Kataloge/Sammlungen

Alle Standorte

Aktionen

Administration