НазваниеТип
Разработка и программная реализация метода семантически-ориентированного поиска информации в электронных документахДиссертация
Система программ для исследования комбинаторно-алгебраических инвариантов топологических объектов малой размерностиДиссертация
Семантический интерфейс реляционных баз данных в системах моделирования для слабо формализованных предметных областейДиссертация
Верификация драйверов операционной системы Linux при помощи предикатных абстракцийДиссертация
Гибридная модель параллельного программирования DVM/OpenMPДиссертация
Методы группировки и структуризации поисковых запросов и их реализацияДиссертация
Математическое и программное обеспечение системы оценки деформации по оптическим изображениям для решения задач контроля механического состояния материаловДиссертация
Модели и методы представления текстового документа в системах информационного поискаДиссертация