Toggle navigation
НАО «ЮРИНФОР»
image/svg+xml
О нас
Общие сведения
Новости
Цели и задачи
Наша команда
Наши статьи
Контакты
Мероприятия
Проекты
Вычислительное мышление
Краудсорсинг и совместность мультимоделей
Преобразование спорных данных. Концептуальные фильтры
Материалы
Глоссарий
Наши статьи
Задать вопрос
Фоторепортажи
НАО «ЮРИНФОР»
Войти
Зарегистрироваться
image/svg+xml
О нас
Мероприятия
Проекты
Материалы
Задать вопрос
Фоторепортажи
Общие сведения
Новости
Цели и задачи
Наша команда
Наши статьи
Контакты
Вычислительное мышление
Краудсорсинг и совместность мультимоделей
Преобразование спорных данных. Концептуальные фильтры
Глоссарий
Наши статьи
Подписаться на новости
Отписаться
Новости
Семинар «Система модульности для EcmaScript 6. Типизация умолчаний и типизация объяснений»
состоялся 15 февраля (18.00) 2021 г.
15.02.2021
Семинар «Формальные системы и языки программирования с зависимыми типами. Refinement types»
состоялся 21 января (18.00) 2021 г.
21.01.2021
Семинар «Lambda-P исчисление с зависимыми типами»
состоялся 11 января (18.00) 2021 г.
11.01.2021
Семинар «Поддержка динамичных объектов при работе с дайджестом»
состоялся 14 декабря (18.00) 2020 г.
14.12.2020
Семинар «Индексирование дайджеста и индекс как предмет версионирования»
состоялся 23 ноября (18.00) 2020 г.
23.11.2020
Семинар «CSS и методологии работы с ним»
состоялся 19 ноября (18.00) 2020 г.
19.11.2020
Семинар «Концептуальное моделирование динамичных объектов. Учёт зависимости концептов от параметра»
состоялся 5 ноября (18.00) 2020 г.
05.11.2020
Опубликована новая статья в Cognitive System research
с участием сотрудников НАО "ЮрИнфоР"
08.02.2021
Семинар «Модель детерминированного пошагового взаимодействия объектов данных»
состоялся 28 января 2021 г. (18.00)
28.01.2020
Семинар «Свойства детерминированных пошаговых интерактивных систем со скрытым состоянием»
состоялся 14 января (18.00) 2021 г.
14.01.2020
Предыдущая страница
Следующая страница
Разработчик