Що таке HOARE Українською - Українська переклад

• хоар
• хоара
• гоаром
• хоаре
• гоара

Приклади вживання Hoare Англійська мовою та їх переклад на Українською

Tony Hoare.
Тоні Хоар.

Hoare Shah.
Хоаре Шах.

Tony Hoare.
Тоні Гоар.

Hoare possesses no such knowledge.
Шаман такими знаннями не володіє.

Tony Hoare.
Тоні Гоаром.

The design is by Irish sculptor Noel Hoare.
Дизайнер реверсу- ірландський художник і скульптор Noel Hoare.

Brookes Hoare and Roscoe.
Брукса Хоара і Роско.

Richard Colt Hoare.
Річард Кольт Хоар.

Senator Hoare says that I was not expelled from the Labour party.
Депутат облради каже, що його не виганяли з партії.

Oliver Hoare.
Олівер Хоар.

Oliver Hoare has died of cancer aged 73 in France, according to reports.
Олівер Хоар помер від раку у Франції у віці 73 років",- йдеться в повідомленні.

Richard Hoare.
Річард Хоар.

In 1969, Tony Hoare introduces the Hoare logic, a form of axiomatic semantics.
У 1969 році Тоні Хоар вводить логіку Хоара, форму аксіоматичної семантики.

Charles Anthony Hoare.
Чарльза Ентоні Хоара.

In 1969, Tony Hoare introduces the Hoare logic, a form of axiomatic semantics.
У 1969 році Тоні Гоар вводить логіку Гоара, форму аксіоматичної семантики.

Comments on C. Hoare& Co.
Створення C. Hoare& Co.

Hoare logic provides axioms and inference rules for all the constructs of a simple imperative programming language.
Логіка Гоара надає аксіоми та правила виведення для всіх конструкцій простих імперативних мов програмування.

The medal was rediscovered when the shop owner offered it to the Jeffrey Hoare Auction House in London, Ontario in April 2004.
Орден було віднайдено, коли власник виставив його на торги«Jeffrey Hoare Auction House» у Лондоні, Онтаріо, квітень 2004.

Lake Hoare, in Taylor Valley, is the freshest of the Dry Valley lakes receiving its melt almost exclusively from the Canada Glacier.
Озеро Гоаре, в долині Тейлор, є новітнім озером в Сухій долині, одержує живлення майже виключно з Канадського льодовика.

It was proposed in 1969 by the British computer scientist and logician Tony Hoare, and subsequently refined by Hoare and other researchers.
Запропонована в 1969 британським інформатиком та логіком Тоні Гоаром, і пізніше вдосконалена ним же, та іншими дослідниками.

Last week Hoare told the New York Times that the News of the World used police technology to locate people using cell phone signals.
Хоар також розповів New York Times, що журналісти News of the World, цілком ймовірно, використовували технологію поліції, щоб знаходити людей за сигналами мобільних пристроїв, заплативши за це співробітникам поліції.

As cities grow, and London is growing by the equivalent of two full Tube trains every week, there will be a continuation of that trend," said Graham Hoare, Ford's chief engineer.
Лондон зростає дуже швидко- пляма його забудови збільшується за тиждень на довжину двох поїздів метро, і ця тенденція збережеться",- говорить Грем Хоар, головний інженер корпорації Ford.

One of Ouspensky's earliest pupils, Reggie Hoare, who had been part of the Gurdjieff work since 1924, made contact with Shah through that article.
Один з перших послідовників Успенського, Реджі Хоаре, який був частиною Гурджиєвської роботи с 1924 року, через ту статтю встановив контакт с Шахом.

Hoare"attached special significance to what Shah had told him about the Enneagram symbol and said that Shah had revealed secrets about it that went far beyond what we had heard from Ouspensky.".
Хоаре«приділив особливе значення тому, що Шах говорив про Енєаграмму, та казав, що Шах відносно її розкривав секрети, які далеко вийшли за межі того, що ми чули від Успенського.».

Following the publication of the original version of CSP, Hoare, Stephen Brookes, and A. W. Roscoe developed and refined the theory of CSP into its modern, process algebraic form.
Після публікації оригінальної версії CSP, Хоар, Стівен Брукс та Біл Роско розвинули та вдосконалили теорію CSP до її сучасної форми, алгебри процесів.

Hoare returned to the spotlight last week, after he told the New York Times that reporters at the News of the World were able to use police technology to locate people using their mobile phone signals in exchange for payments to police officers.
Хоар також розповів New York Times, що журналісти News of the World, цілком ймовірно, використовували технологію поліції, щоб знаходити людей за сигналами мобільних пристроїв, заплативши за це співробітникам поліції.

It was noted by William Stukeley in 1723 and Richard Colt Hoare in 1810, and was excavated by John Thurnam in 1868, recovering an ox skull and some secondary inhumations.
Його існування зазначив Вільям Стюклі у 1723 році та Річард Кольт Хоар у 1810 році; він був розкопаний Джоном Турнемом в 1868 році, який знайшов череп бика і деякі другорядні поховання.

Through Hoare, Shah was introduced to other Gurdjieffians, including John G. Bennett, a noted Gurdjieff student and founder of an"Institute for the Comparative Study of History, Philosophy and the Sciences" located at Coombe Springs, a 7-acre(2.8-hectare) estate in Kingston upon Thames, Surrey.
Через Хоаре, Шах був представлений до інших гурждиєвців, включаючи Джона Беннетта, відомого учня Гурджиєва, засновника«Інституту порівняльного вивчення історії, філософії та наук», розташованого в Кумб-Спрингс на 7-ми акровому маєтку(2, 8 га) у Кінгстоун на Темзі, Суррей.

The theoretical version of CSP was initially presented in a 1984 article by Brookes, Hoare, and Roscoe, and later in Hoare's book Communicating Sequential Processes, which was published in 1985.
Теоретична версія CSP була спочатку представлена у статті Брукса, Хоара і Роско 1984р, пізніше- у книзі Хоара«Communicating Sequential Processes», що була опублікована у 1985р.