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

24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2026 bereitgestellt. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2026.

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

99781 - 99790 von 255328

	99781	Formalising a Turing-Complete Choreographic Language in Coq Cruz-Filipe, Luís. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
	99782	Formalization of Basic Combinatorics on Words Holub, Štěpán. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
	99783	Formalized Haar Measure van Doorn, Floris. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
	99784	Formally Documenting Tenderbake (Short Paper) Conchon, Sylvain. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
	99785	Formally Verified Simulations of State-Rich Processes Using Interaction Trees in Isabelle/HOL Foster, Simon. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
	99786	Formate metabolism in the acetogenic bacterium Acetobacterium woodii Moon, Jimyung. - Frankfurt am Main : Universitätsbibliothek Johann Christian Senckenberg, 2021
	99787	Formation and evolution of Au-SiOx heterostructures: from nanoflowers to nanosprouts Li, Feitao. - Ilmenau : TU Ilmenau, 2021
	99788	Formation and Reactivity of a Hexahydridosilicate [SiH6]2 − Coordinated by a Macrocycle-Supported Strontium Cation Höllerhage, Thomas. - Aachen : Universitätsbibliothek der RWTH Aachen, 2021
	99789	Formation mechanisms of macroscopic globules in andesitic glasses from the Izu–Bonin–Mariana forearc (IODP Expedition 352) Fonseca, Raúl O. C.. - Hannover : Gottfried Wilhelm Leibniz Universität Hannover, 2021
	99790	Formation of a stable radical by oxidation of a tetraorganoborate Braunschweig, Holger. - Würzburg : Universität Würzburg, 2021