-
1 программа для построения доказательств
nIT. BeweisprogrammУниверсальный русско-немецкий словарь > программа для построения доказательств
-
2 программа доказательства
nIT. Ableitungsprogramm (теоремы), Beweisprogramm (напр. теоремы)Универсальный русско-немецкий словарь > программа доказательства
-
3 программа
программа ж., работающая с окнами выч. Fensterprogramm nпрограмма ж., составленная в коде команд машины выч. Maschinenkodeprogramm n; maschinenübersetztes Programm nпрограмма ж., управляемая с помощью меню с. menügeführtes Programm n; menügesteuertes Programm nпрограмма ж., сохраняемая в памяти Speicherprogramm nпрограмма ж. ввода Beschickungsprogramm n; выч. Eingabeprogramm n; выч. Eingaberoutine f; выч. Einleseprogramm nпрограмма ж. ВМ Rechnerprogramm nпрограмма ж. начальной загрузки выч. Anfangsladeprogramm n; выч. Anfangslader m; Anfangsprogrammlader m; выч. Urlader mпрограмма ж. обнаружения ошибок выч. Diagnoseprogramm n; выч. Fehlersuchprogramm n; выч. Suchprogramm nпрограмма ж. обработки ошибок Fehlerbehandlungsprogramm n; выч. Fehlerbehandlungsroutine f; выч. Fehlermaßnahmeprogramm nпрограмма ж. обработки прерываний Interruptbehandungsprogramm n; выч. Interruptroutine f; выч. Unterbrechungsbehandlungsprogramm nпрограмма ж. перевода Interpretierprogramm n; interpretierendes Programm n; umdeutendes Programm n; Übersetzungsprogramm nпрограмма ж. редактирования выч. Aufbereitungsprogramm n; выч. Edit-Programm n; выч. Editierprogramm n; Editor m; Programmverbinder mпрограмма ж. трассировки выч. Ablaufverfolgungsprogramm n; выч. Aufzeichnungsprogramm n; выч. Folgeprüfprogramm n; выч. Trassierprogramm n
См. также в других словарях:
Hauptverhandlung — Die Hauptverhandlung ist nach deutschem Strafprozessrecht der Kernbestandteil jedes Strafverfahrens. Die Hauptverhandlung wird in den §§ 226 275 der Strafprozessordnung geregelt. In der Hauptverhandlung wird die zu verhandelnde Sache… … Deutsch Wikipedia
