Войти Зарегистрироваться

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

Новости

Семинар «Использование TypeScript с проверкой типов и задания аннотаций типов для проверки и поддержки корректности трансляторов языков представления знаний»

Семинар «Методы трансляции с обеспечением локальной толерантности к некорректным данным»

Семинар «Параметризация и типизация конструкций языка диаграмм для описания взаимодействия субъектов»

Семинар «Генерация слов контекстно-зависимого языка на примере термов ламбда-исчисления»

Семинар «Рендеринг сцен методом трассировки лучей в евклидовых и римановых пространствах»

Семинар «Поддержка типовой корректности кода на JavaScript с использованием средств функционального программирования с зависимыми типами (Idris)».

Семинар «Методы описания анимации контента HTML-страниц с помощью модальной временной логики»

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

Семинар «Генератор ламбда-термов для системы тестирования на основе свойств»

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

Предыдущая страница

Следующая страница