3.03.2016 |
17:28:00 |
IT |
bareboard target |
безоперационносистемная платформа (компании AdaCore) |
3.03.2016 |
17:27:28 |
IT |
bareboard target |
платформа без операционной системы (компании AdaCore) |
3.03.2016 |
17:25:56 |
progr. |
container |
контейнерный класс |
3.03.2016 |
17:25:13 |
progr. |
containers library |
библиотека контейнерных классов |
3.03.2016 |
17:22:00 |
progr. |
detect invalid memory access |
выявить недопустимое обращение к памяти (компании AdaCore) |
3.03.2016 |
17:21:46 |
progr. |
detect invalid memory access |
обнаружить недопустимое обращение к памяти (компании AdaCore) |
3.03.2016 |
17:20:30 |
progr. |
invalid memory access |
недопустимое обращение к памяти (компании AdaCore) |
3.03.2016 |
17:15:18 |
progr. |
debugger technology |
технология отладчика программного обеспечения (компании AdaCore) |
3.03.2016 |
17:14:39 |
progr. |
set of libraries and bindings |
набор пакетов сопряжения и библиотек (компании AdaCore) |
3.03.2016 |
17:13:37 |
progr. |
extensive set |
обширный набор (компании AdaCore) |
3.03.2016 |
17:13:03 |
IT |
binding |
пакет сопряжения (Ada thecloudstrap.com) |
3.03.2016 |
17:10:33 |
progr. |
model-based development and verification tool |
инструментальное средство для управляемой моделями разработки и верификации программного обеспечения (компании AdaCore) |
3.03.2016 |
17:08:01 |
progr. |
model-based development |
управляемая моделями разработка (с генерацией кода приложения на основе структурированных моделей данных) |
3.03.2016 |
17:07:48 |
progr. |
model-driven development |
управляемая моделями разработка (с генерацией кода приложения на основе структурированных моделей данных) |
3.03.2016 |
17:06:03 |
progr. |
model-based development |
разработка, управляемая моделями (с генерацией кода приложения на основе структурированных моделей данных) |
3.03.2016 |
17:02:30 |
progr. |
verification environment for high-integrity software |
среда верификации программного обеспечения с высоким уровнем полноты безопасности (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore) |
3.03.2016 |
16:58:41 |
progr. |
high-integrity software |
программное обеспечение с высоким уровнем полноты безопасности (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций) |
3.03.2016 |
16:57:08 |
progr. |
high-integrity software |
высоконадёжный (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore) |
3.03.2016 |
16:56:11 |
progr. |
verification environment for high-integrity software |
среда верификации высоконадёжного программного обеспечения (т.е. программного обеспечения с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore) |
3.03.2016 |
16:54:27 |
progr. |
embedded target |
встроенная система (компании AdaCore) |
3.03.2016 |
16:54:14 |
progr. |
embedded target |
встроенная платформа (говоря о целевой платформе для разрабатываемого программного обеспечения; компании AdaCore) |
3.03.2016 |
16:51:52 |
progr. |
safety- and security-critical |
с особыми требованиями по технической и информационной безопасности (adacore.com) |
3.03.2016 |
16:51:36 |
progr. |
safety- and security-critical |
с повышенными требованиями к технической и информационной безопасности (adacore.com) |
3.03.2016 |
16:48:54 |
progr. |
safe and secure software |
программное обеспечение с высокими требованиями по информационной и технической безопасности (компании AdaCore) |
3.03.2016 |
16:45:49 |
progr. |
development and verification tools |
инструментальные средства разработки и верификации программного обеспечения (компании AdaCore) |
3.03.2016 |
16:37:58 |
polit. |
party elder |
заслуженный партийный деятель (CNN) |
3.03.2016 |
16:36:08 |
polit. |
unequivocally reject |
чётко отмежеваться от (CNN) |
3.03.2016 |
16:35:30 |
polit. |
unequivocally reject |
однозначно отмежеваться от (CNN) |
3.03.2016 |
16:34:41 |
inf. |
that guy |
этот парень |
3.03.2016 |
16:33:07 |
polit. |
in the party |
в партии |
3.03.2016 |
16:33:07 |
polit. |
in the party |
в рядах партии |
3.03.2016 |
16:32:45 |
busin. |
coordinated effort |
координация (CNN) |
3.03.2016 |
16:32:25 |
busin. |
coordinated effort |
скоординированная работа (CNN) |
3.03.2016 |
16:31:56 |
busin. |
lack of a coordinated effort |
отсутствие координации (CNN) |
3.03.2016 |
16:31:56 |
busin. |
lack of a coordinated effort |
отсутствие скоординированной работы |
3.03.2016 |
16:29:33 |
polit. |
movement on social media |
движение в социальных сетях (CNN) |
3.03.2016 |
16:28:42 |
polit. |
thinker |
идеолог (CNN) |
3.03.2016 |
16:28:24 |
polit. |
conservative thinker |
идеолог консервативного лагеря (CNN) |
3.03.2016 |
16:27:44 |
polit. |
party operatives and party leaders |
работники партийного аппарата и ответственные партийные работники (CNN) |
3.03.2016 |
16:26:32 |
fig.of.sp. |
have started to pick up steam |
начать набирать обороты (CNN) |
3.03.2016 |
16:25:48 |
polit. |
pick up endorsements |
получать публичную поддержку (говоря о публичных заявлениях о поддержке кандидата на выборах со стороны других политических деятелей; from ... от / со стороны ...; CNN) |
3.03.2016 |
16:23:35 |
polit. |
get down to reality |
вернуться в действительность (вновь начать адекватно оценить действительность; CNN) |
3.03.2016 |
16:20:31 |
polit. |
anti-establishment |
неноменклатурный (CNN) |
3.03.2016 |
16:20:14 |
polit. |
anti-establishment candidate |
неноменклатурный кандидат (CNN) |
3.03.2016 |
16:19:10 |
polit. |
dominant night |
ночь победы (на всеобщих выборах, предварительных выборах; CNN) |
3.03.2016 |
16:16:26 |
polit. |
minority constituencies |
меньшинства (напр., этнические, конфессиональные; CNN) |
3.03.2016 |
16:15:39 |
polit. |
make inroads |
наладить отношения (with ... – с ...; CNN) |
3.03.2016 |
16:13:06 |
rhetor. |
flurry of discussions |
шквал дискуссий (CNN) |
3.03.2016 |
16:11:54 |
rhetor. |
this is a done deal |
это свершившийся факт (CNN) |
3.03.2016 |
16:09:28 |
rhetor. |
put it this way |
сформулировать это таким образом (CNN) |
3.03.2016 |
16:07:33 |
polit. |
factionalism |
фракционная деятельность (CNN) |
3.03.2016 |
16:06:09 |
polit. |
party leaders and establishment party members |
ответственные работники партии и номенклатура партии |
3.03.2016 |
16:05:04 |
fig.of.sp. |
be at a crossroads |
находиться на перепутье (CNN) |
3.03.2016 |
16:03:37 |
geogr. |
in the States |
в Штатах (в США; CNN) |
3.03.2016 |
16:03:07 |
quot.aph. |
he said what we were all thinking |
он вслух сказал то, о чем мы все думаем (CNN) |
3.03.2016 |
16:01:58 |
med. |
in the medical field |
в медицинской сфере (CNN) |
3.03.2016 |
16:01:46 |
med. |
in the medical field |
в сфере медицины (CNN) |
3.03.2016 |
16:00:31 |
med. |
government-funded health care |
государственная медицинская помощь (CNN) |
3.03.2016 |
16:00:31 |
med. |
government-funded health care |
государственные гарантии финансового обеспечения бесплатной медицинской помощи |
3.03.2016 |
15:55:18 |
law |
hopeful immigrant |
потенциальный иммигрант (CNN) |
3.03.2016 |
15:54:26 |
quot.aph. |
by email, Internet or phone |
по телефону, электронной почте и через сайт (CNN) |
3.03.2016 |
15:53:41 |
NGO |
nonprofit tourism association |
некоммерческая туристическая ассоциация (CNN) |
3.03.2016 |
15:53:31 |
NGO |
nonprofit tourism association |
неприбыльная туристическая ассоциация (CNN) |
3.03.2016 |
15:52:42 |
gen. |
in the next two weeks |
в ближайшие две недели |
3.03.2016 |
15:52:23 |
rhetor. |
unambiguous clarity |
недвусмысленная ясность (CNN) |
3.03.2016 |
15:52:23 |
rhetor. |
unambiguous clarity |
чёткая ясность |
3.03.2016 |
15:52:23 |
rhetor. |
unambiguous clarity |
однозначная ясность |
3.03.2016 |
15:47:08 |
quot.aph. |
this is serious |
всё серьёзно (букв. – "это серьёзно") |
3.03.2016 |
15:45:40 |
quot.aph. |
is this a joke? |
это шутка? |
3.03.2016 |
15:45:11 |
quot.aph. |
is this for real? |
разве дела действительно обстоят таким образом? |
3.03.2016 |
15:45:10 |
quot.aph. |
is this for real? |
вы серьёзно? |
3.03.2016 |
15:45:10 |
quot.aph. |
is this for real? |
разве дела действительно так обстоят? |
3.03.2016 |
14:08:39 |
formal |
leadership in |
организация по управлению (чем-либо) |
3.03.2016 |
13:42:43 |
progr. |
obsolescent feature |
устаревшее средство языка программирования |
3.03.2016 |
13:36:18 |
formal |
self-service machine |
программно-технический комплекс самообслуживания (банкомат, терминал для приёма платежей от физических лиц в режиме самообслуживания) |
3.03.2016 |
10:31:26 |
AI. |
automated verification and proof description language |
язык описания логических систем для автоматического поиска доказательств |
3.03.2016 |
10:29:31 |
dipl. |
working group |
целевая группа |
3.03.2016 |
10:29:20 |
progr. |
working group on functional programming |
рабочая группа по функциональному программированию |
3.03.2016 |
10:29:20 |
progr. |
working group on functional programming |
целевая группа по функциональному программированию |
3.03.2016 |
10:23:22 |
progr. |
default initialized |
инициализированный значением по умолчанию (компании AdaCore) |
3.03.2016 |
10:21:27 |
progr. |
revision of the language |
версия языка программирования |
3.03.2016 |
10:21:12 |
progr. |
future revision of the language |
новая версия языка программирования |
3.03.2016 |
10:20:42 |
progr. |
future revision of the language |
следующая версия языка программирования |
2.03.2016 |
20:46:29 |
progr. |
be default initialized |
инициализироваться значением по умолчанию (компании AdaCore) |
2.03.2016 |
15:53:16 |
progr. |
cloud runtime model |
модель облачной среды выполнения |
2.03.2016 |
15:53:16 |
progr. |
cloud runtime model |
облачная модель выполнения |
2.03.2016 |
15:37:19 |
busin. |
bolster competitive strengths |
усилить конкурентные преимущества |
2.03.2016 |
14:47:33 |
fin. |
irrevocable financial aid |
безвозвратная финансовая помощь |
2.03.2016 |
12:45:46 |
polit. |
presidential contender |
претендент на президентский пост (CNN) |
2.03.2016 |
11:48:34 |
police |
Anti-Money Laundering Department |
Управление борьбы с отмыванием доходов, полученных преступным путём (налоговой полиции) |
2.03.2016 |
11:39:45 |
police |
Anti-Money Laundering Department |
УБОДППП (сокр. от "Управление борьбы с отмыванием доходов, полученных преступным путем") |
2.03.2016 |
10:30:28 |
progr. |
create an RFC |
изготовить на бумажном или электронном носителе рабочее предложение (документ из серии пронумерованных информационных документов, содержащих технические спецификации и стандарты) |
1.03.2016 |
17:51:28 |
NGO |
member in good standing of the society |
действительный член общества (говоря о члене какого-либо общества, напр., общества рыболовов и охотников и т.п.) |
1.03.2016 |
17:41:34 |
hist. |
historical accuracy |
историческая точность |
1.03.2016 |
17:40:53 |
mil. |
eliminate a military threat |
нейтрализовать военную угрозу |
1.03.2016 |
17:35:30 |
polit. |
ideologically counter-productive |
идеологически контрпродуктивный |
1.03.2016 |
17:28:58 |
polit. |
hard-left |
ультралевый |
1.03.2016 |
17:27:43 |
PR |
propaganda organ |
пропагандистский орган |
1.03.2016 |
17:20:51 |
lit. |
beguiling rhymes and rhythms |
привлекательные рифмы и ритмы |
1.03.2016 |
17:14:48 |
rhetor. |
pseudo-scholar |
псевдоучёный |