DictionaryForumContacts

   Russian
Terms containing большая часть времени | all forms | exact matches only | in specified order only
SubjectRussianEnglish
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