Toggle navigation
НАО «ЮРИНФОР»
image/svg+xml
О нас
Общие сведения
Новости
Цели и задачи
Наша команда
Наши статьи
Контакты
Мероприятия
Проекты
Краудсорсинг
Совместность мультимоделей
Преобразование спорных данных. Концептуальные фильтры
Материалы
Глоссарий
Наши статьи
Задать вопрос
Фоторепортажи
НАО «ЮРИНФОР»
Войти
Зарегистрироваться
image/svg+xml
О нас
Мероприятия
Проекты
Материалы
Задать вопрос
Фоторепортажи
Общие сведения
Новости
Цели и задачи
Наша команда
Наши статьи
Контакты
Краудсорсинг
Совместность мультимоделей
Преобразование спорных данных. Концептуальные фильтры
Глоссарий
Наши статьи
Подписаться на новости
Отписаться
Новости
Семинар «Методы трансляции с обеспечением локальной толерантности к некорректным данным»
состоялся 12 мая (18.00) 2022 г.
12.05.2022
Семинар «Параметризация и типизация конструкций языка диаграмм для описания взаимодействия субъектов»
состоялся 07 апреля (18.00) 2022 г.
07.04.2022
Семинар «Генерация слов контекстно-зависимого языка на примере термов ламбда-исчисления»
состоялся 21 марта (18.00) 2022 г.
21.03.2022
Семинар «Рендеринг сцен методом трассировки лучей в евклидовых и римановых пространствах»
состоялся 07 февраля (18.00) 2022 г.
07.02.2022
Семинар «Поддержка типовой корректности кода на JavaScript с использованием средств функционального программирования с зависимыми типами (Idris)».
состоялся 10 января (10.00) 2022 г.
10.01.2022
Семинар «Методы описания анимации контента HTML-страниц с помощью модальной временной логики»
состоялся 23 декабря (10.00) 2021 г.
23.12.2021
Семинар «Семантика операции разыменования»
состоялся 18 ноября (10.00) 2021 г.
18.11.2021
Семинар «Генератор ламбда-термов для системы тестирования на основе свойств»
состоялся 01 ноября (18.00) 2021 г.
01.11.2021
Семинар «Тестирование, основанное на свойствах»
состоялся 14 октября (18.00) 2021 г.
14.10.2021
Семинар «Обзор технологии RPC»
состоялся 30 сентября (18.00) 2021 г.
30.09.2021
Следующая страница
Разработчик