Subject | Russian | English |
progr. | Бесспорно, большая часть исследований по верификации с непрерывным временем основана на этой модели | Certainly, most of the research on continuous-time model checking is based on this model (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
gen. | большая часть времени | for die most part |
Makarov. | большая часть времени | most of the time |
gen. | большая часть времени, чаще всего | most times |
progr. | большая часть исследований по верификации с непрерывным временем | most of the research on continuous-time model checking (ssn) |
math. | большую часть времени | most of the time (бoльшую) |
gen. | большую часть времени | most of the day (4uzhoj) |
gen. | большую часть времени | during most of the time (ssn) |
Makarov. | большую часть времени на вечеринке она занималась тем, что изливала свои чувства Джиму | she spent most of her time at the party gushing to Jim |
Makarov. | во время воздушных налётов была уничтожена большая часть города | much of the town was rubbed out in the air raids |
gen. | он был влюблён в Поэзию и Музыку, которым посвящал большую часть своего времени | he was amorous of Poetry, and Music, to which he indulged the greatest part of his time |
gen. | он проводит большую часть времени в постели | he spends more of his time in bed |
Makarov. | она проводила большую часть своего времени в библиотеке | she spent most of her time in the library |
neol. | отпуск, при котором большую часть времени делаешь задания по работе | fake-ation (china-student) |
Makarov. | правда, я проводил большую часть своего времени во Французском квартале | admittedly, I spent most of my time in the French Quarter |
Makarov. | правда, я провожу большую часть своего времени во Французском квартале | admittedly, I spent most of my time in the French Quarter |
gen. | проводить большую часть времени и т.д. за рыбной ловлей | pass most of his time days, many hours, etc. fishing (painting, talking, etc., и т.д.) |
gen. | самая большая часть времени | the best part of time |
gen. | самая большая часть времени | best part of time |
austral. | свэгмен, который, перемещаясь по стране, делал остановки на берегах рек в Новом Южном Уэльсе и проводил большую часть времени, занимаясь рыбной ловлей | whaler (Murrumbidgee; наиболее популярной рекой для таких привалов свэгменов была р. Маррамбиджи) |
media. | спонсор, на которого приходится большая часть рекламного времени программы | major sponsor |
austral., inf. | человек, проводящий большую часть времени, бездельничая на пляже | beach bum |
Makarov. | эта работа поглощает большую часть моего времени | this work swallows the greatest part of my time |