Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Козин Святослав Владимирович
В базах данных Math-Net.Ru
Публикаций: 3
Научных статей: 3

Статистика просмотров:
Эта страница:84
Страницы публикаций:484
Полные тексты:320
Списки литературы:106

https://www.mathnet.ru/rus/person130642
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru Цитирования
2019
1. Е. М. Лаврищева, В. С. Мутилин, С. В. Козин, А. Г. Рыжов, “Моделирование прикладных и информационных систем из готовых сервисных ресурсов Интернет”, Труды ИСП РАН, 31:1 (2019),  7–24  mathnet  elib
2018
2. С. В. Козин, “Конфигурационная сборка варианта ядра Linux для прикладных систем”, Труды ИСП РАН, 30:6 (2018),  161–170  mathnet  elib 2
2017
3. S. V. Kozin, V. S. Mutilin, “Static verification of Linux kernel configurations”, Труды ИСП РАН, 29:4 (2017),  217–230  mathnet  elib

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024