Käännös "calculi" venäjän

Calculi

substantiivi

• исчисление
• камень
• конкремент
• камешек

Käännösesimerkit

исчисление substantiivi

The projects addressed reactive systems using general-duration calculi and investigated other theories of reactive systems such as compositional verification and refinement calculi.
Эти проекты были посвящены реактивным системам, использующим общие временные исчисления, и проработке других теорий реактивных систем, таких, как композиционные исчисления проверки и уточнения.

101. A series of "off-shore" training workshops presented front-of-the-wave computing science research and programming methodological, design calculi- oriented theories and techniques.
101. В ходе нескольких зарубежных учебных семинаров проводились современные компьютерные научные исследования и изучалось программирование методологических, разработочных, ориентированных на исчисление теорий и способов.

UNU/IIST research projects were carried out in the area of hybrid systems, typically control systems with embedded computers using durational calculi as the formal tools.
110. Осуществлялись научно-исследовательские проекты УООН/МИПО в области гибридных систем, выполняющих обычно функции контрольных систем со встроенными компьютерами, в которых используются в качестве формальных средств временные исчисления.