HOARE на Русском - Русский перевод

• хоар
• хоара
• хор
• хоаре

Примеры использования Hoare на Английском языке и их переводы на Русский язык

Hoare, Oliver.
Герни, Оливер.

These early models by Milner and Hoare both had the property of bounded nondeterminism.
Этим обеим ранним моделям Милнера и Хоара свойствен ограниченный недетерминизм.

Hoare lost his position.
Худат утратил свое значение.

In the May 2010 issue of Terrorizer magazine, writer James Hoare spoke with vocalist/piper Lauri"Varulven.
В номере журнала Terrorizer за май 2010 года, журналист Джеймс Хоар брал интервью у Лаури Ыунапуу.

Hoare made his international debut in 2012.
Аксель дебютировал на международной арене в 2012 году.

Formed in 1995, the band's lineup currently consists of singer Ben Ward, guitarist Joe Hoare, bassist Martyn Millard, and drummer Chris Turner.
В настоящий момент группа состоит из вокалиста Бена Уорда, гитариста Джо Хоара, басиста Мартина Миллэрда и барабанщика Криса Тернера.

Tony Hoare Microsoft Research, Cambridge, UK.
Тони Хоар Майкрософт Рисерч, Кембридж, Великобритания.

Such constructs were in part inherited or inspired from Simula 67, ALGOL 68, Niklaus Wirth's own ALGOL W and suggestions by C. A. R. Hoare.
Эти конструкции были частично унаследованы или инспирированы от языков Симула- 67, Алгол- 68, созданного Никлаусом Виртом AlgolW( англ.) русск. и предложены Хоаром.

In a press interview, Hoare himself described his men as"appalling thugs.
В интервью прессе сам Хоар описал своих людей как« диких головорезов».

Minden sailed from Bombay on 8 February 1811 on her first cruise, under the command of Edward Wallis Hoare, and manned by the crew of the Russell.
Minden был укомплектован экипажем с Russell, после чего отплыл из Бомбея в свое первое плавание под командованием капитана Эдуарда Уоллиса Хоара 8 февраля 1811 года.

Hoare, representing the United Kingdom, responded to the underlying issue more fully.
Представляющий Соединенное Королевство Хоар более полно ответил на базовый вопрос.

Author and retired British diplomat James Hoare wrote,"The main emphasis in British coverage of North Korea is on the odd and the peculiar.
Автор и вышедший на пенсию британский дипломат Джеймс Хоар написал:« Основной упор в британском освещении Северной Кореи делается на странность и специфичность».

Hoare was elected a Fellow of the Royal Society in 1792 and was also a Fellow of the Society of Antiquaries of London.
Хоар был избран членом Королевского общества в 1792 году, а также был членом общества антикваров Лондона.

IMG members also took part in New Left Review: Tariq Ali, Robin Blackburn, and Quintin Hoare were on its editorial board for much of the 1970s and subsequently.
Многие деятели группы участвовали в издании« New Left Review»( NLR): Али, Блэкборн и Квентин Хор входили в состав редакции NLR с начала 1970- х годов и дальше.

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

Grizell was the eldest sister of another family of well-off Stoke Newington Quakers, of whom the best-known is Samuel Hoare Jr(1751-1825), one of the twelve founding members of the Society for the Abolition of the Slave Trade.
Ее родственником был Сэмюэль Хоар младший( 1751- 1825 гг.), один из двенадцати членов- учредителей Общества за отмену работорговли.

Lake Hoare, in Taylor Valley, is the freshest of the Dry Valley lakes receiving its melt almost exclusively from the Canada Glacier.
Озеро Хоар в долине Тейлора- наиболее пресное из всех озер Сухих долин, питающееся в основном от ледника Канада.

A journey through Wales was followed by a translation of the Itinerarium Cambriae and of the Descriptio Cambriae of Gerald of Wales, with Hoare adding notes and a life of Gerald to his translation.
После путешествия по Уэльсу он сделал переводы Itinerarium Cambriae и Cambriae Descriptio Гиральда Камбрийского вместе с авторскими комментариями Хоара к переводу о жизни Гиральда.

