Shortcuts
 
PageMenu- Hauptmenü-
Page content
 

Suchergebnisse

Ihre Suche nach Zweigstelle: R9 ergibt 26 Einträge

Suchergebnisseite: .   1 NNN 2 .   . zum Satzanfang Nächste .   . Seite: 1 von 2
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.

Suchergebnisse einschränken

Historie:Ursprüngliche Suche: SICHERHEITSKRITISCHES SYSTEM
Standort: ZB Reichenbach
Medientyp:
Sprache:
Suchergebnisse in Regalansicht anzeigen.
Suchergebnisse
Nr. Cover Titel Verfasser Jahr Beschreibung Exemplarinformation
1 Applications of Neural Networks in High Assurance Systems Applications of Neural Networks in High Assurance Systems [E-Book] Schumann, Johann 2010 E-Book URL Exists Catalogue Record .
2 ¬Ein¬ Assistenzsystem für die sicherheitsoptimierte Längsführung von E-Fahrzeugen im urbanen Umfeld ¬Ein¬ Assistenzsystem für die sicherheitsoptimierte Längsführung von E-Fahrzeugen im urbanen Umfeld [E-Book] Rothermel, Thomas 2018 E-Book URL Exists Catalogue Record .
3 Automotive Cybersecurity: Security-Bausteine für Automotive Embedded Systeme Automotive Cybersecurity: Security-Bausteine für Automotive Embedded Systeme [E-Book] Wurm, Manuel 2022 E-Book URL Exists Catalogue Record .
4 Bauen und Naturgefahren: Handbuch für konstruktiven Gebäudeschutz Bauen und Naturgefahren: Handbuch für konstruktiven Gebäudeschutz [E-Book] Suda, Jürgen 2012 E-Book URL Exists Catalogue Record .
5 Critical Information Infrastructures Security: 11th International Conference, CRITIS 2016, Paris, France, October 10–12, 2016, Revised Selected Papers Critical Information Infrastructures Security: 11th International Conference, CRITIS 2016, Paris, France, October 10–12, 2016, Revised Selected Papers [E-Book]   2017 Reihenverknüpfung anzeigen für Katalogsatz 500268079500268079 E-Book URL Exists Catalogue Record .
6 Critical Infrastructure: Reliability and Vulnerability Critical Infrastructure: Reliability and Vulnerability [E-Book]   2007 E-Book URL Exists Catalogue Record .
7 Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings [E-Book]   2017 Reihenverknüpfung anzeigen für Katalogsatz 500257469500257469 E-Book URL Exists Catalogue Record .
8 Diagnosis of the Powertrain Systems for Autonomous Electric Vehicles Diagnosis of the Powertrain Systems for Autonomous Electric Vehicles [E-Book] Shen, Tunan 2022 E-Book URL Exists Catalogue Record .
9 Echtzeit 2020: Kommunikationssicherheit im Internet der Dinge (IoT) : Fachtagung des gemeinsamen Fachausschusses Echtzeitsysteme von Gesellschaft für Informatik e.V. (GI), VDI/VDE-Gesellschaft für Mess- und Automatisierungstechnik (GMA) und Informationstechnischer Gesellschaft im VDE (ITG,) 20. November 2020 Echtzeit 2020: Kommunikationssicherheit im Internet der Dinge (IoT) : Fachtagung des gemeinsamen Fachausschusses Echtzeitsysteme von Gesellschaft für Informatik e.V. (GI), VDI/VDE-Gesellschaft für Mess- und Automatisierungstechnik (GMA) und Informationstechnischer Gesellschaft im VDE (ITG,) 20. November 2020 [E-Book] Fachtagung "Echtzeit"<Veranstaltung> <2020, Online> 2021 E-Book URL Exists Catalogue Record .
10 Echtzeit und Sicherheit: Echtzeit 2018 Echtzeit und Sicherheit: Echtzeit 2018 [E-Book] Echtzeit<Veranstaltung> <2018, Boppard> 2018 E-Book URL Exists Catalogue Record .
11 Formal methods for safety and security: case studies for aerospace applications Formal methods for safety and security: case studies for aerospace applications [E-Book] Application of Formal Methods for Safety and Security Critical Systems<Veranstaltung> <1., 2016, Bangalore> 2018 E-Book URL Exists Catalogue Record .
12 Funktionale Sicherheit: Echtzeit 2013 Funktionale Sicherheit: Echtzeit 2013 [E-Book] Halang, Wolfgang A. 2013 E-Book URL Exists Catalogue Record .
13 Herausforderungen durch Echtzeitbetrieb: Echtzeit 2011 Herausforderungen durch Echtzeitbetrieb: Echtzeit 2011 [E-Book] Halang, Wolfgang A. 2012 E-Book URL Exists Catalogue Record .
14 Internet-Security aus Software-Sicht: Ein Leitfaden zur Software-Erstellung für sicherheitskritische Bereiche Internet-Security aus Software-Sicht: Ein Leitfaden zur Software-Erstellung für sicherheitskritische Bereiche [E-Book]   2008 E-Book URL Exists Catalogue Record .
15 Justifying the Dependability of Computer-based Systems: With Applications in Nuclear Engineering Justifying the Dependability of Computer-based Systems: With Applications in Nuclear Engineering [E-Book]   2008 E-Book URL Exists Catalogue Record .
16 Protecting Electrical Equipment: good practices for preventing high altitude electromagnetic pulse impacts Protecting Electrical Equipment: good practices for preventing high altitude electromagnetic pulse impacts [E-Book] Gurevich, Vladimir 2019 E-Book URL Exists Catalogue Record .
17 Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems [E-Book]   2009 E-Book URL Exists Catalogue Record .
18 Robuste Regelung: ein Leitfaden für sicherheitskritische Anwendungen Robuste Regelung: ein Leitfaden für sicherheitskritische Anwendungen [E-Book] Hrycej, Tomas 2018 E-Book URL Exists Catalogue Record .
19 Sicherheitskritische Mensch-Computer-Interaktion: Interaktive Technologien und Soziale Medien im Krisen- und Sicherheitsmanagement Sicherheitskritische Mensch-Computer-Interaktion: Interaktive Technologien und Soziale Medien im Krisen- und Sicherheitsmanagement [E-Book]   2018 E-Book URL Exists Catalogue Record .
20 Sicherheitskritische Mensch-Computer-Interaktion: interaktive Technologien und soziale Medien im Krisen- und Sicherheitsmanagement Sicherheitskritische Mensch-Computer-Interaktion: interaktive Technologien und soziale Medien im Krisen- und Sicherheitsmanagement [E-Book]   2021 E-Book URL Exists Catalogue Record .
Suchergebnisseite: .   1 NNN 2 .   . Bottom Nächste .   . Seite: 1 von 2
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.

Schnellsuche