817 Ergebnisse für: verifikation
-
Gefahrenstufen und Warnhinweise — Startseite
https://www.deutsche-flagge.de/de/sicherheit/isps/warnhinweise
Keine Beschreibung vorhanden.
-
-
-
Schiffsregister — Startseite
http://www.deutsche-flagge.de/de/flagge/schiffsregistrierung
Keine Beschreibung vorhanden.
-
Seeleute-Ausweis — Startseite
https://www.deutsche-flagge.de/de/besatzung/dienstbescheinigung/seeleute-ausweis/seeleute-ausweis
Keine Beschreibung vorhanden.
-
Abwracken — Startseite
https://www.deutsche-flagge.de/de/umweltschutz/wrack
Keine Beschreibung vorhanden.
-
Unterwasseranstriche — Startseite
http://www.deutsche-flagge.de/de/umweltschutz/antifouling-afs
Keine Beschreibung vorhanden.
-
Seeleute-Ausweis — Startseite
http://www.deutsche-flagge.de/de/besatzung/dienstbescheinigung/seeleute-ausweis
Keine Beschreibung vorhanden.
-
Introduction to Computational Logic: Lecture Notes
http://www.ps.uni-sb.de/courses/cl-ss04/script/index.html
Keine Beschreibung vorhanden.
-
Simulink - Simulation und Model-Based Design - MATLAB & Simulink
http://www.mathworks.de/products/simulink/
Simulink ist eine Blockdiagramm-Umgebung für modellbasierte Entwicklung. Simulink unterstützt Simulationen, automatische Codegenerierung sowie das kontinuierliche Testen und Verifizieren von Embedded Systems.