Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Russian
Terms
for subject
Programming
containing
IT solutions
|
all forms
|
in specified order only
English
Russian
A solution is said to be efficient if it solves the problem within its resource constraints
Решение называется эффективным, если оно решает задачу в рамках её ограничений по ресурсам
(С. А. Shaffer
ssn
)
mission-critical
IT solution
критически важная система
(высокопроизводительная отказоустойчивая система, предназначенная для передачи, обработки и хранения данных ограниченного доступа
Alex_Odeychuk
)
To
prove more general theorems about recursively defined processes, it is necessary to introduce a law which states that every properly guarded recursive equation has only one solution
для доказательства более общих теорем о рекурсивно определённых процессах необходимо ввести закон, гласящий, что всякое должным образом предварённое рекурсивное уравнение имеет единственное решение
(см.
Communicating Sequential Processes by C.A.R. Hoare
1985
ssn
)
this solution is not elegant, but it works
не очень элегантное решение, но оно работает
(
ssn
)
Get short URL