- mechanical verifier
- автоматический верификатор
Большой англо-русский и русско-английский словарь. 2001.
mechanical verifier
Смотреть что такое "mechanical verifier" в других словарях:
List of IBM products — The following is a list of notable products from the International Business Machines (IBM) Corporation and its predecessor corporations, beginning in the 1890s, and spanning punched card machinery, time clocks, and typewriters, via mainframe… … Wikipedia
автоматический верификатор — Схема обеспечения автоматического доказательства правильности программ. Включает генератор условий верификаций и блок доказательства теорем. [http://www.morepc.ru/dict/] Тематики информационные технологии в целом EN mechanical verifier … Справочник технического переводчика
Key punch — A key punch is a device for entering data into punched cards by precisely punching holes at locations designated by the keys struck by the operator. Early keypunches were manual devices. Later keypunches were mechanized, often resembled a small… … Wikipedia
Barcode — For the taxonomic method, see DNA barcoding. A UPC A barcode symbol A barcode is an optical machine readable representation of data, which shows data about the object to which it attaches. Originally barcodes represented data by varying the… … Wikipedia
Appareillage electrique a haute tension — Appareillage électrique à haute tension Pour les articles homonymes, voir Appareillage (homonymie). Appareillage électrique 800 kV L appareillage électrique à haute ten … Wikipédia en Français
Appareillage Électrique À Haute Tension — Pour les articles homonymes, voir Appareillage (homonymie). Appareillage électrique 800 kV L appareillage électrique à haute ten … Wikipédia en Français
Appareillage à haute tension — Appareillage électrique à haute tension Pour les articles homonymes, voir Appareillage (homonymie). Appareillage électrique 800 kV L appareillage électrique à haute ten … Wikipédia en Français
Appareillage électrique à haute tension — Pour les articles homonymes, voir Appareillage (homonymie). Appareillage électrique 800 kV L appareillage électrique à haute tension est l ensemble des appareils électriques qui permettent l … Wikipédia en Français
2000 New Year Honours — The insignia of the Grand Cross of the Order of St Michael and St George: Andrew Wood was awarded the Grand Cross in this Honours list. The New Year Honours 2000 for the United Kingdom were announced on 31 December 1999, to celebrate the year… … Wikipedia
Algorithme de Grover — En informatique quantique, l´algorithme de Grover est un algorithme de recherche, permettant de rechercher un ou plusieurs éléments qui répondent à un critère donné parmi N éléments non classés en temps proportionnel à et avec un espace de… … Wikipédia en Français
Effort tranchant — Théorie des poutres Pour les articles homonymes, voir Poutre. La théorie des poutres, ou théorie d Euler Bernoulli, est un modèle utilisé dans le domaine de la résistance des matériaux. Le terme de « poutre » désigne un objet dont la… … Wikipédia en Français
