RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Кропачева Мария Сергеевна

В базах данных Math-Net.Ru
Публикаций: 2
Научных статей: 2

Статистика просмотров:
Эта страница:76
Страницы публикаций:286
Полные тексты:87
Списки литературы:43

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

Публикации в базе данных Math-Net.Ru
2012
1. М. С. Кропачева, А. И. Легалов, “Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования”, Модел. и анализ информ. систем, 19:5 (2012),  81–99  mathnet
2. А. И. Легалов, О. В. Непомнящий, И. В. Матковский, М. С. Кропачева, “Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах”, Модел. и анализ информ. систем, 19:4 (2012),  48–58  mathnet

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