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 4463884

	100001	Formal Methods: Foundations and Applications Cham : Springer Nature Switzerland, Imprint: Springer, 2025, 1st ed. 2025
	100002	Formal-rechtsstaatliche Anforderungen an das Streitbeilegungsverfahren nach der Richtlinie (EU) 2017/1852 über das Verfahren zur Beilegung von Besteuerungsstreitigkeiten in der EU Müller, Jan-Ole. - Hamburg : Verlag Dr. Kovac GmbH, 2025, 1. Auflage
	100003	Formal Scientific Proof of the Existence of God via Calculus - Addendum Henry, Robert Gilbert. - Ahrensburg : tredition, 2025
	100004	Formal Scientific Proof of the Existence of God via Calculus - Theoria Relativitatis Philosophiae Henry, Robert Gilbert. - Meitingen : tredition, 2025
	100005	Formal Specification and Verification of Architecturally-Defined Attestation Mechanisms in Arm CCA and Intel TDX Sardar, Muhammad Usama. - Dresden : Technische Universität Dresden, 2025
	100006	Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications Verdier, Cees Ferdinand. - Ingolstadt : Technische Hochschule Ingolstadt, 2025
	100007	Formal Techniques for Distributed Objects, Components, and Systems Cham : Springer Nature Switzerland, Imprint: Springer, 2025, 1st ed. 2025
	100008	Formal Verification in Solidity and Move: Insights from a Comparative Analysis Bartoletti, Massimo. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100009	Formal Verification of a Fail-Safe Cross-Chain Bridge Marić, Filip. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100010	Formale Bildung, Ethik und Lehrer:innenbildung Kraler, Christian. - Frankfurt : DIPF Leibniz Institut für Bildungsforschung und Bildungsinformation, 2025

100001 - 100010 von 4463884

Alle Materialarten

Alle Kataloge/Sammlungen

Alle Standorte > Frankfurt (4463884)

Aktionen

Administration