КОСВЕННАЯ ВЕРИФИКАЦИЯ

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

мат. indirect verification

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

ВЕРИФИКАЦИЯ — f. verification
Russian-English Dictionary of the Mathematical Sciences
ВЕРИФИКАЦИЯ — Formal verification
Русско-Американский Английский словарь
ВЕРИФИКАЦИЯ — (установление подлинности) verification
Русско-Английский словарь общей тематики
КОСВЕННАЯ — косвенная адресация: deferred addressing, indirect addressing
Russian-English Edic
ВЕРИФИКАЦИЯ — (установление подлинности) verification
Русско-Английский словарь - QD
ВЕРИФИКАЦИЯ — verification
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ВЕРИФИКАЦИЯ — verification ж. (установление подлинности) verification
Большой Русско-Английский словарь
ВЕРИФИКАЦИЯ — верификация verification
Русско-Английский словарь Сократ
VERIFICATION — сущ. 1) контроль, проверка; сверка Syn : check, examination 2) удостоверение, подтверждение (предсказания, сомнения) 3) юр. засвидетельствование контроль, осуществление контроля; …
Большой Англо-Русский словарь
VERIF — [verification] контроль; проверка; верификация
Большой Англо-Русский словарь
TWO-LEVEL ADDRESSING — косвенная адресация
Большой Англо-Русский словарь
TIMING VERIFICATION — 1. верификация синхронизации 2. верификация временных диаграмм; верификация временных параметров; верификация временных соотношений (в логической схеме)
Большой Англо-Русский словарь
THREE-LEVEL ADDRESSING — трехуровневая (дважды косвенная) адресация
Большой Англо-Русский словарь
SPEAKER VERIFICATION — установление (подлинности) личности говорящего, проф. " верификация диктора"
Большой Англо-Русский словарь
REPORTED — прил.; грам. сообщенный, переданный; доложенный reported speech reported question сообщенный, переданный; доложенный reported грам.: reported speech косвенная речь ~ воен. …
Большой Англо-Русский словарь
REFERENCE — 1. сущ. 1) связь, отношение; касательство (to) in, with reference to ≈ относительно, что касается in reference with your recent …
Большой Англо-Русский словарь
PROGRAM VERIFICATION — проверка правильности [верификация] программы
Большой Англо-Русский словарь
ORATION — сущ. 1) молитва, обращение к богу Syn : prayer I, petition 1. 2) речь (особ. торжественная) to deliver an oration …
Большой Англо-Русский словарь
OBLIQUE — 1. прил. 1) косой, наклонный, покатый, скошенный oblique photography Syn : inclined, slanting 2) а) окольный; косвенный, непрямой Oblique accusations …
Большой Англо-Русский словарь
MECHANICAL VERIFICATION — автоматическая проверка; автоматическая верификация
Большой Англо-Русский словарь
MACHINE VERIFICATION — машинная проверка; машинная верификация
Большой Англо-Русский словарь
INVERSE VERIFICATION — мат. инверсная верификация
Большой Англо-Русский словарь
INDIRECT VERIFICATION — мат. косвенная верификация
Большой Англо-Русский словарь
INDIRECT — прил. 1) непрямой The indirect way's the nearest. ≈ Окольный путь - самый короткий. indirect government representation ≈ (непрямое) многоступенчатое …
Большой Англо-Русский словарь
FORMAL VERIFICATION — формальная верификация (формальное доказательство соответствия программы ее спецификации)
Большой Англо-Русский словарь
EVIDENCE — 1. сущ. 1) ясность, наглядность, очевидность Evidence cannot be hidden. ≈ Очевидность нельзя спрятать. in evidence Syn : clearness, evidentness …
Большой Англо-Русский словарь
DIRECT VERIFICATION — мат. прямая верификация
Большой Англо-Русский словарь
DIAGNOSTIC VERIFICATION — 1. диагностическая проверка 2. верификация диагностических процедур
Большой Англо-Русский словарь
FORMAL VERIFICATION — Верификация
Американский Англо-Русский словарь
FORMAL METHODS — Верификация
Американский Англо-Русский словарь
OBLIQUE — oblique.ogg 1. əʹbli:k n 1. мат. 1> наклонная линия, косая линия 2> знак (/) ( для записи простых дробей ) …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
INDIRECT — indirect.ogg ͵ındıʹrekt a 1. непрямой indirect route - обходный /окольный/ путь indirect light - отражённый свет indirect fire - воен. …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
TIMING VERIFICATION — верификация временных параметров; верификация временных соотношений
Большой Англо-Русский политехнический словарь
TIMING VERIFICATION — верификация временных параметров; верификация временных соотношений
Большой Англо-Русский политехнический словарь - РУССО
REFERENCE — reference сущ.1) связь, отношение; касательство ( to) in, with reference to — относительно, что касается in reference with your recent …
Англо-Русский словарь Tiger
INDIRECT — indirect прил.1) непрямой The indirect way's the nearest. — Окольный путь - самый короткий. indirect government representation — (непрямое) многоступенчатое …
Англо-Русский словарь Tiger
OBLIQUE — 1. [əʹbli:k] n 1. мат. 1) наклонная линия, косая линия 2) знак (/) ( для записи простых дробей ) 2. …
Новый большой Англо-Русский словарь - Апресян, Медникова
INDIRECT — a 1. непрямой ~ route - обходный /окольный/ путь ~ light - отражённый свет ~ fire - воен. огонь с …
Новый большой Англо-Русский словарь - Апресян, Медникова
OBLIQUE — 1. əʹbli:k n 1. мат. 1> наклонная линия, косая линия 2> знак (/) ( для записи простых дробей ) 2. …
Большой новый Англо-Русский словарь
INDIRECT — a 1. непрямой indirect route - обходный /окольный/ путь indirect light - отражённый свет indirect fire - воен. огонь с …
Большой новый Англо-Русский словарь
REFERENCE — 1. сущ. 1) связь, отношение; касательство ( to ) in, with reference to — относительно, что касается in reference with …
Англо-Русский словарь по общей лексике
INDIRECT — прил. 1) непрямой The indirect way's the nearest. — Окольный путь - самый короткий. indirect government representation — (непрямое) многоступенчатое …
Англо-Русский словарь по общей лексике
REFERENCE — 1. сущ. 1) связь, отношение; касательство (to) in, with reference to — относительно, что касается in reference with your recent letter — что …
Англо-Русский словарь общей лексики
INDIRECT — прил. 1) непрямой The indirect way's the nearest. — Окольный путь - самый короткий. indirect government representation — (непрямое) многоступенчатое представительство в правительстве indirect …
Англо-Русский словарь общей лексики
TIMING VERIFICATION — верификация синхронизации верификация временных диаграмм верификация временных соотношений (в логической схеме) visual ~ визуальный контроль
Англо-Русский словарь по компьютерам
TIMING VERIFICATION — 1) верификация синхронизации 2) верификация временных диаграмм; верификация временных параметров; верификация временных соотношений (в логической схеме)
Англо-Русский словарь по вычислительной технике и программированию
КОСВЕННЫЙ — прил. oblique, indirect; circumstantial (свидетельство) юр. - косвенная речь - косвенное доказательство косвенный падеж, косвенная форма
Русско-Английский краткий словарь по общей лексике
TIMING VERIFICATION — 1) верификация синхронизации 2) верификация временных диаграмм; верификация временных параметров; верификация временных соотношений ( в логической схеме )
Англо-Русский словарь компьютерных терминов
INDIRECT FM — косвенная линейная частотная модуляция, косвенная ЛЧМ
Англо-Русский словарь по телекоммуникациям
INDIRECT RELEVANCE — 1) косвенная релевантность 2) косвенная обоснованность
Англо-Русский юридический словарь
SOLID-MODEL VERIFICATION — пространственная верификация, верификация по твердотельным моделям
Современный Англо-Русский словарь по машиностроению и автоматизации производства
IN-PROCESS VERIFICATION — верификация (УП) в процессе программирования, параллельная верификация
Современный Англо-Русский словарь по машиностроению и автоматизации производства
VERIFICATION — 1) верификация, контроль, проверка а) проверка правильности выполнения операции см. тж. data verification б) в САПР электроники - проверка правильности электрических соединений принципиальной …
Англо-Русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
INDIRECT ADDRESSING — (IA) косвенная адресация способ адресации, при котором исполнительный адрес находится по адресу памяти, указанному в команде, или находится в регистре. В …
Англо-Русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
INDIRECT — прил. 1) общ. непрямой Sometimes taking an indirect path saves time. — Иногда обходной путь экономит время. Syn: roundabout, circuitous Ant: direct 2) общ. уклончивый, нечестный, вводящий …
Новый англо-русский толковый словарь по менеджменту и экономике труда
VOICE VERIFICATION — верификация (отождествление) голоса; верификация (говорящего) по голосу
Англо-Русский словарь компьютерной безопасности
VERIFICATION — сущ. 1) контроль, проверка; сверка Syn : check, examination 2) удостоверение, подтверждение (предсказания, сомнения) 3) юр. засвидетельствование контроль, осуществление контроля; …
Новый большой Англо-Русский словарь
TIMING VERIFICATION — 1. верификация синхронизации 2. верификация временных диаграмм; верификация временных параметров; верификация временных соотношений (в логической схеме)
Новый большой Англо-Русский словарь
REPORTED — прил.; грам. сообщенный, переданный; доложенный reported speech reported question сообщенный, переданный; доложенный reported грам.: reported speech косвенная речь ~ воен. …
Новый большой Англо-Русский словарь
REFERENCE — 1. сущ. 1) связь, отношение; касательство (to) in, with reference to ≈ относительно, что касается in reference with your recent …
Новый большой Англо-Русский словарь
ORATION — сущ. 1) молитва, обращение к богу Syn : prayer I, petition 1. 2) речь (особ. торжественная) to deliver an oration …
Новый большой Англо-Русский словарь
OBLIQUE — 1. прил. 1) косой, наклонный, покатый, скошенный oblique photography Syn : inclined, slanting 2) а) окольный; косвенный, непрямой Oblique accusations …
Новый большой Англо-Русский словарь
INDIRECT — прил. 1) непрямой The indirect way's the nearest. ≈ Окольный путь - самый короткий. indirect government representation ≈ (непрямое) многоступенчатое …
Новый большой Англо-Русский словарь
EVIDENCE — 1. сущ. 1) ясность, наглядность, очевидность Evidence cannot be hidden. ≈ Очевидность нельзя спрятать. in evidence Syn : clearness, evidentness …
Новый большой Англо-Русский словарь

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

← КОСВЕННАЯ АДРЕСАЦИЯ КОСВЕННАЯ ЗАВИСИМОСТЬ→