МГУ имени М.В. Ломоносова, Научно-исследовательский институт механики

404 Лаборатория автоматизации экспериментальных исследованийподразделение

Работы, добавленные за последние 2 недели версия для печати

29 Июн 2021 Опциональная система типов на основе последовательной аппроксимации динамической семантики языка программирования Кривчиков М.А.
29 Июн 2021 Опциональная система типов на основе последовательной аппроксимации динамической семантики языка программирования Кривчиков М.А.
20 Июн 2022 Поиск коллективов авторов по метаданным публикаций среди пользователей наукометрической системы с использованием алгоритма быстрого взвешенного поиска WAND Васенин В.А., Зензинов А.А.
20 Июн 2022 Проверка наличия в списке авторов пользователей наукометрической системы. Проверка наличия в наукометрической системе дубликата записи о статье Васенин В.А., Зензинов А.А.
Перейти на страницу подразделения