УСТРОЙСТВО ВЕРИФИКАЦИИ

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

verifier

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

УСТРОЙСТВО ВЕРИФИКАЦИИ — verifier
Современный Русско-Английский словарь по машиностроению и автоматизации производства
УСТРОЙСТВО — n. apparatus, arrangement, device, system, organization; machine, computer; цифровое счётное устройство, digital computer; аналоговое устройство, analog computer
Russian-English Dictionary of the Mathematical Sciences
УСТРОЙСТВО — Arrangement
Русско-Американский Английский словарь
УСТРОЙСТВО — 1. ( действие ) arrangement; organization для устройства своих дел — to settle one's affairs он занят устройством квартиры — …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
УСТРОЙСТВО — с. 1. (действие) arranging; для ~а своих дел to see to one`s affairs; 2. (строй) system, set-up; structure; 3. (конструкция) …
Русско-Английский словарь общей тематики
УСТРОЙСТВО — setup
Новый Русско-Английский биологический словарь
УСТРОЙСТВО — The system(device)
Russian Learner's Dictionary
УСТРОЙСТВО — device
Russian Learner's Dictionary
УСТРОЙСТВО — с. 1. ( действие ) arrangement; organization для устройства своих дел — to settle one's affairs он занят устройством квартиры …
Русско-Английский словарь
УСТРОЙСТВО — с. 1. ( действие ) arrangement; organization для устройства своих дел — to settle one's affairs он занят устройством квартиры …
Russian-English Smirnitsky abbreviations dictionary
УСТРОЙСТВО — декодирующее устройство: decoder switch заведомо исправное устройство: known good unit
Russian-English Edic
УСТРОЙСТВО — apparatus, appliance, arrangement, facility, fitment, convenience, device, element, gadget, gear, mechanism, motion, rig, structure, system, widget
Русско-Английский словарь по машиностроению и автоматизации производства
УСТРОЙСТВО — ср. 1) (действие) arrangement; organization для устройства своих дел — to settle one's affairs он занят устройством квартиры — he …
Русско-Английский краткий словарь по общей лексике
УСТРОЙСТВО — arrangement, implement, project, apparatus, appliance, assembly, attachment, contrivance, conformation, device, element, mechanism, facility, fix-up, gear, motion, organization, widget, structure, system
Русско-Английский словарь по строительству и новым строительным технологиям
УСТРОЙСТВО — arrangement, constitution, device, mechanism, organization, (организации) set-up, structure, system
Русско-Английский экономический словарь
УСТРОЙСТВО — см. зарядное (устройство)
Англо-Русско-Английский словарь сленга, жаргона, русских имен
УСТРОЙСТВО — с. 1. (действие) arranging; для ~а своих дел to see to one`s affairs; 2. (строй) system, set-up; structure; 3. (конструкция) construction, design; (планировка) arrangement, lay-out; 4. …
Русско-Английский словарь - QD
УСТРОЙСТВО — constitution, device, organization, structure
Русско-Английский юридический словарь
УСТРОЙСТВО — см. тж. общее ~ • All shear connectors must have some provision ( or arrangement , or contraption ) to …
Русско-Английский научно-технический словарь переводчика
УСТРОЙСТВО
Русско-Aнглийский автомобильный словарь
УСТРОЙСТВО — 1) appliance 2) device 3) gadget 4) gear 5) station 6) unit
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
УСТРОЙСТВО — n device
Russian-English WinCept Glass dictionary
УСТРОЙСТВО — см. антеннофидерный устройства ; ассенизационно-санитарное устройство ; приемное устройство ; электронное программное устройство ; электронное счетно-решающее устройство ; син. агрегат …
Русско-Английский словарь идиом по космонавтике
УСТРОЙСТВО — устройство 1) (действие) arrangement organization для устройства своих дел – to settle one's affairs он занят устройством квартиры – he …
Большой Русско-Английский словарь
УСТРОЙСТВО — устройство device
Русско-Английский словарь Сократ
VERIFIER — контрольник; устройство верификации, верификатор artwork verifier design verifier key verifier mechanical verifier patchboard verifier punched card verifier signature verifier tape …
Большой Англо-Русский словарь
VERIFICATION PRINCIPLE — принцип верификации прогноза
Большой Англо-Русский словарь
VERIFICATION CONDITION GENERATION — генерирование условий верификации (при доказательстве правильности программ)
Большой Англо-Русский словарь
VERIFICATION ALGORITHM — алгоритм верификации
Большой Англо-Русский словарь
VALIDATION RULES — правила верификации (множество функций, обеспечивающих проверку (dialog data verification) данных, получаемых от диалоговых элементов управления)
Большой Англо-Русский словарь
UNIT — сущ. 1) целое 2) единица измерения monetary unit rental unit 3) мат.; мед. единица 4) воен. часть; подразделение; соединение to …
Большой Англо-Русский словарь
STORAGE — сущ. 1) а) сохранение, хранение Syn : keeping custody, storing б) накопление; аккумулирование 2) а) база, склад, хранилище Syn : …
Большой Англо-Русский словарь
PRINTER — сущ. 1) печатник; типограф; типографщик 2) текст. набойщик 3) принтер, печатающее устройство daisy-wheel printer dot-matrix printer laser printer letter-quality printer …
Большой Англо-Русский словарь
LOGIC OF VERIFICATION — мат. логика верификации
Большой Англо-Русский словарь
FAULT POPULATION — множество неисправностей (рассматриваемое при верификации теста)
Большой Англо-Русский словарь
DEVICE — сущ. 1) устройство, приспособление; механизм; аппарат, машина, прибор listening device ≈ подслушивающее устройство detonating device ≈ детонатор intrauterine device ≈ …
Большой Англо-Русский словарь
DESIGN VERIFICATION SIMULATION — моделирование для проверки [верификации] пректных решений
Большой Англо-Русский словарь
DESIGN-VERIFICATION SYSTEM — система верификации проектных решений
Большой Англо-Русский словарь
CHECKER — I = chequer II сущ.; амер. шашка (в игре в шашки) контролер, учетчик; счетчик - *'s count учет, проводимый учетчиком …
Большой Англо-Русский словарь
ALGORITHM — сущ.; мат. алгоритм algorithm validation ≈ проверка правильности алгоритма (специальное) алгоритм - * validation проверка /доказательство/ правильности алгоритма ad hoc …
Большой Англо-Русский словарь
VERIFIER — 1) поверочное устройство 2) вчт. контрольник 3) программа верификации, проф. верификатор • - card verifier - key verifier - tape …
Большой Англо-Русский политехнический словарь
VERIFIER — 1) поверочное устройство 2) вчт. контрольник 3) программа верификации, проф. верификатор • - card verifier - key verifier - tape verifier
Большой Англо-Русский политехнический словарь - РУССО
LOGIC OF VERIFICATION — матем. логика верификации
Англо-Русский научно-технический словарь
ASSERTION CHECKER — программа верификации, верификатор условий программа, анализирующая текст программы, снабженный условиями и операторами контроля (assertion), которые должны выполняться в определенных ее …
Англо-Русский словарь Tiger
ASSERT STATEMENT — оператор контроля. оператор языка программирования, указывающий условие, которое должно выполняться в данной точке программы. оператор контроля обрабатывается статически при трансляции …
Англо-Русский словарь Tiger
VERIFYING ATTACHMENT — вчт. контрольное устройство, устройство для верификации
Англо-Русский словарь по машиностроению и автоматизации производства 2
VERIFIER — контрольное устройство, контрольник; устройство верификации, верификатор - numerical verifier
Англо-Русский словарь по машиностроению и автоматизации производства 2
NC-VERIFICATION SOFTWARE — программное обеспечение для верификации УП
Англо-Русский словарь по машиностроению и автоматизации производства 2
NC VERIFICATION PROGRAM — программа верификации УП
Англо-Русский словарь по машиностроению и автоматизации производства 2
VERIFYING ATTACHMENT — вчт. контрольное устройство, устройство для верификации
Англо-Русский словарь по машиностроению и автоматизации производства
VERIFIER — контрольное устройство, контрольник; устройство верификации, верификатор - numerical verifier
Англо-Русский словарь по машиностроению и автоматизации производства
NC-VERIFICATION SOFTWARE — программное обеспечение для верификации УП
Англо-Русский словарь по машиностроению и автоматизации производства
NC VERIFICATION PROGRAM — программа верификации УП
Англо-Русский словарь по машиностроению и автоматизации производства
ASSERTION CHECKER — программа верификации, верификатор условий программа, анализирующая текст программы, снабженный условиями и операторами контроля (assertion), которые должны выполняться в определенных ее точках, и доказывающая их истинность или …
Англо-Русский дополнительный словарь
VERIFIER — 1) контрольное устройство, контрольник 2) устройство верификации, верификатор 3) программа верификации; программа контроля
Современный Англо-Русский словарь по машиностроению и автоматизации производства
ОТКРЫТОЕ — Понятие открытого общества - часть философского наследия Карла Поппера. Выдвинутое как антитеза понятию тоталитарного общества, оно впоследствии употреблялось для обозначения …
Русский словарь Colier
МЕТАФИЗИКА — МЕТАФИЗИКА Часто задают вопрос об оправданности метафизического исследования. Иногда приводят общеизвестный факт, что метафизика веками обсуждает одни и те же …
Русский словарь Colier
АЙЕР — (Ayer, Alfred Jules) (1910-1989), английский философ, представитель логического эмпиризма (британской версии логического позитивизма). Родился в Лондоне 29 октября 1910. Получил …
Русский словарь Colier
ЭЛЕКТРОННАЯ — финансовые операции и сделки, выполняемые посредством сети Интернет и частных сетей связи, в ходе которых совершаются покупки и продажи товаров …
Русский словарь Colier
VERIFICATION KEY — ключ проверки (верификации) ключ проверки (верификации)
Англо-Русский словарь компьютерной безопасности
SHARED VERIFICATION SCHEME — схема разделенной верификации схема разделенной верификации
Англо-Русский словарь компьютерной безопасности
UNIT — сущ. 1) целое 2) единица измерения monetary unit rental unit 3) мат.; мед. единица 4) воен. часть; подразделение; соединение to …
Новый большой Англо-Русский словарь
STORAGE — сущ. 1) а) сохранение, хранение Syn : keeping custody, storing б) накопление; аккумулирование 2) а) база, склад, хранилище Syn : …
Новый большой Англо-Русский словарь
PRINTER — сущ. 1) печатник; типограф; типографщик 2) текст. набойщик 3) принтер, печатающее устройство daisy-wheel printer dot-matrix printer laser printer letter-quality printer …
Новый большой Англо-Русский словарь

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

← УСТРОЙСТВО ВВОДА ШИФРА

УСТРОЙСТВО ВИЗУАЛЬНОГО ОТОБРАЖЕНИЯ→