formalize

first, to formalize their respective unilateral nuclear-test moratoriums, perhaps through a bilateral treaty;

во-первых, заключить официальное соглашение — возможно, двусторонний договор — о своих односторонних мораториях на проведение ядерных испытаний;

© Организация Объединенных Наций, 2010 год

http://www.un.org/ 28.12.2010

© United Nations 2010

http://www.un.org/ 28.12.2010

fourthly, to formalize the previous understanding to provide prior and adequate notification of flight tests of missiles;

в-четвертых, закрепить в виде официального соглашения достигнутую ранее договоренность о заблаговременном и адекватном уведомлении о летных испытаниях ракет;

© Организация Объединенных Наций, 2010 год

http://www.un.org/ 28.12.2010

© United Nations 2010

http://www.un.org/ 28.12.2010

At this point, couples may choose to formalize their relationship and stay together into the next stage. Or they may terminate it and seek out new partners.

В этот момент семейная пара может либо решиться оформить свои отношения и сделать следующий совместный шаг, либо разойтись и искать новых партнеров.

Toffler, Alvin / Future ShockТоффлер, Элвин / Шок Будущего

Шок Будущего

Тоффлер, Элвин

© Alvin Toffler, 1970

© Перевод. К. Бурмистров, 2001

© Перевод. Л. Бурмистрова, 2001

© Перевод. Е. Комарова, 2001

© Перевод. В. Кулагина-Ярцева, 2001

© Перевод. А. Микиша, 2001

© Перевод. А. Мирер, 2001

© Перевод. И. Москвина-Тарханова, 2001

© Перевод. Е. Руднева, 2001

© Перевод. Н. Хмелик, 2001

Future Shock

Toffler, Alvin

© 1970 by Alvin Toffler

Steps are now under way to formalize the recruitment to fill these posts.

В настоящее время предпринимаются шаги по официальному оформлению найма сотрудников на эти должности.

© Организация Объединенных Наций, 2010 год

http://www.un.org/ 11.03.2011

© United Nations 2010

http://www.un.org/ 11.03.2011

Meanwhile, the Office continues to formalize the services it provides to clients through memorandums of understanding.

Тем временем Отделение продолжает официально оформлять услуги, которые оно предоставляет своим клиентам, с помощью меморандумов о договоренности.

© Организация Объединенных Наций, 2010 год

http://www.un.org/russian/ga/search/symbol.asp 19.10.2010

© United Nations 2010

http://www.un.org/russian/ga/search/symbol.asp 19.10.2010

Let them formalize and finalize their so-called relationship in whatever way they saw fit.

Пусть завершат свою так называемую связь, как посчитают нужным.

Watts, Peter / BlindsightУоттс, Питер / Ложная слепота

Ложная слепота

Уоттс, Питер

© 2006 by Peter Watts

© Д.М.Смушкович, перевод, 2009

© ООО "Астрель-СПб", 2010

Blindsight

Watts, Peter

© 2006 by Peter Watts

For all those reasons, it was appropriate to formalize the relationship by granting ECOWAS observer status in the General Assembly.

Исходя из вышесказанного, представляется уместным формально закрепить эти взаимоотношения и предоставить Сообществу статус наблюдателя в Генеральной Ассамблее.

© Организация Объединенных Наций, 2010 год

http://www.un.org/ 7/9/2010

© United Nations 2010

http://www.un.org/ 7/9/2010

This March, ISTIL Group expects to formalize a deal on purchase of a 51% stake in RB Capital-Group that owns 76.8% in Rodovid Bank (PFTS: RODB).

ISTIL Group планирует в марте 2009 г. оформить сделку по покупке 51% ООО "РБ Капитал-Групп", которое владеет 76.8% акций "Родовид Банка" (ПФТС: RODB).

© 2006 UFC Capital

http://ufc-capital.com/ 29.11.2011

© 2006 UFC Capital

http://ufc-capital.com/ 29.11.2011

The Secretariat will also formalize a policy on providing support to various national peacekeeping training centres in 2003, with the aim of improving the quality of support to the centres.

В 2003 году Секретариат также официально утвердит процедуры оказания помощи различным национальным центрам подготовки миротворцев, что должно позволить повысить качество такой помощи.

© Организация Объединенных Наций, 2010 год

http://www.un.org/ 28.09.2010

© United Nations 2010

http://www.un.org/ 28.09.2010

As is well known, there are many sets of axioms for groups other than the one which we formalized in G.

Как хорошо известно, существует большое количество множеств аксиом для групп, отличных от тех, которые мы формализовали в G.

Shoenfield, Joseph / Mathematical LogicШенфилд, Дж. / Математическая логика

Математическая логика

Шенфилд, Дж.

© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

We shall consider here briefly some formalized implications which do better in that respect.

Мы коротко рассмотрим здесь некоторые формализованные импликации, которые лучше в этом отношении.

Curry, Haskell B. / Foundations of Mathematical LogicКарри, Хаскелл Б. / Основания математической логики

Основания математической логики

Карри, Хаскелл Б.

© Издательство «Мир», 1969

Foundations of Mathematical Logic

Curry, Haskell B.

© 1963 by Haskell B. Curry.

© 1977 by Haskell B. Curry.

"We are still formalizing that, signore. In the meantime, I am faithful Captain Rocher will find the canister."

План предстоит формализовать, но я уверен, что капитан Рошер найдет сосуд с антивеществом.

Brown, Dan / Angels and DemonsБраун, Дэн / Ангелы и демоны

Ангелы и демоны

Браун, Дэн

© Dan Brown, 2000

© Перевод. Г.Б. Косов, 2004

© ООО «Издательство ACT», 2005

Angels and Demons

Brown, Dan

© 2000 by Dan Brown

Information about the types represented by variables is formalized by defining a mapping from type variables to type expressions called a substitution.

Информация о типах, представленная переменными, формализована определением отображения переменных типа на выражения типа, называемого подстановкой.

Aho, Alfred V.,Sethi, Ravi,Ullman, Jeffrey / Compilers: Principles, Techniques, and ToolsАхо, Альфред В.,Ульман, Джеффри,Сети, Рави / Компиляторы: принципы, технологии, инструменты

Компиляторы: принципы, технологии, инструменты

Ахо, Альфред В.,Ульман, Джеффри,Сети, Рави

© Addison-Wesley Publishing Company, Inc., 1985

© 2001

© Издательский дом "Вильямс", 2001

Compilers: Principles, Techniques, and Tools

Aho, Alfred V.,Sethi, Ravi,Ullman, Jeffrey

© 2001 by PEARSON EDUCATION NORTH ASIA LIMITED and PEOPLE'S POSTS & TELECOMMUNICATIONS PUBLISHING HOUSE

© 1986

The practice becomes more formalized, with more detailed and complete description of procedures.

В частности, процедура делопроизводства становится более формальной, описание процедур - более детальным.

©2004-2005 by RECEP

http://www.recep.ru/ 11/25/2011

©2004-2005 by RECEP

http://www.recep.ru/ 11/25/2011

Such an approach to the problem requires overcoming of overly regulated legal theory oriented towards formalized rules.

Такая постановка вопроса требует преодоления нормативизма правовой теории, ориентированной на формальные правила.

©2004-2005 by RECEP

http://www.recep.ru/ 11/25/2011