Toggle navigation
НАО «ЮРИНФОР»
image/svg+xml
О нас
Общие сведения
Новости
Цели и задачи
Наша команда
Наши статьи
Контакты
Мероприятия
Проекты
Краудсорсинг
Совместность мультимоделей
Преобразование спорных данных. Концептуальные фильтры
Материалы
Глоссарий
Наши статьи
Задать вопрос
Фоторепортажи
НАО «ЮРИНФОР»
Войти
Зарегистрироваться
image/svg+xml
О нас
Мероприятия
Проекты
Материалы
Задать вопрос
Фоторепортажи
Общие сведения
Новости
Цели и задачи
Наша команда
Наши статьи
Контакты
Краудсорсинг
Совместность мультимоделей
Преобразование спорных данных. Концептуальные фильтры
Глоссарий
Наши статьи
Подписаться на новости
Отписаться
Новости
Семинар «Тестирование, основанное на свойствах»
состоялся 14 октября (18.00) 2021 г.
14.10.2021
Семинар «Обзор технологии RPC»
состоялся 30 сентября (18.00) 2021 г.
30.09.2021
Семинар «Использование автоматов Бучи (Buchi) для описания семантики линейной временной логики»
состоялся 06 сентября (18.00) 2021 г.
06.09.2021
Семинар «Типизация задач в связи с техникой экземплярных запросов»
состоялся 12 августа (18.00) 2021 г.
12.08.2021
Семинар «Поддержка аппликативного языка описания редукций»
состоялся 22 июля (18.00) 2021 г.
29.07.2021
Семинар «Возможности языка диаграмм по описанию структур данных предметной области»
состоялся 24 мая (10.00) 2021 г.
24.05.2021
Семинар «Средства представления конструкций языка диаграмм при масштабировании приложений»
состоялся 10 мая (18.00) 2021 г.
10.05.2021
Семинар "Когнитивная система комбинаторной логики: квинтэссенция компьютерных наук и извлечение знания о компьютинге"
состоялся 22 апреля (18.00) 2021
21.04.2021
Семинар «Реактивное программирование»
состоялся 19 апреля (18.00) 2021 г.
19.04.2021
Профессор В.Э.Вольфенгаген удостоен ELSЕVIER
за выдающийся вклад в развитие Cоmputer Science и публикационную активность
30.03.2021
Следующая страница
Разработчик