Сайт бібліотеки  >  Електронний каталог  >  Опис документа

Опис документа

Львов M. C.
Метод доказательства инвариантности линейных неравенств для линейных циклов

Вид документа:  Складова частина документа 
Мова:  Російська  Обсяг:  С. 180-185 
УДК:  004.421 

Є складовою частиною документа Кибернетика и системный анализ [Текст] : междунар. науч.-теорет. журн. Т.50. № 4 / НАН Украины, Ин-т кибернетики им. В. М. Глушкова. — К, 2014.

Теми документа

• УДК/0 Загальний вiддiл./00 Загальнi питання науки i культури/004 Комп'ютерна наука і технологія. Застосування комп'ютера. Оброблення даних/004.4 Програмне забезпечення/004.42 Програмування комп'ютерів. Комп'ютерні програми/004.421 Алгоритми для користування програм