Hoare also went on to praise the release, giving special note to the choir; the Estonian National Male Choir participated on the track"Ema hääl kutsub.
Хоар похвалил альбом и в отдельности отметил участие эстонского национального хора в композиции« EMA HÄÄL KUTSUB».

The Special Rapporteur has established that, unlike mercenaries such as Colonel Bob Denard or Mike Hoare in Katanga during the 1960s, today's mercenaries do not work independently.
Специальному докладчику удалось установить, что в настоящее время наемники не предоставляют свои услуги самостоятельно, как это делали в Катанге в 60- х годах такие личности, как полковник Боб Денар или Майк Хор.

Mercenaries, led by"Mad Mike" Hoare and mostly whites from central and southern Africa, were formed into a unit known as 5 Commando ANC.
Наемники во главе с« Бешеным Майком» Хоаром, в основном из Западной Европы и Южной Африки, были сформированы в подразделение, известное как 5- й Отряд коммандос НАК.

To commemorate the occasion, past presenters were invited to co-host programmes in the slot which they once occupied, amongst them Peter Canessa, David Hoare, Norma Delgado, Gerry Martinez, Christine Dobinson and Richard Cartwright.
В ознаменование этого события в студию были приглашены прежние дикторы, в том числе Питер Канеза, Дэвид Хоар, Норма Дельгадо, Джерри Мартинес, Кристин Добинсон и Ричард Картрайт.

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 года, благодаря этой статье установил контакт с Шахом.

On 13 November 1935, Nasser led a student demonstration against British rule, protesting against a statement made four days prior by UK foreign minister Samuel Hoare that rejected prospects for the 1923 Constitution's restoration.
Ноября 1935 года юноша возглавил протест учащихся против заявления министра иностранных дел Великобритании Сэмюэля Хора об отсутствии перспектив восстановления конституции 1923 года.

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.
Хоаре придал особое значение тому, что Шах говорил об эннеаграмме, и говорил, что относительно этого символа Шах расскрывал секреты, которые уходили далеко от того, чему их учил Успенский.

In 1785 he inherited the large Stourhead estate in Wiltshire from his grandfather, Henry Hoare II, which enabled him to pursue his interests including the archaeological studies for which he had already shown an inclination.
В 1785 году он унаследовал крупное имение Стахед от своего деда, Генри Хора II, доходы от которого позволили ему продолжать свои археологические исследования, к которым он уже проявлял склонность.

Hoare logic(also known as Floyd-Hoare logic or Hoare rules) is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs.
Логика Хоара( англ. Hoare logic, также Floyd- Hoare logic, или Hoare rules)- формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ.

On the eve of a major House of Commons debate on refugees on 21 November 1938, Home Secretary Sir Samuel Hoare met a large delegation representing Jewish, as well as Quaker and other non-Jewish groups, working on behalf of refugees.
Накануне дебатов о беженцах в Палате общин Великобритании 21 ноября 1938 года министр внутренних дел сэр Сэмюэль Хор встретился с многочисленной делегацией, представлявшей различные еврейские и нееврейские сообщества, действующих от имени беженцев.

In late December 1935, Hoare of the United Kingdom and Laval of France proposed the secret Hoare-Laval Plan, which would have ended the war but allowed Italy to control large areas of Ethiopia.
Более того, Англия и Франция заключили 9 декабря 1935 года в Париже соглашение(« план Хора- Лаваля»), по которому значительная часть территории Эфиопии должна была перейти под власть Италии.

Pursuant to rule 15 of the provisional rules of procedure of the Security Council, the Secretary-General wishes to report that he has received a letter dated 4 August 2006 from the Permanent Representative of the United Kingdom of Great Britain and Northern Ireland to the United Nations stating that Michael Hoare has been appointed alternate representative of the United Kingdom on the Security Council, effective 21 March 2006.
В соответствии с правилом 15 временных правил процедуры Совета Безопасности Генеральный секретарь хотел бы сообщить о том, что он получил вербальную ноту Постоянного представителя Соединенного Королевства Великобритании и Северной Ирландии при Организации Объединенных Наций от 4 августа 2006 года, в которой говорится, что с 21 марта 2006 года Майкл Хор назначен альтернативным представителем Соединенного Королевства в Совете Безопасности.