Russian ⇄ English

А Б В Г Д Е Ж З И К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я   <<  >>

Terms for subject Programming (131385 entries)

алгоритмическое индексирование	algorithmic indexing	ssn
алгоритмическое моделирование стоимости	algorithmic cost modelling	ssn
алгоритмическое отношение	algorithmic relation	ssn
алгоритмическое отношение типизации	algorithmic typing relation	ssn
алгоритмическое отображение	algorithmic map	ssn
алгоритмическое решение	algorithmic decision	ssn
алгоритмическое формирование тестовых наборов	algorithmic pattern generation	ssn
алгоритмическое централизованное управление	policy management	ssn
алгоритмичный язык	algorithmic language	Jasmin­e_Hopef­ord
алгоритмы	algorithms	ssn
алгоритмы "разделяй и властвуй"	divide-and-conquer algorithms	ssn
алгоритмы бинарных деревьев	binary-tree algorithms	ssn
алгоритмы верификации моделей для формул CTL	algorithms for CTL model checking	ssn
алгоритмы верификации моделей для формул CTL и для формул LTL	algorithms for CTL model checking, LTL model checking	ssn
алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматов	algorithms for CTL model checking, LTL model checking, and testing inclusion between timed omega automata	ssn
алгоритмы верификации моделей для формул LTL	algorithms for LTL model checking	ssn
алгоритмы вычисления	algorithms for computing	ssn
алгоритмы вычисления количественных временных характеристик	algorithms to compute quantitative timing information	ssn
алгоритмы вычисления множества достижимых состояний	algorithms for computing the set of reachable states	ssn