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="rb"
im Bestand: Gesamter Bestand

100001 - 100010 von 1029253
<< < > >>


Zeitschriften/Serien 100001 Verhandlungen der Landessynode der Evangelischen Landeskirche in Baden
Karlsruhe : Evangelische Landeskirche in Baden
Online Ressource
Online Ressourcen 100002 Verhandlungen der rheinischen Landessynoden 1994-2022
Leipzig : Deutsche Nationalbibliothek, 2025
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 100003 Verhandlungen der rheinischen Landessynoden 1994-2023
Leipzig : Deutsche Nationalbibliothek, 2025
Online Ressource
Online Ressourcen 100004 VeRidium: a fully immersive and interactive virtual reality educational environment
Thiele, Günther. - Freiburg : Universität, 2025
Online Ressource
Online Ressourcen 100005 VeRidium: A Fully Immersive and Interactive Virtual Reality Educational Environment
Thiele, Günther. - Erlangen : Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2025
Online Ressource
Online Ressourcen 100006 VERIFAI Evaluating the Responsibility of AI-Systems
Göllner, Sabrina Stephanie. - Hamburg : Hochschule für Angewandte Wissenschaften Hamburg, 2025
Online Ressource
Online Ressourcen 100007 Verification of code-selective 5G measurements to assess the maximal RF exposure to mobile-radio base stations with dynamic spectrum sharing
Schilling, Lisa-Marie. - Ilmenau : TU Ilmenau, 2025
Online Ressource
Online Ressourcen 100008 Verification of forward simulations with thread-local, step-local proof obligations
Schellhorn, Gerhard. - Augsburg : Universität Augsburg, 2025
Online Ressource
Online Ressourcen 100009 Verification of Linear Dynamical Systems via O-Minimality of the Real Numbers
Karimov, Toghrul. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
Online Ressource
Online Ressourcen 100010 Verification of the CVM Algorithm with a Functional Probabilistic Invariant
Karayel, Emin. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
Online Ressource


100001 - 100010 von 1029253
<< < > >>


E-Mail-IconAdministration