АВТОМАТИЧЕСКАЯ ВЕРИФИКАЦИЯ

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

mechanical verification

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

ВЕРИФИКАЦИЯ — f. verification
Russian-English Dictionary of the Mathematical Sciences
ВЕРИФИКАЦИЯ — Formal verification
Русско-Американский Английский словарь
АВТОМАТИЧЕСКАЯ — Automatic
Русско-Американский Английский словарь
ВЕРИФИКАЦИЯ — (установление подлинности) verification
Русско-Английский словарь общей тематики
АВТОМАТИЧЕСКАЯ — Automatic
Russian Learner's Dictionary
ВЕРИФИКАЦИЯ — (установление подлинности) verification
Русско-Английский словарь - QD
ВЕРИФИКАЦИЯ — verification
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ВЕРИФИКАЦИЯ — verification ж. (установление подлинности) verification
Большой Русско-Английский словарь
ВЕРИФИКАЦИЯ — верификация verification
Русско-Английский словарь Сократ
АВТОМАТИЧЕСКАЯ СТАНЦИЯ — см. автоматическая лунная станция ; автоматическая межпланетная станция Now scientists obtain valuable information about the outer space by means of …
Русско-Английский словарь идиом по космонавтике
VERIFICATION — сущ. 1) контроль, проверка; сверка Syn : check, examination 2) удостоверение, подтверждение (предсказания, сомнения) 3) юр. засвидетельствование контроль, осуществление контроля; …
Большой Англо-Русский словарь
VERIF — [verification] контроль; проверка; верификация
Большой Англо-Русский словарь
TRANSFER LINE — автоматическая линия (техническое) автоматическая станочная линия
Большой Англо-Русский словарь
TIMING VERIFICATION — 1. верификация синхронизации 2. верификация временных диаграмм; верификация временных параметров; верификация временных соотношений (в логической схеме)
Большой Англо-Русский словарь
SWITCING — switcing: automatic ~ вчт. автоматическая коммутация switcing: automatic ~ вчт. автоматическая коммутация virtual channel ~ вчт. коммутация виртуальных каналов
Большой Англо-Русский словарь
SPEAKER VERIFICATION — установление (подлинности) личности говорящего, проф. " верификация диктора"
Большой Англо-Русский словарь
SHELL-GUN — сущ.; воен. малокалиберная автоматическая пушка n воен. малокалиберная автоматическая пушка shell-gun воен. малокалиберная автоматическая пушка
Большой Англо-Русский словарь
SELF-LUBRICATION — самосмазка, смазка автоматическая (специальное) автоматическая смазка
Большой Англо-Русский словарь
PROGRAM VERIFICATION — проверка правильности [верификация] программы
Большой Англо-Русский словарь
PROBE — 1. сущ. 1) а) мед. зонд б) тех. зонд, щуп; датчик 2) а) зондирование б) геол. пробное бурение в) испытание …
Большой Англо-Русский словарь
MECHANICAL VERIFICATION — автоматическая проверка; автоматическая верификация
Большой Англо-Русский словарь
MACHINE VERIFICATION — машинная проверка; машинная верификация
Большой Англо-Русский словарь
INVERSE VERIFICATION — мат. инверсная верификация
Большой Англо-Русский словарь
INDIRECT VERIFICATION — мат. косвенная верификация
Большой Англо-Русский словарь
FORMAL VERIFICATION — формальная верификация (формальное доказательство соответствия программы ее спецификации)
Большой Англо-Русский словарь
DIRECT VERIFICATION — мат. прямая верификация
Большой Англо-Русский словарь
DIAGNOSTIC VERIFICATION — 1. диагностическая проверка 2. верификация диагностических процедур
Большой Англо-Русский словарь
DATAMATION — автоматическая обработка данных (информатика) автоматическая обработка информации datamation вчт. автоматическая обработка информации
Большой Англо-Русский словарь
DATA — сущ.; мн. от datum 1) мн. от datum 2) часто как ед. данные, факты, сведения; информация actual data ≈ фактические …
Большой Англо-Русский словарь
AUTOMATIC — 1. прил. 1) автоматический, автоматизированный automatic train stop ж.-д. ≈ автостоп automatic pistol ≈ пистолет automatic rifle ≈ автоматическая винтовка; …
Большой Англо-Русский словарь
FORMAL VERIFICATION — Верификация
Американский Англо-Русский словарь
FORMAL METHODS — Верификация
Американский Англо-Русский словарь
АВТОМАТИЧЕСКИЙ — 1. automatic, self-acting автоматическая телефонная станция — automatic telephone exchange автоматическая межпланетная станция — automated interplanetary station / laboratory автоматическая …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
AUTOMATIC — automatic.ogg 1. ͵ɔ:təʹmætık n 1. автоматический механизм; автоматическое устройство this record-player is an automatic - это проигрыватель-автомат 2. 1> автоматическая …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
TIMING VERIFICATION — верификация временных параметров; верификация временных соотношений
Большой Англо-Русский политехнический словарь
ABC — I азбука; алфавит II сокр. от advance booking charter чартерный рейс с предварительным бронированием мест III сокр. от aggregate base …
Большой Англо-Русский политехнический словарь
TIMING VERIFICATION — верификация временных параметров; верификация временных соотношений
Большой Англо-Русский политехнический словарь - РУССО
ABC — I азбука; алфавит II сокр. от advance booking charter чартерный рейс с предварительным бронированием мест III сокр. от aggregate base course щебёночный подстилающий слой IV сокр. …
Большой Англо-Русский политехнический словарь - РУССО
AUTOMATIC — 1. [͵ɔ:təʹmætık] n 1. автоматический механизм; автоматическое устройство this record-player is an ~ - это проигрыватель-автомат 2. 1) автоматическая винтовка, …
Новый большой Англо-Русский словарь - Апресян, Медникова
AUTOMATIC — 1. ͵ɔ:təʹmætık n 1. автоматический механизм; автоматическое устройство this record-player is an automatic - это проигрыватель-автомат 2. 1> автоматическая винтовка, …
Большой новый Англо-Русский словарь
AUTOMATIC — 1. прил. 1) автоматический, автоматизированный automatic train stop ж.-д. — автостоп ( ручка тормоза в поезде ) automatic pistol — …
Англо-Русский словарь по общей лексике
AUTOMATIC — 1. прил. 1) автоматический, автоматизированный automatic train stop ж.-д. — автостоп (ручка тормоза в поезде) automatic pistol — пистолет automatic rifle — автоматическая винтовка; …
Англо-Русский словарь общей лексики
АВТОМАТИЧЕСКИЙ — 1) automatic, self-acting автоматическая телефонная станция - automatic telephone exchange автоматическая межпланетная станция - automated interplanetary station/laboratory автоматическая винтовка - …
Русско-Английский словарь общей тематики
TIMING VERIFICATION — верификация синхронизации верификация временных диаграмм верификация временных соотношений (в логической схеме) visual ~ визуальный контроль
Англо-Русский словарь по компьютерам
АВТОМАТИЧЕСКИЙ — 1. automatic, self-acting автоматическая телефонная станция — automatic telephone exchange автоматическая межпланетная станция — automated interplanetary station / laboratory автоматическая …
Русско-Английский словарь
АВТОМАТИЧЕСКИЙ — 1. automatic, self-acting автоматическая телефонная станция — automatic telephone exchange автоматическая межпланетная станция — automated interplanetary station / laboratory автоматическая …
Russian-English Smirnitsky abbreviations dictionary
TIMING VERIFICATION — 1) верификация синхронизации 2) верификация временных диаграмм; верификация временных параметров; верификация временных соотношений (в логической схеме)
Англо-Русский словарь по вычислительной технике и программированию
АВТОМАТИЧЕСКИЙ — прил. 1) automatic, self-acting автоматическая телефонная станция — automatic telephone exchange автоматическая межпланетная станция — automated interplanetary station/laboratory автоматическая винтовка …
Русско-Английский краткий словарь по общей лексике
TIMING VERIFICATION — 1) верификация синхронизации 2) верификация временных диаграмм; верификация временных параметров; верификация временных соотношений ( в логической схеме )
Англо-Русский словарь компьютерных терминов
SOLID-MODEL VERIFICATION — пространственная верификация, верификация по твердотельным моделям
Современный Англо-Русский словарь по машиностроению и автоматизации производства
IN-PROCESS VERIFICATION — верификация (УП) в процессе программирования, параллельная верификация
Современный Англо-Русский словарь по машиностроению и автоматизации производства
VERIFICATION — 1) верификация, контроль, проверка а) проверка правильности выполнения операции см. тж. data verification б) в САПР электроники - проверка правильности электрических соединений принципиальной …
Англо-Русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
СИСТЕМА — ж. system система, препятствующая продольному наклону кузова при разгоне — antisquat system система, препятствующая продольному "клевку" кузова при разгоне — antisquat system система, препятствующая …
Русско-Aнглийский автомобильный словарь
СТАНЦИЯ — см. автоматическая лунная станция ; автоматическая межпланетная станция ; автоматическая станция ; антенна земной станции ; космическая станция ; Международная …
Русско-Английский словарь идиом по космонавтике
СИСТЕМА — см. автоколебательная система ; автоматическая система подготовки старта ; автоматическая система сближения ; автоматическая система управления ; автоматические системы корабля …
Русско-Английский словарь идиом по космонавтике
VOICE VERIFICATION — верификация (отождествление) голоса; верификация (говорящего) по голосу
Англо-Русский словарь компьютерной безопасности
АВТОМАТИЧЕСКИЙ — прил. 1) automatic, self-acting автоматическая телефонная станция – automatic telephone exchange автоматическая межпланетная станция – automated interplanetary station/laboratory автоматическая винтовка …
Большой Русско-Английский словарь
VERIFICATION — сущ. 1) контроль, проверка; сверка Syn : check, examination 2) удостоверение, подтверждение (предсказания, сомнения) 3) юр. засвидетельствование контроль, осуществление контроля; …
Новый большой Англо-Русский словарь
TIMING VERIFICATION — 1. верификация синхронизации 2. верификация временных диаграмм; верификация временных параметров; верификация временных соотношений (в логической схеме)
Новый большой Англо-Русский словарь
SHELL-GUN — сущ.; воен. малокалиберная автоматическая пушка n воен. малокалиберная автоматическая пушка shell-gun воен. малокалиберная автоматическая пушка
Новый большой Англо-Русский словарь
PROBE — 1. сущ. 1) а) мед. зонд б) тех. зонд, щуп; датчик 2) а) зондирование б) геол. пробное бурение в) испытание …
Новый большой Англо-Русский словарь
DATAMATION — автоматическая обработка данных (информатика) автоматическая обработка информации datamation вчт. автоматическая обработка информации
Новый большой Англо-Русский словарь
DATA — сущ.; мн. от datum 1) мн. от datum 2) часто как ед. данные, факты, сведения; информация actual data ≈ фактические …
Новый большой Англо-Русский словарь
AUTOMATIC — 1. прил. 1) автоматический, автоматизированный automatic train stop ж.-д. ≈ автостоп automatic pistol ≈ пистолет automatic rifle ≈ автоматическая винтовка; …
Новый большой Англо-Русский словарь

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

← АВТОМАТИЧЕСКАЯ БУРОВАЯ УСТАНОВКА АВТОМАТИЧЕСКАЯ ВИНТОВКА→