НАО «ЮРИНФОР»

Подписаться на новости Отписаться

Новости

Семинар «Семантика операции разыменования»

состоялся 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

Семинар «Использование автоматов Бучи (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