Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten 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.
 
 
Neuigkeiten 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 4463865
<< < > >>


Online Ressourcen 100001 Formale Unterqualifikation in der Pflege. Bildungs- und Berufswege im Fokus
Sachse, Lena. - Frankfurt : DIPF Leibniz Institut für Bildungsforschung und Bildungsinformation, 2025
Online Ressource
Online Ressourcen 100002 (Formale) Bildungsethik. Versuch einer interdisziplinären Systematisierung
Bacher, Sabrina. - Frankfurt : DIPF Leibniz Institut für Bildungsforschung und Bildungsinformation, 2025
Online Ressource
Online Ressourcen 100003 Formalien zum Berufsstart
Stuttgart : Georg Thieme Verlag, 2025
Online Ressource
Online Ressourcen 100004 Formalien zum Berufsstart
Stuttgart : Georg Thieme Verlag KG, 2025
Online Ressource
Online Ressourcen 100005 Formalising Inductive and Coinductive Containers
Damato, Stefania. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
Online Ressource
Online Ressourcen 100006 Formalising New Mathematics in Isabelle: Diagonal Ramsey
Paulson, Lawrence C.. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
Online Ressource
Online Ressourcen 100007 Formalising Subject Reduction and Progress for Multiparty Session Processes
Ekici, Burak. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
Online Ressource
Online Ressourcen 100008 Formalization and Verification of Post-Quantum Cryptography
Heidler, Katharina Beate. - München : Universitätsbibliothek der TU München, 2025
Online Ressource
Online Ressourcen 100009 Formalizing Colimits in ??at
Carneiro, Mario. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
Online Ressource
Online Ressourcen 100010 Formalizing Concentration Inequalities in Rocq: Infrastructure and Automation
Affeldt, Reynald. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
Online Ressource


100001 - 100010 von 4463865
<< < > >>


E-Mail-IconAdministration