МАШИННАЯ ВЕРИФИКАЦИЯ

Русско-английский перевод МАШИННАЯ ВЕРИФИКАЦИЯ

machine verification

Большой Русско-Английский словарь. New big Russian-English dictionary. 2012

МАШИННАЯ ВЕРИФИКАЦИЯ — machine verification
Russian-English Edic
ВЕРИФИКАЦИЯ — f. verification
Russian-English Dictionary of the Mathematical Sciences
ВЕРИФИКАЦИЯ — Formal verification
Русско-Американский Английский словарь
ВЕРИФИКАЦИЯ — (установление подлинности) verification
Русско-Английский словарь общей тематики
ВЕРИФИКАЦИЯ — (установление подлинности) verification
Русско-Английский словарь - QD
ВЕРИФИКАЦИЯ — verification
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ВЕРИФИКАЦИЯ — verification ж. (установление подлинности) verification
Большой Русско-Английский словарь
ВЕРИФИКАЦИЯ — верификация verification
Русско-Английский словарь Сократ
MACHINE VERIFICATION — машинная проверка; машинная верификация
Большой Англо-Русский словарь
VERIFICATION — сущ. 1) контроль, проверка; сверка Syn : check, examination 2) удостоверение, подтверждение (предсказания, сомнения) 3) юр. засвидетельствование контроль, осуществление контроля; …
Большой Англо-Русский словарь
VERIF — [verification] контроль; проверка; верификация
Большой Англо-Русский словарь
TIMING VERIFICATION — 1. верификация синхронизации 2. верификация временных диаграмм; верификация временных параметров; верификация временных соотношений (в логической схеме)
Большой Англо-Русский словарь
TECHNOLOGY — сущ. 1) техника; технические и прикладные науки 2) технология to apply, employ technology ≈ применять технологию, использовать методику to create, …
Большой Англо-Русский словарь
SYNTHESIZED-SPEECH PROMPT — машинная подсказка синтезированным голосом, голосовая подсказка
Большой Англо-Русский словарь
SPEAKER VERIFICATION — установление (подлинности) личности говорящего, проф. " верификация диктора"
Большой Англо-Русский словарь
SHADED GRAPHICS — теневая (машинная) графика (предусматривающая автоматическое построение теней на изображениях)
Большой Англо-Русский словарь
SHADED COMPUTER GRAPHICS — теневая (машинная) графика (предусматривающая автоматическое построение теней на изображениях)
Большой Англо-Русский словарь
PUSHER SIDE — машинная сторона коксовой батареи
Большой Англо-Русский словарь
PUSHER END — машинная сторона (печи)
Большой Англо-Русский словарь
PUSHED END — машинная сторона коксовой печи
Большой Англо-Русский словарь
PROGRAM VERIFICATION — проверка правильности [верификация] программы
Большой Англо-Русский словарь
PROGRAM — 1. сущ. 1) программа а) проект; план действий to carry out programme, to implement a programme ≈ осуществлять/претворять в жизнь …
Большой Англо-Русский словарь
MICROGRAPHICS — микрографика микрография, микрофотография, микрокопирование, микрофильмирование micrographics: computer ~ машинная микрографика micrographics: computer ~ машинная микрографика
Большой Англо-Русский словарь
MEMORY — сущ. 1) память to speak from memory ≈ говорить по памяти to jog smb.'s memory ≈ всколыхнуть чью-л. память to …
Большой Англо-Русский словарь
MECHANICAL VERIFICATION — автоматическая проверка; автоматическая верификация
Большой Англо-Русский словарь
JIG-SAW — сущ.; тех. ажурная пила; машинная ножовка jig-saw puzzle n машинная пила-ножовка jig-saw тех. ажурная пила; машинная ножовка; jig-saw puzzle составная …
Большой Англо-Русский словарь
INVERSE VERIFICATION — мат. инверсная верификация
Большой Англо-Русский словарь
INDIRECT VERIFICATION — мат. косвенная верификация
Большой Англо-Русский словарь
FORMAL VERIFICATION — формальная верификация (формальное доказательство соответствия программы ее спецификации)
Большой Англо-Русский словарь
DIRECT VERIFICATION — мат. прямая верификация
Большой Англо-Русский словарь
DIAGNOSTIC VERIFICATION — 1. диагностическая проверка 2. верификация диагностических процедур
Большой Англо-Русский словарь
COMPUTER GRAPHICS — 1. машинная графика 2. графические устройства вычислительной машины; устройства машинной графики машинная графика
Большой Англо-Русский словарь
COMPUTER — 1. сущ. 1) компьютер; (электронно-)вычислительная машина, ЭВМ personal computer ≈ персональный компьютер digital computer ≈ цифровая вычислительная машина all-purpose computer …
Большой Англо-Русский словарь
COMPUTED HOLOGRAM — машинная голограмма, голограмма, синтезированная на ЭВМ; цифровая голограмма машинная голограмма
Большой Англо-Русский словарь
FORMAL VERIFICATION — Верификация
Американский Англо-Русский словарь
FORMAL METHODS — Верификация
Американский Англо-Русский словарь
COMPUTER — computer.ogg 1. kəmʹpju:tə n 1. компьютер, электронная вычислительная машина, ЭВМ digital analogue computer - цифровая аналоговая вычислительная машина hybrid computer …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
TIMING VERIFICATION — верификация временных параметров; верификация временных соотношений
Большой Англо-Русский политехнический словарь
TIMING VERIFICATION — верификация временных параметров; верификация временных соотношений
Большой Англо-Русский политехнический словарь - РУССО
ILLEGAL INSTRUCTION — запрещенная команда. машинная команда, код которой не входит в систему команд. машинная команда, которая не может быть выполнена в данном …
Англо-Русский словарь Tiger
COMPUTER — 1. [kəmʹpju:tə] n 1. компьютер, электронная вычислительная машина, ЭВМ digital [analogue] ~ - цифровая [аналоговая] вычислительная машина hybrid ~ - …
Новый большой Англо-Русский словарь - Апресян, Медникова
COMPUTER — 1. kəmʹpju:tə n 1. компьютер, электронная вычислительная машина, ЭВМ digital analogue computer - цифровая аналоговая вычислительная машина hybrid computer - …
Большой новый Англо-Русский словарь
TIMING VERIFICATION — верификация синхронизации верификация временных диаграмм верификация временных соотношений (в логической схеме) visual ~ визуальный контроль
Англо-Русский словарь по компьютерам
MACHINE VERIFICATION — машинная проверка машинная верификация
Англо-Русский словарь по компьютерам
ILLEGAL INSTRUCTION — запрещенная команда. 1) Машинная команда, код которой не входит в систему команд. 2) Машинная команда, которая не может быть выполнена …
Англо-Русский словарь по компьютерам
TIMING VERIFICATION — 1) верификация синхронизации 2) верификация временных диаграмм; верификация временных параметров; верификация временных соотношений (в логической схеме)
Англо-Русский словарь по вычислительной технике и программированию
MACHINE VERIFICATION — машинная проверка; машинная верификация
Англо-Русский словарь по вычислительной технике и программированию
TIMING VERIFICATION — 1) верификация синхронизации 2) верификация временных диаграмм; верификация временных параметров; верификация временных соотношений ( в логической схеме )
Англо-Русский словарь компьютерных терминов
MACHINE VERIFICATION — машинная проверка; машинная верификация
Англо-Русский словарь компьютерных терминов
MACHINE FINISH — машинная отделка (бумаги) ; машинная гладкость (бумаги)
Англо-Русский словарь по полиграфии и издательскому делу
SOLID-MODEL VERIFICATION — пространственная верификация, верификация по твердотельным моделям
Современный Англо-Русский словарь по машиностроению и автоматизации производства
IN-PROCESS VERIFICATION — верификация (УП) в процессе программирования, параллельная верификация
Современный Англо-Русский словарь по машиностроению и автоматизации производства
VERIFICATION — 1) верификация, контроль, проверка а) проверка правильности выполнения операции см. тж. data verification б) в САПР электроники - проверка правильности электрических соединений принципиальной …
Англо-Русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
VOICE VERIFICATION — верификация (отождествление) голоса; верификация (говорящего) по голосу
Англо-Русский словарь компьютерной безопасности
VERIFICATION — сущ. 1) контроль, проверка; сверка Syn : check, examination 2) удостоверение, подтверждение (предсказания, сомнения) 3) юр. засвидетельствование контроль, осуществление контроля; …
Новый большой Англо-Русский словарь
TIMING VERIFICATION — 1. верификация синхронизации 2. верификация временных диаграмм; верификация временных параметров; верификация временных соотношений (в логической схеме)
Новый большой Англо-Русский словарь
MICROGRAPHICS — микрографика микрография, микрофотография, микрокопирование, микрофильмирование micrographics: computer ~ машинная микрографика micrographics: computer ~ машинная микрографика
Новый большой Англо-Русский словарь
MEMORY — сущ. 1) память to speak from memory ≈ говорить по памяти to jog smb.'s memory ≈ всколыхнуть чью-л. память to …
Новый большой Англо-Русский словарь
MACHINE VERIFICATION — машинная проверка; машинная верификация
Новый большой Англо-Русский словарь
JIG-SAW — сущ.; тех. ажурная пила; машинная ножовка jig-saw puzzle n машинная пила-ножовка jig-saw тех. ажурная пила; машинная ножовка; jig-saw puzzle составная …
Новый большой Англо-Русский словарь
COMPUTER GRAPHICS — 1. машинная графика 2. графические устройства вычислительной машины; устройства машинной графики машинная графика
Новый большой Англо-Русский словарь
COMPUTER — 1. сущ. 1) компьютер; (электронно-)вычислительная машина, ЭВМ personal computer ≈ персональный компьютер digital computer ≈ цифровая вычислительная машина all-purpose computer …
Новый большой Англо-Русский словарь
COMPUTED HOLOGRAM — машинная голограмма, голограмма, синтезированная на ЭВМ; цифровая голограмма машинная голограмма
Новый большой Англо-Русский словарь
ILLEGAL INSTRUCTION — запрещенная команда. машинная команда, код которой не входит в систему команд. машинная команда, которая не может быть выполнена в данном режиме
Англо-Русский словарь

Большой Русско-Английский словарь

← МАШИННАЯ АРИФМЕТИКА МАШИННАЯ ГОЛОГРАММА→