ВЕРИФИКАЦИЯ ДАННЫХ

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

data verification

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

ВЕРИФИКАЦИЯ — f. verification
Russian-English Dictionary of the Mathematical Sciences
ВЕРИФИКАЦИЯ — Formal verification
Русско-Американский Английский словарь
ВЕРИФИКАЦИЯ — (установление подлинности) verification
Русско-Английский словарь общей тематики
ДАННЫХ — The data
Russian Learner's Dictionary
ДАННЫХ — yield
Russian-English Edic
ВЕРИФИКАЦИЯ — (установление подлинности) verification
Русско-Английский словарь - QD
ВЕРИФИКАЦИЯ — verification
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ДАННЫХ — i см. данные
Большой Русско-Английский словарь
ВЕРИФИКАЦИЯ — verification ж. (установление подлинности) verification
Большой Русско-Английский словарь
ДАННЫХ — данных iсм. также данные
Русско-Английский словарь Сократ
ВЕРИФИКАЦИЯ — верификация verification
Русско-Английский словарь Сократ
VERIFICATION — сущ. 1) контроль, проверка; сверка Syn : check, examination 2) удостоверение, подтверждение (предсказания, сомнения) 3) юр. засвидетельствование контроль, осуществление контроля; …
Большой Англо-Русский словарь
VERIF — [verification] контроль; проверка; верификация
Большой Англо-Русский словарь
TRANSMISSION — сущ. 1) передача, перенос Heterosexual contact is responsible for the bulk of HIV transmission. ≈ В основном гетеросексуальные контакты влекут …
Большой Англо-Русский словарь
TIMING VERIFICATION — 1. верификация синхронизации 2. верификация временных диаграмм; верификация временных параметров; верификация временных соотношений (в логической схеме)
Большой Англо-Русский словарь
SYSTEM — сущ. 1) а) система Syn : method б) система, устройство; метод adversary system ≈ система состязательности в суде (правда выясняется …
Большой Англо-Русский словарь
SPEAKER VERIFICATION — установление (подлинности) личности говорящего, проф. " верификация диктора"
Большой Англо-Русский словарь
PROGRAM VERIFICATION — проверка правильности [верификация] программы
Большой Англо-Русский словарь
PROCESSOR — сущ.; компьют. процессор (компьютерное) процессор; машина для обработки данных - central * центральный процессор, главная ЭВМ компилирующая программа предприятие перерабатывающей …
Большой Англо-Русский словарь
PROCESSING — сущ. 1) обработка America sent cotton to England for processing. ≈ Америка посылает хлопок в Англию для обработки. processing industry …
Большой Англо-Русский словарь
PRINTOUT — сущ.; компьют. вывод (данных) на печатающее устройство (компьютерное) распечатка (с) ЭВМ; листинг; вывод (данных) на печатающее устройство табуляграмма результатов или …
Большой Англо-Русский словарь
MECHANICAL VERIFICATION — автоматическая проверка; автоматическая верификация
Большой Англо-Русский словарь
MACHINE VERIFICATION — машинная проверка; машинная верификация
Большой Англо-Русский словарь
ITEM — 1. сущ. 1) а) пункт, параграф, статья budget item б) вопрос (на повестке заседания) в) отдельный предмет (в списке и …
Большой Англо-Русский словарь
INVERSE VERIFICATION — мат. инверсная верификация
Большой Англо-Русский словарь
INDIRECT VERIFICATION — мат. косвенная верификация
Большой Англо-Русский словарь
FORMAL VERIFICATION — формальная верификация (формальное доказательство соответствия программы ее спецификации)
Большой Англо-Русский словарь
FILE — I 1. сущ. 1) напильник, надфиль a nail file ≈ пилка для ногтей 2) шлифовка, обработка напильником, опиливание to need …
Большой Англо-Русский словарь
DIRECT VERIFICATION — мат. прямая верификация
Большой Англо-Русский словарь
DIAGNOSTIC VERIFICATION — 1. диагностическая проверка 2. верификация диагностических процедур
Большой Англо-Русский словарь
DATABASE — сущ. база данных базы данных chain ~ вчт. цепная база данных comprehensive ~ вчт. многоцелевая база данных corporate ~ вчт. …
Большой Англо-Русский словарь
DATA — сущ.; мн. от datum 1) мн. от datum 2) часто как ед. данные, факты, сведения; информация actual data ≈ фактические …
Большой Англо-Русский словарь
FORMAL VERIFICATION — Верификация
Американский Англо-Русский словарь
FORMAL METHODS — Верификация
Американский Англо-Русский словарь
TIMING VERIFICATION — верификация временных параметров; верификация временных соотношений
Большой Англо-Русский политехнический словарь
ON-LINE PROCESSING — 1) оперативная обработка ( данных ) ; обработка ( данных ) в реальном (масштабе) времени; обработка данных в темпе (их) …
Большой Англо-Русский политехнический словарь
TIMING VERIFICATION — верификация временных параметров; верификация временных соотношений
Большой Англо-Русский политехнический словарь - РУССО
ON-LINE PROCESSING — 1) оперативная обработка (данных); обработка (данных) в реальном (масштабе) времени; обработка данных в темпе (их) поступления 2) неавтономная обработка (данных), обработка …
Большой Англо-Русский политехнический словарь - РУССО
DATA DICTIONARY — словарь (базы) данных. информационная система, описывающая структуру и использование базы данных. словарь базы данных включает имена и атрибуты элементов данных, …
Англо-Русский словарь Tiger
TIMING VERIFICATION — верификация синхронизации верификация временных диаграмм верификация временных соотношений (в логической схеме) visual ~ визуальный контроль
Англо-Русский словарь по компьютерам
DATA DICTIONARY — словарь (базы) данных. Информационная система, описывающая структуру и использование базы данных. Словарь базы данных включает имена и атрибуты элементов данных, …
Англо-Русский словарь по компьютерам
TIMING VERIFICATION — 1) верификация синхронизации 2) верификация временных диаграмм; верификация временных параметров; верификация временных соотношений (в логической схеме)
Англо-Русский словарь по вычислительной технике и программированию
TIMING VERIFICATION — 1) верификация синхронизации 2) верификация временных диаграмм; верификация временных параметров; верификация временных соотношений ( в логической схеме )
Англо-Русский словарь компьютерных терминов
SOLID-MODEL VERIFICATION — пространственная верификация, верификация по твердотельным моделям
Современный Англо-Русский словарь по машиностроению и автоматизации производства
IN-PROCESS VERIFICATION — верификация (УП) в процессе программирования, параллельная верификация
Современный Англо-Русский словарь по машиностроению и автоматизации производства
VERIFICATION — 1) верификация, контроль, проверка а) проверка правильности выполнения операции см. тж. data verification б) в САПР электроники - проверка правильности электрических соединений принципиальной …
Англо-Русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
DATA BUS — шина данных а) одна из трех шин, соединяющих устройства компьютера (например, процессор и ОЗУ) и служащая для пересылки данных между ними. …
Англо-Русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ТЕЛЕМЕТРИЯ — техника измерений на расстоянии. Телеметрия позволяет удовлетворить весьма важную потребность ученого, инженера, медицинского эксперта или иного пользователя в данных об …
Русский словарь Colier
ДИСТАНЦИОННОЕ — ДИСТАНЦИОННОЕ ЗОНДИРОВАНИЕ Дистанционное зондирование охватывает теоретические исследования, лабораторные работы, полевые наблюдения и сбор данных с борта самолетов и искусственных спутников …
Русский словарь Colier
БИБЛИОТЕКИ — БИБЛИОТЕКИ Электронные источники информации и персональные компьютеры существенно изменили характер деятельности современных библиотек. Бум компьютерных технологий, начавшийся в 1980-е годы, …
Русский словарь Colier
АРХЕОЛОГИЯ — АРХЕОЛОГИЯ Обычно археолог делит свое время между работой в библиотеке, в поле и в лаборатории. Свою работу он начинает с …
Русский словарь Colier
ИНФОРМАЦИИ — ИНФОРМАЦИИ НАКОПЛЕНИЕ И ПОИСК Существуют три основных типа информационных систем: системы управления базами данных, системы поиска библиографических ссылок и запросно-ответные …
Русский словарь Colier
ВОЕННО-КОСМИЧЕСКАЯ — ВОЕННО-КОСМИЧЕСКАЯ ДЕЯТЕЛЬНОСТЬ Историческая справка. Вооруженные силы США с самого начала заинтересовали возможности, которые открылись с появлением спутников связи, навигационных и …
Русский словарь Colier
VOICE VERIFICATION — верификация (отождествление) голоса; верификация (говорящего) по голосу
Англо-Русский словарь компьютерной безопасности
VERIFICATION — сущ. 1) контроль, проверка; сверка Syn : check, examination 2) удостоверение, подтверждение (предсказания, сомнения) 3) юр. засвидетельствование контроль, осуществление контроля; …
Новый большой Англо-Русский словарь
TRANSMISSION — сущ. 1) передача, перенос Heterosexual contact is responsible for the bulk of HIV transmission. ≈ В основном гетеросексуальные контакты влекут …
Новый большой Англо-Русский словарь
TIMING VERIFICATION — 1. верификация синхронизации 2. верификация временных диаграмм; верификация временных параметров; верификация временных соотношений (в логической схеме)
Новый большой Англо-Русский словарь
SYSTEM — сущ. 1) а) система Syn : method б) система, устройство; метод adversary system ≈ система состязательности в суде (правда выясняется …
Новый большой Англо-Русский словарь
PROCESSOR — сущ.; компьют. процессор (компьютерное) процессор; машина для обработки данных - central * центральный процессор, главная ЭВМ компилирующая программа предприятие перерабатывающей …
Новый большой Англо-Русский словарь
PROCESSING — сущ. 1) обработка America sent cotton to England for processing. ≈ Америка посылает хлопок в Англию для обработки. processing industry …
Новый большой Англо-Русский словарь
PRINTOUT — сущ.; компьют. вывод (данных) на печатающее устройство (компьютерное) распечатка (с) ЭВМ; листинг; вывод (данных) на печатающее устройство табуляграмма результатов или …
Новый большой Англо-Русский словарь
DATABASE — сущ. база данных базы данных chain ~ вчт. цепная база данных comprehensive ~ вчт. многоцелевая база данных corporate ~ вчт. …
Новый большой Англо-Русский словарь
DATA — сущ.; мн. от datum 1) мн. от datum 2) часто как ед. данные, факты, сведения; информация actual data ≈ фактические …
Новый большой Англо-Русский словарь
DATA DICTIONARY — словарь (базы) данных. информационная система, описывающая структуру и использование базы данных. словарь базы данных включает имена и атрибуты элементов данных, описание схемы …
Англо-Русский словарь

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

← ВЕРИФИКАЦИЯ ВРЕМЕННЫХ СООТНОШЕНИЙ

ВЕРИФИКАЦИЯ ДИАГНОСТИЧЕСКИХ ПРОЦЕДУР→