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

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

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

100001 - 100010 von 2703149

	100001	Formalizing Colimits in ??at Carneiro, Mario. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100002	Formalizing Concentration Inequalities in Rocq: Infrastructure and Automation Affeldt, Reynald. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100003	Formalizing Employment in Africa’s Small Firms: Experimental Evidence from Côte D‘Ivoire Fietz, Katharina. - Essen : RWI – Leibniz-Institut für Wirtschaftsforschung, 2025
	100004	Formalizing Equivalences Without Tears de Jong, Tom. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 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 - Addendum Henry, Robert Gilbert. - Meitingen : Radomski Stefan, 2025
	100010	Formalwissenschaftlicher Beweis der Existenz Gottes über Kalkül - Mathematische Philosophie und Philosophie der Grammatik Henry, Robert Gilbert. - Meitingen : Radomski Stefan, 2025

100001 - 100010 von 2703149

Alle Materialarten

Alle Kataloge/Sammlungen

Alle Standorte > Leipzig (2703149)

Aktionen

Administration