referred

This combination of simulation and traditional static formal verification is referred to as dynamic formal verification.

Эта комбинация системы моделирования и традиционной статической формальной верификации называется динамической формальной верификацией.

Maxfield, Clive / The design warrior's guide to FPGAs: Devices, Tools and FlowsМаксфилд, Клайв / Проектирование на ПЛИС. Архитектура, средства и методы. Курс молодого бойца

Проектирование на ПЛИС. Архитектура, средства и методы. Курс молодого бойца

Максфилд, Клайв

© Издательский дом «Додэка-XXI», 2007

The design warrior's guide to FPGAs: Devices, Tools and Flows

Maxfield, Clive

© 2004, Mentor Graphics Corporation and Xilinx, Inc.

For a typical wireless channel, the received signal usually consists of several discrete multipath components, causing S(t) to exhibit multiple isolated peaks, sometimes referred to as fingers or returns.

Для типичного беспроводного канала полученный сигнал обычно состоит из нескольких дискретных многолучевых компонентов, приводящих к появлению изолированных пиков S(t), называемых иногда пальцами, или отраженными сигналами.

Sklar, Bernard / Digital Communications: Fundamentals and ApplicationsСкляр, Бернард / Цифровая связь. Теоретические основы и практическое применение

Цифровая связь. Теоретические основы и практическое применение

Скляр, Бернард

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

© Prentice Hall PTR, 2001

Digital Communications: Fundamentals and Applications

Sklar, Bernard

Then he left me money, nearly ten thousand -- those notes to which the prosecutor referred in his speech, having learnt from someone that he had sent them to be changed.

Тут же оставил у меня деньги, почти десять тысяч, -- вот те самые, про которые прокурор, узнав от кого-то, что он посылал их менять, упомянул в своей речи.

Dostoevsky, Fyodor / The brothers KaramazovДостоевский, Фёдор / Братья Карамазовы

Братья Карамазовы

Достоевский, Фёдор

© Издательство "Художественная литература", 1988

The brothers Karamazov

Dostoevsky, Fyodor

In none of these cases, however, was gender the primary or secondary reason for the deprivation of liberty (as referred to in resolution 2000/46).

Однако ни в одном из этих случаев тендерный фактор не является ни основным, ни побочным мотивом лишения свободы (по смыслу резолюции 2000/46).

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

http://www.un.org/ 05.01.2011

© United Nations 2010

http://www.un.org/ 05.01.2011

Older children with unexplained jaundice are often also referred for sonographic evaluation.

Детей более старшего возраста с необъяснённой желтухой часто направляют на УЗИ.

© 2001-2006 EurasiaHealth Knowledge Network and American International Health Alliance

http://www.eurasiahealth.org/ 2/5/2008

We have audited the accounting (financial) statements for 2008 attached to this Auditor's Opinion of the Interregional Distribution Grid Company of Centre, Joint-Stock Company (hereinafter referred to as "the Company").

Мы провели аудит прилагаемой к настоящему Аудиторскому заключению бухгалтерской (финансовой) отчетности Открытого акционерного общества "Межрегиональная распределительная сетевая компания Центра" (далее - "Общество") за 2008 год.

© 2010 JSC "IDGC Holding"

http://www.holding-mrsk.ru/ 12/20/2011

© 2010 ОАО "Холдинг МРСК"

http://www.holding-mrsk.ru/ 12/20/2011

Entities shall prepare the financial statement on the last day of the financial year referred to in article 12, paragraph 2 of the Accounting Law.

Предприятия подают финансовый отчет в последний день отчетного (финансового) года как это указано в статье 12, параграфе 2 закона о бухучете.

© Copyright by PAIiIZ and JP Weber Dudarski Sp. k.

http://jpweber.com/ 15.04.2011

© Copyright by PAIiIZ and JP Weber Dudarski Sp. k.

http://jpweber.com/ 15.04.2011

Such a composite filter is sometimes referred to simply as the equalizing filter or the receiving and equalizing filter.

