Словари

  
 Термины, добавленные пользователями
19.05.2012    << | >>
1 23:57:48 Англо - русский accuracy with which systems can be modeled точность моделирования системы ssn
2 23:57:05 Англо - русский infrared Keck Observatory инфракрасная обсерватория Кека MichaelBurov
3 23:53:39 Англо - русский Kepler telescope телескоп «Кеплер» MichaelBurov
4 23:53:22 Англо - русский swearing in инаугурация президента Andrey Truhachev
5 23:50:41 Русско - немецкий инаугурация президента Vereidigung Andrey Truhachev
6 23:50:26 Англо - русский In order to model asynchronous systems using discrete time, it is necessary to discretize time by choosing some fixed time quantum so that the delay between any two events will be a multiple of this time quantum Для моделирования асинхронных систем с использованием дискретного времени необходимо дискретизовать время, выбрав некоторый фиксированный квант времени так, чтобы задержка между любыми двумя событиями была кратна этому кванту времени (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled (1999)) ssn
7 23:47:26 Англо - русский gravitational lensing гравитационное линзирование MichaelBurov
8 23:45:35 Англо - русский black energy тёмная энергия MichaelBurov
9 23:45:02 Англо - русский black matter тёмная материя MichaelBurov
10 23:41:09 Англо - русский gene demethylation деметилирование генов MichaelBurov
11 23:40:03 Англо - русский delay between any two events задержка между любыми двумя событиями ssn
12 23:39:23 Англо - русский cell reprogramming перепрограммирование клеток MichaelBurov
13 23:39:11 Англо - русский any two events любые два события ssn
14 23:37:43 Англо - русский enterotype энтеротип MichaelBurov
15 23:37:07 Англо - русский microbiome микробиом MichaelBurov
16 23:36:12 Англо - русский some fixed time quantum некоторый фиксированный квант времени ssn
17 23:32:56 Англо - русский patchwork automation лоскутная автоматизация MichaelBurov
18 23:29:43 Англо - русский fixed time quantum фиксированный квант времени ssn
19 23:28:55 Англо - русский unmanned mine безлюдная технология ведения горных работ MichaelBurov
20 23:25:28 Англо - русский coronovirus короновирус MichaelBurov
21 23:24:02 Англо - русский safe for now пока в безопасности (we are safe for now) Yeldar Azanbayev
22 23:22:46 Англо - русский do not fuck with us не трахай нам мозги Yeldar Azanbayev
23 23:22:43 Англо - русский Moreover, no assumptions need to be made about the speed of the environment when this model of time is assumed Более того, когда принимается такая модель времени, не нужно делать никаких предположений о быстродействии окружения (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled (1999)) ssn
24 23:20:04 Англо - русский speed of the environment быстродействие окружения ssn
25 23:12:23 Англо - русский model of time модель времени ssn
26 23:08:28 Англо - русский representing causally independent events in an asynchronous system представление причинно независимых событий в асинхронной системе ssn
27 23:07:40 Англо - русский causally independent events in an asynchronous system причинно независимые события в асинхронной системе ssn
28 23:06:08 Англо - русский causally independent events причинно независимые события ssn
29 23:05:39 Русско - немецкий Массовая литература, паралитература Trivialliteratur polinka1404
30 23:05:04 Англо - русский relax передохнуть MichaelBurov
31 22:59:38 Англо - русский Continuous time, on the other hand, is the natural model for asynchronous systems, because the separation of events can be arbitrarily small Непрерывное время, с другой стороны, является естественной моделью для асинхронных систем, поскольку промежуток времени, разделяющий события, может быть сколь угодно мал (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled (1999)) ssn
32 22:59:31 Англо - русский Hlohovec Глоговец (город в западной Словакии на реке Ваг) Andy
33 22:59:19 Англо - русский opening meeting первое заседание igisheva
34 22:57:48 Англо - русский separation of events промежуток времени, разделяющий события ssn
35 22:56:54 Англо - русский arbitrarily small сколь угодно малый ssn
36 22:54:39 Англо - русский drug-induced ятрогенный APavlova
37 22:52:03 Англо - русский Frankel's functional regulators функциональные регуляторы Френкеля MichaelBurov
38 22:50:06 Англо - русский natural model for asynchronous systems естественная модель для асинхронных систем ssn
39 22:48:27 Англо - русский intromit посылать Pippy-Longstocking
40 22:47:46 Англо - русский natural model естественная модель ssn
41 22:46:55 Англо - русский intromit начинать что-л. Pippy-Longstocking
42 22:46:08 Англо - русский intromit ввести в обращение Pippy-Longstocking
43 22:45:23 Англо - русский intromit ввести Pippy-Longstocking
44 22:44:45 Англо - русский intromit вставить Pippy-Longstocking
45 22:43:46 Англо - русский intromit знакомить Pippy-Longstocking
46 22:43:22 Англо - русский intromit привносить Pippy-Longstocking
47 22:43:03 Англо - русский intromit внедрять Pippy-Longstocking
48 22:42:58 Англо - русский Minor starch iodine test йодо-крахмальный тест Минора (йодо-крахмальный тест, основанный на цветной реакции йода с крахмалом, которая происходит только в присутствии воды. На основании результатов пробы Минора определяют площадь и интенсивность гипергидроза) ННатальЯ
49 13:21:49 Англо - русский immunizaton registry карта учёта прививок MichaelBurov
50 22:42:44 Англо - русский intromit вносить Pippy-Longstocking
51 22:42:21 Англо - русский intromit помещать внутрь чего-л. Pippy-Longstocking
52 22:41:39 Русско - французский с помощью безопасной системы оплаты par paiement sécurisé elenajouja
53 22:41:24 Англо - русский intromit представлять Pippy-Longstocking
54 22:37:26 Англо - русский The duration between successive clock ticks is chosen as the basic unit for measuring time В качестве единицы измерения времени выбирается продолжительность времени между двумя последовательными тиками часов (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled (1999)) ssn
55 22:37:20 Англо - русский reflexed отклонившийся назад MichaelBurov
56 22:34:51 Англо - русский basic unit for measuring time единица измерения времени ssn
57 22:34:18 Англо - русский unit for measuring time единица измерения времени ssn
58 22:33:13 Англо - русский jaw jerk reflex челюстной рефлекс MichaelBurov
59 22:31:41 Англо - русский FIU Служба финансового надзора, в России конкретное название Росфинмониторинг Paul Siebert
60 22:30:32 Англо - русский duration between successive clock ticks продолжительность времени между двумя последовательными тиками часов ssn
61 22:29:18 Англо - русский clock ticks тики часов ssn
62 22:28:43 Англо - русский clock tick тик часов ssn
63 22:28:18 Англо - русский behaviour reflex приобретённый рефлекс MichaelBurov
64 22:27:07 Русско - французский удостоверение о подлинности сертификат подлинности (изделия) elenajouja
65 22:26:53 Англо - русский duration продолжительность времени ssn
66 22:25:01 Англо - русский reduplication сдваивание MichaelBurov
67 22:23:11 Англо - русский redressment устранение деформации MichaelBurov
68 22:20:26 Англо - русский flesh red кроваво-красный MichaelBurov
69 22:16:42 Англо - русский recurve загнуть MichaelBurov
70 22:15:08 Англо - русский recurve загибаться MichaelBurov
71 22:12:15 Англо - русский graphite foam пенографит ambassador
72 22:10:14 Англо - русский graphite felt графитовый войлок ambassador
73 21:56:24 Англо - русский breathing rate ЧДД MichaelBurov
74 21:54:49 Англо - русский respiration rate число дыханий в минуту MichaelBurov
75 21:51:23 Англо - русский abobotulinumtoxin A абоботулинумтоксин А ННатальЯ
76 21:51:10 Англо - русский rate of respiration частота дыхания MichaelBurov
77 21:50:21 Русско - французский морская платформа plate-forme offshore I. Havkin
78 21:48:54 Англо - русский rate of respiration число дыханий в минуту MichaelBurov
79 21:42:56 Англо - русский median longitudinal raphe of the tongue срединная борозда языка MichaelBurov
80 21:40:19 Англо - русский ranine под языком MichaelBurov
81 21:36:37 Англо - русский smash-and-grab raid ограбление магазина через разбитую витрину ksuh
82 21:35:38 Англо - русский untargeted muscle 'нецелевая' мышца ННатальЯ
83 21:34:46 Англо - русский pointed end минус-конец актиновых филаментов nata91
84 21:33:24 Англо - русский radio resistance радиорезистентность MichaelBurov
85 21:33:00 Англо - русский radiopacity радионепроницаемость MichaelBurov
86 21:32:07 Англо - русский barbed end плюс-конец актиновых филаментов nata91
87 21:29:28 Русско - немецкий Душевой поддон Duschrinne fikus
88 21:26:06 Англо - русский radiolucent рентгенопроницаемый MichaelBurov
89 21:24:27 Англо - русский starter's podium трибуна судьи-хронометражиста felog
90 21:17:00 Англо - русский This type of model is appropriate for synchronous systems, where all of the components are synchronized by a single global clock Такие модели пригодны для синхронных систем, в которых все компоненты синхронизованы едиными глобальными часами (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled (1999)) ssn
91 21:13:34 Англо - русский all of the components are synchronized by a single global clock все компоненты синхронизированы едиными глобальными часами ssn
92 21:10:11 Англо - русский radiable пропускающий рентгеновские лучи MichaelBurov
93 21:09:29 Англо - русский single global clock единые глобальные часы ssn
94 21:09:01 Англо - русский global clock глобальные часы ssn
95 21:07:25 Англо - русский rachicentesis спинномозговая пункция MichaelBurov
96 21:05:21 Англо - русский rachianaesthesia спинальная анестезия MichaelBurov
97 20:59:50 Англо - русский quick чувствительное место при прикосновении MichaelBurov
98 20:54:24 Англо - русский nonnegative integers неотрицательные целые числа ssn
99 20:53:27 Русско - немецкий медицина путешествий Reisemedizin (http://de.wikipedia.org/wiki/Reisemedizin) augenweide22
100 20:50:45 Англо - русский possible clock values возможные показания часов ssn
1 2 3 4 5 465 записей    << | >>