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

Die Lesesäle für Geisteswissenschaften, Naturwissenschaften, der Alte Lesesaal Technik und der Anne-Frank-Shoah-Lesesaal in Leipzig schließen am 04.02.2026 wegen einer Veranstaltung bereits um 15 Uhr. Die weiteren Lesesäle sowie die Servicetheke sind zu den regulären Zeiten geöffnet. //
The humanities reading room, the natural science reading room, the old technology reading room and the reading room of the Anne-Frank-Shoah-Library will close at 15:00 on 4 February 2026 due to an event. The other reading rooms and the service desk will be open during regular hours.

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

Ergebnis der Suche nach: location=onlinefree
im Bestand: Gesamter Bestand

100001 - 100010 von 2410998

	100001	Foreword to the special issue “Adjacent Interacting Masonry Structures” Beyer, Katrin. - Aachen : Universitätsbibliothek der RWTH Aachen, 2024
	100002	Forgetting / Cybernetics Gómez-Venegas, Diego. - Marburg : Philipps-Universität Marburg, 2024
	100003	Forgotten Victims Lehne Cerrón, María Emilia. - Berlin : Fachinformationsdienst für internationale und interdisziplinäre Rechtsforschung Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, 2024
	100004	Formal Methods for the Synthesis of Biomolecular Circuits Benenson, Yaakov. - Darmstadt : Universitäts- und Landesbibliothek, 2024
	100005	Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda Knispel, Andre. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
	100006	Formal Verification of the Empty Hexagon Number Subercaseaux, Bernardo. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
	100007	Formalising Half of a Graduate Textbook on Number Theory (Short Paper) Eberl, Manuel. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
	100008	Formalizing a Unique Space-Time Grammatical Mapping in a North American Indigenous Language Family (Short Paper) Ashrafuzzaman, Zahur. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
	100009	Formalizing Automated Market Makers in the Lean 4 Theorem Prover Pusceddu, Daniele. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
	100010	Formalizing the Algebraic Small Object Argument in UniMath Hilhorst, Dennis. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024