-
1 Systembeschreibung
сущ.тех. описание системы, справочное руководство -
2 Systembeschreibung
f описание с. системы; справочное руководство с.Neue große deutsch-russische Wörterbuch Polytechnic > Systembeschreibung
-
3 Beschreibung
f описание с.Neue große deutsch-russische Wörterbuch Polytechnic > Beschreibung
-
4 System
n сингония ж. крист.; система ж.; устройство с.→ HICOM-CS→ DOS→ EMS→ EBS→ EIU→ ESS→ FTS→ FAFS→ S-SystemNeue große deutsch-russische Wörterbuch Polytechnic > System
См. также в других словарях:
Systemtheorie (Ingenieurwissenschaften) — Der Begriff der Systemtheorie wird in verschiedenen wissenschaftlichen Disziplinen angewendet und hat in Bezug auf den Primärbegriff System keine einheitliche Bedeutung. Systeme können sich als physikalische, ökologische, ökonomische, soziale… … Deutsch Wikipedia
Zustandsraumdarstellung — Die Zustandsraumdarstellung ist eine von mehreren bekannten Formen der Systembeschreibung eines dynamischen Übertragungssystems. Die Überführung einer systembeschreibenden Differenzialgleichung mit n Ableitungen der Ausgangsgröße y(t) und m… … Deutsch Wikipedia
Model Checking — (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für eine gegebene… … Deutsch Wikipedia
Modelchecking — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für … Deutsch Wikipedia
Modellprüfer — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für … Deutsch Wikipedia
Modellprüfung — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für … Deutsch Wikipedia
Modellprüfverfahren — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für … Deutsch Wikipedia
Paketquelle — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Ein Repository (engl. für deutsch: Lager, Depot), auch Repositorium … Deutsch Wikipedia
Paketquellen — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Ein Repository (engl. für deutsch: Lager, Depot), auch Repositorium … Deutsch Wikipedia
Projektarchiv — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Ein Repository (engl. für deutsch: Lager, Depot), auch Repositorium … Deutsch Wikipedia
Aulay MacAulay — (* vor 1747; † nach 1756; genaue Lebensdaten unbekannt) aus England entwickelte und erfand ein Stenografiesystem, das unter dem Verfassernamen in die Kurzschriftgeschichte einging. Über sein Leben außerhalb seines stenografischen Wirkens sind… … Deutsch Wikipedia
