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

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

Новости

Семинар «Тестирование, основанное на свойствах»

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