Results for hoare translation from English to Russian

hoare
Хоар

hoare.
hoare.

mr. hoare
г-н Хоар

mr. michael hoare
Г-н Майкл Хор

*hoare, r.j.b.
* hoare, r. j.

edited and translated by r. c. hoare.
edited and translated by r.c.

hoare, daniel lehmann, and willem-paul de roever.
hoare, daniel lehmann, and willem-paul de roever.

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

in a press interview, hoare himself described his men as "appalling thugs".
В интервью прессе сам Оур описал своих людей как "диких головорезов" .

hoare was educated at harrow school and new college, oxford, where he graduated b.a.
Учился в лондонской элитарной школе Хэрроу и Новом колледже Оксфордского университета.

hoare was elected a fellow of the royal society in 1792 and was also a fellow of the society of antiquaries of london.
Хоар был избран членом Королевского общества в 1792 году, а также был членом общества антикваров Лондона.

it was proposed in 1969 by the british computer scientist and logician c. a. r. hoare, and subsequently refined by hoare and other researchers.
Была предложена в 1969 году английским учёным в области информатики и математической логики Хоаром, позже развита самим Хоаром и другими исследователями.

35. 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.
35. Специальному докладчику удалось установить, что в настоящее время наемники не предоставляют свои услуги самостоятельно, как это делали в Катанге в 60-х годах такие личности, как полковник Боб Денар или Майк Хор.

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.
Логика Хоара (, также floyd—hoare logic, или hoare rules) — формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ.

== works by mike hoare ==* "congo mercenary," london: hale (1967), isbn 0-7090-4375-9; boulder, co: paladin press (reissue 2008, with new foreword), isbn 978-1-58160-639-3* "congo warriors," london: hale (1991), isbn 0-7090-4369-4* "the road to kalamata : a congo mercenary's personal memoir," lexington, mass.
* Боб Денар* congo mercenary, london: hale (1967), isbn 0-7090-4375-9; boulder, co: paladin press (reissue 2008, with new foreword), isbn 978-1-58160-639-3* congo warriors, london: hale (1991), isbn 0-7090-4369-4* the road to kalamata : a congo mercenary’s personal memoir, lexington, mass.