Такой составной фильтр иногда называется просто выравнивающим или принимающим и выравнивающим.

Sklar, Bernard / Digital Communications: Fundamentals and ApplicationsСкляр, Бернард / Цифровая связь. Теоретические основы и практическое применение

Цифровая связь. Теоретические основы и практическое применение

Скляр, Бернард

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

© Prentice Hall PTR, 2001

Digital Communications: Fundamentals and Applications

Sklar, Bernard

PHP also makes use of a variable type referred to as "objects," but that is a far more complicated topic than we can discuss in an introductory book. To learn about objects and how to use them, see Appendix C, PHP Resources.

В РНР используется еще один тип переменных - объекты, но это сложный вопрос, рассматривающийся в приложении С.

Ullman, Larry / PHP for the World Wide Web: Visual QuickStart GuideУльман, Ларри / Основы программирования на РНР

Основы программирования на РНР

Ульман, Ларри

© 2001 by Peachpit Press

© Перевод на русский язык ДМК Пресс, 2001

PHP for the World Wide Web: Visual QuickStart Guide

Ullman, Larry

© 2001 by Larry Ullman

However, since the draft articles referred specifically to intergovernmental organizations as the only category of international organizations that were subjects of international law, that did not seem to be a cause for concern.

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

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

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

© United Nations 2010

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

We have already repeated time and again the truth proved by Marx that the antagonism referred to above inevitably arises at a definite stage in the development of commodity production.

Мы не раз уже повторяли ту доказанную Марксом истину, что указанное выше противоречие неизбежно возникает на известной ступени развития товарного производства.

Плеханов, Г. В. / Наши разногласия. Письмо к П. Л. ЛавровуPlekhanov, G. V. / Our Differences. Letter to P. L. Lavrov

Our Differences. Letter to P. L. Lavrov

Plekhanov, G. V.

Наши разногласия. Письмо к П. Л. Лаврову

Плеханов, Г. В.

© Государственное издательство политической литературы, 1949 г.

I was jarred – a little spooked, as well – at so blatant a reference to something referred to, by mutual agreement, almost exclusively with codes, catchwords, a hundred different euphemisms.

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

Tartt, Donna / The Secret HistoryТартт, Донна / Тайная история

Тайная история

Тартт, Донна

© 1992 by Donna Tartt

© Д. Бородкин, Н. Ленцман, перевод на русский язык, 2007

© ООО "Издательская группа "Аттикус", 2009

The Secret History

Tartt, Donna

© 1992 by Donna Tartt

Ad hoc networks are also commonly referred to as peer-to-peer networks.

Неплановые сети также часто называют одноранговыми или пиринговыми сетями (от англ, peer-to-peer).

Geier, Jim / Wireless Networks first-stepГейер, Джим / Беспроводные сети. Первый шаг

Беспроводные сети. Первый шаг

Гейер, Джим

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

© Cisco Systems, Inc., 2005

Wireless Networks first-step

Geier, Jim

© 2005 Cisco Systems, Inc.

It is referred, for example, to the diseases caused by viruses of papilloma, adenoviruses, herpes-6, variola, syndrome SARS, hemorrhagic fevers, fever of the Western Nile, avian influenza.

Это относится, например, к заболеваниям, вызываемым вирусами папилломы, аденовирусам, гepпeca-6, оспы, синдрома SARS, геморрагических лихорадок, лихорадки Западного Нила, птичьего гриппа и т.д.

http://www.patentlens.net/ 21.10.2011

http://www.patentlens.net/ 21.10.2011

Someone--I fancy it was the destitute general, a man familiar with modern literature--referred to the influence of women in general, and especially on young men.

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

Тургенев, И.С. / Записки охотника т.2Turgenev, I.S. / A Sportsman's Sketches v.2

A Sportsman's Sketches v.2

Turgenev, I.S.

© 2006 BiblioBazaar

Записки охотника т.2

Тургенев, И.С.

© Издательство "Художественная литература", 1975