Персоналии
RUS
ENG
ЖУРНАЛЫ
ПЕРСОНАЛИИ
ОРГАНИЗАЦИИ
КОНФЕРЕНЦИИ
СЕМИНАРЫ
ВИДЕОТЕКА
ПАКЕТ AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Трошков Николай
В базах данных Math-Net.Ru
Публикаций:
1
Научных статей:
1
Статистика просмотров:
Эта страница:
60
Страницы публикаций:
162
Полные тексты:
402
Списки литературы:
25
E-mail:
email
https://www.mathnet.ru/rus/person134065
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://orcid.org/0000-0002-5151-9940
Публикации в базе данных
Math-Net.Ru
Цитирования
2017
1.
D. de Carvalho, M. Mazzara, B. Mingela, L. Safina, A. Tchitchigin, N. Troshkov, “Jolie Static Type Checker: a prototype”,
Модел. и анализ информ. систем
,
24
:6 (2017),
704–717
1
Организации
Университет Иннополис
Обратная связь:
email
Пользовательское соглашение
Регистрация посетителей портала
Логотипы
©
Математический институт им. В. А. Стеклова РАН
, 2024