checking

Develop computational power by checking some detailed computations from Box 7.1.

Развивайте свои способности к выкладкам, проверяя частично подробные вычисления в дополнении 7.1.

Misner, Charles W.,Thorne, Kip S.,Wheeler, John Archibald / GravitationМизнер, Ч.,Торн, К.,Уилер, Дж. / Гравитация

Гравитация

Мизнер, Ч.,Торн, К.,Уилер, Дж.

© 1973 by W. H. Freeman and Company

© Перевод на русский язык «Мир», 1977

Gravitation

Misner, Charles W.,Thorne, Kip S.,Wheeler, John Archibald

© 1970 and 1971 by Charles W. Misner, Kip S. Thorne, and John Archibald Wheeler.

© 1973 by W. H. Freeman and Company.

It can be handy to have the domain controller notify you when this happens rather than checking the logs all the time.

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

Boswell, William / Inside Windows Server 2003Бозуэлл, Уилльям / Внутренный мир Windows Server 2003, SP1 и R2

Внутренный мир Windows Server 2003, SP1 и R2

Бозуэлл, Уилльям

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

© Pearson Education, Inc., 2003

Inside Windows Server 2003

Boswell, William

© 2003 by Pearson Education, Inc.

It will provide for detailed specification of product characteristics and permit the checking of consistency of values in specific fields.

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

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

http://www.un.org/ 06.10.2010

© United Nations 2010

http://www.un.org/ 06.10.2010

data including lists of registered voters including results of checking said lists for the presence of "doubles";

данных, включающих списки зарегистрированных участников голосования, включая результаты проверки указанных списков на наличие "двойников";

http://www.patentlens.net/ 11/25/2011

http://www.patentlens.net/ 11/25/2011

data including lists of registered voters including results of checking said lists for the presence of "doubles",

данных, включающих списки зарегистрированных участников голосования, включая результаты проверки указанных списков на наличие "двойников";

http://www.patentlens.net/ 11/25/2011

http://www.patentlens.net/ 11/25/2011

Although she does not know what interest rates will be at that time, she does know that she can always put the money in a checking account and be sure of having $1,200 at the end of year 2.

Хотя ей не известно, какой в то время будет процентная ставка, она твердо знает, что всегда может положить деньги на чековый счет и гарантированно иметь 1200 дол. к концу второго года.

Brealey, Richard,Myers, Stewart / Principles of Corporate FinanceБрейли, Ричард,Майерс, Стюарт / Принципы корпоративных финансов

Принципы корпоративных финансов

Брейли, Ричард,Майерс, Стюарт

© 2003, 2000, 1996, 1991, 1988, 1984, 1981 by The McGraw-Hill Companies, Inc.

© ЗАО «Олимп-Бизнес», перевод на рус. яз., оформление, 2004

Principles of Corporate Finance

Brealey, Richard,Myers, Stewart

© The McGraw−Hill Companies, 2003

As he read the names again, he felt a sudden uneasiness. Here are the scientists . . . but where is Galileo? He turned to Vittoria, who was checking the contents of a nearby vault.

Повернувшись к Виттории, изучавшей содержимое соседнего хранилища, Лэнгдон сказал:

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

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

Браун, Дэн

© Dan Brown, 2000

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

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

Angels and Demons

Brown, Dan

© 2000 by Dan Brown

By checking your logs, of course.

Конечно же, проверкой протоколов.

Lockhart, Andrew / Network Security HacksЛокхарт, Эндрю / Антихакинг в сети. Трюки.

Антихакинг в сети. Трюки.

Локхарт, Эндрю

© 2004 O'Reilly Media, Inc.

© Издание на русском языке ЗАО Издательский дом «Питер», 2005

© Перевод на русский язык ЗАО Издательский дом «Питер», 2005

Network Security Hacks

Lockhart, Andrew

© 2004 O'Reilly Media, Inc.

In accordance with Methodology 2, as a result of the inspection and examination of the act of checking compliance with License conditions of NERC, the Commission makes decisions, which are drawn up in the form of the following documents:

В соответствии с Методологией 2, в результате проверки и изучения акта проверки соблюдения условий лицензии НКРЭ, Комиссия принимает решения, которые принимают форму следующих документов:

Бьорк, ИсабельBjork, Isabel

ork, Isabel

Bjork, Isabe

© Energy Regulators Regional Association (ERRA).

© ERRA 2007

http://www.erranet.org 12/27/2011

орк, Исабель

Бьорк, Исабел

© Региональная ассоциация органов регулирования энергетики (ЭРРА)

© ERRA 2007

http://www.erranet.org 12/27/2011

Testing his results, checking the details of the story of the first summoning.

Проверка результатов, подтверждение деталей первого подъема аванка.

Mieville, China / The ScarМьевиль, Чайна / Шрам

Шрам

Мьевиль, Чайна

© Перевод. Г. Крылов, 2008

© Издание на русском языке. ООО "Издательство "Эксмо", 2008

© 2002 by China Mieville

The Scar

Mieville, China

© 2002 by China Mieville

JavaScript coders have resorted since the early days to checking in their code which browser they’re using or to testing whether or not an object exists.

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

Crane, Dave,Pascarello, Eric / Ajax in ActionКрейн, Дейв,Паскарелло, Эрик / Ajax в действии

Ajax в действии

Крейн, Дейв,Паскарелло, Эрик

© 2006 by Manning Publications Co.

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

Ajax in Action

Crane, Dave,Pascarello, Eric

© 2006 by Manning Publications Co.

Still, you won’t be killed for checking ’em, while you might be for not doing it.

Сделать это еще раз – не смертельно, а вот пренебрежение может стоить жизни.

Abercrombie, Joe / The Blade ItselfАберкромби, Джо / Кровь и железо

Кровь и железо

Аберкромби, Джо

© 2006 by Joe Abercrombie.

© Перевод. В. Иванов, 2008

© Издание на русском языке. ООО "Издательство "Эксмо", 2008

The Blade Itself

Abercrombie, Joe

© 2007 by Joe Abercrombie

I’d dragged her back to my apartment on the night of her twenty-first birthday and tucked her into my bed, checking her breathing every ten minutes, and finally fell asleep on the floor next to her after I’d made sure she’d live through the night.

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

Weisberger, Lauren / Devil Wears PradaВайсбергер, Лорен / Дьявол носит "Prada"

Дьявол носит "Prada"

Вайсбергер, Лорен

© Lauren Weisberger, 2002

© 2006 Fox "Devil Wears Prada" TM © All Rights Reserved

© ООО Издательство "АСТ МОСКВА", 2009

Devil Wears Prada

Weisberger, Lauren

© 2003 by Lauren Weisberger

Jenny spoke, checking her heading and speed with a finger. “We should be at the coordinates Craig gave in another half hour. ”

Дженни сверилась с показаниями приборов и сообщила: – Мы должны быть на месте, согласно координатам Крейга, примерно через полчаса.

Rollins, James / Ice HuntРоллинс, Джеймс / Айсберг

Айсберг

Роллинс, Джеймс

© 2003 by Jim Czajkowski

© В. Шуверов, перевод, 2009

© ООО "Издательство "Эксмо", издание на русском языке, 2009

Ice Hunt

Rollins, James

© 2003 by Jim Czajkowski

Model checking is a technique that explores the state space of a system to ensure that certain properties, typically specified as “assertions,” are true.

Верификация модели представляет собой метод анализа пространства состояния системы для проверки некоторых свойств, обычно называемых «утверждениями».

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.