Verifizierung sicherheitskritischer Software in der Avionik
von Chiranjeevi Aradhya
2020 Kartoniert, 64 Seiten, 220mm x 150mm x 4mm, Sprache(n): ger Die Absicht dieses Buches ist es, einen Überblick über die Verifikationstechniken zu geben, die zur Verifikation sicherheitskritischer Avionik-Software gemäß DO-178B-Standard eingesetzt werden, wobei der Schwerpunkt auf dem Testen…
Das Problem der Verifizierung des christlichen Zeugnisses.
von Wladyslaw Hladowski
Magdeburg: s.n., 1973. O`Br. Gr.-8°. VIII, 63 S. (Begegnung in Theologie). Mit Widmung des Verfassers an Bischof Johannes Braun (Begegnung in Theologie).
- Signiert
Formale Verifizierung von FDIR im Smart Grid
von Syed Atif Naseem, Riaz Uddin, Syed Wasif Naseem
2023 Kartoniert, 140 Seiten, 220mm x 150mm x 9mm, Sprache(n): ger Zur Fehlererkennung im Verteilernetz von Smart Grid und zur Isolierung der fehlerhaften Lastschalter innerhalb eines bestimmten Zeitraums läuft der FDIR-Algorithmus auf DFA-Controllern, die im Kommunikationsnetz von Smart Grid ins…
Bambus. Homöopathische Prüfung und Verifizierung: Mit Kasuitiksammlung
von Bernd Schuster Verlag: Schuster, Bernd,
1996. Gebundene Ausgabe 335 Seiten; KENT Gesellschaft - 1. Auf. 1996 : Bernd Schuster - gb. Gr. - 9-25-1-L1 YU-TW49-43XK
- Sammlerstück
Das Problem der Verifizierung des christlichen Zeugnisses; - Begegnung in Theologie;
von Wladyslaw Hladowski Verlag: Magdeburg, Berlin, Lublin
Als Manuskript gedruckt 1973. Broschiert; 63 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel...). Schnitt und Einband sind etwas staubschmutzig. Ansonsten ordentlicher Erha…
Bambus. Homöopathische Prüfung und Verifizierung - Mit Kasuistiksammlung.
von Bernd Schuster Verlag: Schuster, Bernd
1996 335 Seiten, 245x180 mm Hardcover Geringfügige äußerliche Lagerspuren, innen ist das Buch wie neu.
Intelligente Stimmabgabe durch UID-Verifizierung mittels Gesichtserkennung
von Kanchan Chouhan, Somnath Thigale, Vanita Jadhav
2021 Kartoniert, 56 Seiten, 220mm x 150mm x 4mm, Sprache(n): ger Dieses Projekt befasst sich hauptsächlich mit der Erkennung von Gesichtern zu Sicherheitszwecken. Gesichtserkennung ist eine Kategorie biometrischer Software, die durch den Abgleich der Gesichtsmerkmale funktioniert. Wir werden die…
Die Verifizierung der pluvio-thermischen Regionalisierungen des Klimas
von Agnieszka Ziernicka-Wojtaszek
2023 Kartoniert, 52 Seiten, 220mm x 150mm x 4mm, Sprache(n): ger Was kann also der Titel Verifizierung der pluvio-thermischen Regionalisierungen des Klimas von Polen im Lichte des gegenwärtigen Klimawandels bedeuten? Und, um genau zu sein, welche neuen Erkenntnisse bietet diese Studie, die auf 7…
Das Problem der Verifizierung des christlichen Zeugnisses Begegnung in Theologie
von Hladowski
1973. Heft 19*25 63 Seiten gebraucht gut, Bibliothekexemplar der Karmelitenbibliothek Bamberg 201032149
Flughafenlogisitk - Anwendungskonzepte für Gepäcklogistiksysteme und deren Verifizierung anhand ein…
von Lars-André Scheimann Verlag: Universität Karlsruhe
2005. Broschiert 252 Seiten; Das Buch befindet sich in einem ordentlich erhaltenen Zustand;
- Volltext
- Verifizierung
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!