Найти:

Реестр авторов и соавторов

Единый реестр авторов и соавторов научных работ на SciNetwork
ВсеАвторы
Параметры поиска
Автор
Работы
Ануреев Игорь
Ануреев Игорь Сергеевич
Область научных публикаций: ПРОЦЕСС-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ, УПРАВЛЯЮЩЕЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ, ШАБЛОНЫ ТРЕБОВАНИЙ
SPIN-код: 9855-2228
0
Гаранина Наталья
Гаранина Наталья Олеговна
Область научных публикаций: ПРОЦЕСС-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ, УПРАВЛЯЮЩЕЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ, ШАБЛОНЫ ТРЕБОВАНИЙ
SPIN-код: 4957-5968
0
Кондратьев Дмитрий
Кондратьев Дмитрий Александрович
Область научных публикаций: FINITE ITERATION, LOOP INVARIANT, PROGRAM INCORRECTNESS
SPIN-код: 4318-8908
0
Черненко Иван
Черненко Иван Михайлович
Область научных публикаций: ПРОЦЕСС-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ, УПРАВЛЯЮЩЕЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ, ШАБЛОНЫ ТРЕБОВАНИЙ
SPIN-код: 5183-5204
0