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 4463870
<< < > >>


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


100001 - 100010 von 4463870
<< < > >>


E-Mail-IconAdministration