Katalog der Deutschen Nationalbibliothek

Neuigkeiten Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.
 
Neuigkeiten Vom 10. September 2025, 13 Uhr, bis 11. September 2025, 22 Uhr, kann es zu Einschränkungen bei der Bereitstellung von Medienwerken kommen. Wir informieren Sie per E-Mail über den aktuellen Stand Ihrer Bestellungen. // From 13:00 on 10 September 2025 until 22:00 on 11 September 2025, there may be restrictions on the provision of media works. We will inform you by email about the current status of your orders.
 
 
 


Ergebnis der Suche nach: dcs=005*
im Bestand: Gesamter Bestand

151 - 160 von 2946
<< < > >>


Bücher 151 Qualitative reliability analysis of software-controlled systems using state/event fault trees
Roth, Michael. - Stuttgart : Fraunhofer Verlag, [2017]
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 152 Quantum Security of Cryptographic Primitives
Gagliardoni, Tommaso. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
Online Ressource
Bücher 153 Quantum security of cryptographic primitives
Gagliardoni, Tommaso. - Darmstadt, 2017
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 154 Real-world aspects of secure channels
Marson, Giorgia Azzurra. - Darmstadt, 2017
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 155 Real-World Aspects of Secure Channels: Fragmentation, Causality, and Forward Security
Marson, Giorgia Azzurra. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
Online Ressource
Bücher 156 [Designing ICT tools for researching information infrastructures]
Researching complex information infrastructures
Ludwig, Thomas. - Wiesbaden : Springer, [2017]
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 157 Schema matching and mapping-based data integration
Do, Hong-Hai. - Leipzig : Universitätsbibliothek Leipzig, 2017
Online Ressource
Bücher 158 SMT-based validation & verification of UML-OCL models
Przigoda, Nils. - Bremen, 2017
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 159 Software clones
Harder, Jan. - Berlin : Logos Verlag Berlin GmbH, [2017]
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 160 Static Data Flow Analysis for Android Applications
Arzt, Steven. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
Online Ressource


151 - 160 von 2946
<< < > >>


E-Mail-IconAdministration