Содержание раздела
Кузнецов Б.П.
Орграфы и булевы формулы
(2003)
Кузнецов Б.П.
Тестовое программирование (введение в проблему)
(2003)
Зюбин В.Е.
Исследование условий применимости языка параллельного программирования СПАРМ для задач
построения надежных управляющих программ
(2004)
Пузиков Р.Ю.
Немного философии о простых числах
(2006)
Шахов В.
Моделирование программно-аппаратных "реактивных" систем раскрашенными сетями Петри
(2006)
Шахов В.
Программно-аппаратная декомпозиция реактивных параллельных систем
(2007)
Легалов А.И.
Доказательство преобразования рекурсивного алгоритма вычисления числа Фибоначчи в итеративный
(2018)
|