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 2703134

	100001	Formalizing the Hidden Number Problem in Isabelle/HOL Binder, Sage. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100002	Formally Specifying Contract Optimizations with Bisimulations in Coq Sorensen, Derek. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100003	Formally Verifying a Vertical Cell Decomposition Algorithm Bertot, Yves. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100004	Formalwissenschaftlicher Beweis der Existenz Gottes über Kalkül - Addendum Henry, Robert Gilbert. - Meitingen : Radomski Stefan, 2025
	100005	Formalwissenschaftlicher Beweis der Existenz Gottes über Kalkül - Mathematische Philosophie und Philosophie der Grammatik Henry, Robert Gilbert. - Meitingen : Radomski Stefan, 2025
	100006	Formalwissenschaftlicher Beweis der Existenz Gottes über Kalkül - Theoria Relativitatis Philosophiae Henry, Robert Gilbert. - Meitingen : tredition, 2025
	100007	Format / 34 2025
	100008	Format / 35 Grauzonen 2025
	100009	Format4 / 2025, Nr. 1 2025
	100010	Format4 / 2025, Nr. 2 2025