|
СТ |
Промежуточное представление программ для описания типов в терминах сопоставления значений с образцом |
2020 |
Васенин В. А., Кривчиков М. А. |
|
|
|
16768 |
13.02.2020 |
|
СТ |
Формальные модели программ и языков программирования. Часть 2. Современное состояние исследований |
2015 |
Васенин В. А., Кривчиков М. А. |
|
|
|
Программная инженерия |
22.07.2015 |
|
СТ |
Модель динамического параллельного исполнения программ |
2013 |
Васенин В. А., Кривчиков М. А. |
|
|
|
Программирование |
26.03.2013 |
|
СТ |
Информационная безопасность критически важных объектов |
2008 |
Васенин В. А. |
|
|
|
Проблемы информатики |
15.05.2009 |
|
СТ |
Формальная модель системы автоматизированного распараллеливания программ |
2007 |
Васенин В. А., Водомеров А. Н. |
|
|
|
Программирование |
19.10.2007 |
|
СТ |
Оптимизация поиска в базах полуструктурированных данных на основе иерархии схем документов |
2005 |
Горелов С. С., Васенин В. А. |
|
|
|
Программирование |
31.12.2005 |
|
СТ |
Система функционального активного мониторинга FLAME |
2003 |
Васенин В. А., Корнеев В. В., Ландина М. Ю., Роганов В. А. |
|
|
|
Программирование |
19.09.2003 |
|
А |
Информационные технологии в практике научных исследований и высшей школы |
1997 |
Васенин В. А. |
|
|
|
|
21.01.1998 |
