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

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

Новости

Семинар «Поддержка совместимости систем модульности для программ на базе React»

Семинар «Разработка и отладка языков прикладной комбинаторной логики»

Семинар «Возможности использования средства Kaldi для распознавания речи»

Семинар «Линейные и ветвящиеся временные логики. Часть 1. Структуры Крипке»

Семинар «Построение трансформационных семантик признаков объектов данных»

Семинар «Технологии сбора данных, зависящих от разных фрагментов описания состояния системы»

Семинар «Реализация функций расширенной реляционной алгебры для системы концептуального оценивания в комбинаторной технике»

НИЯУ МИФИ: Семинар «Комбинаторная логика и фундаментальные основы вычислительных технологий»

Семинар «Способы представления моделирующих систем на теоретико-категорной основе»

Семинар «Абстрактная машина вычисления значений примитивно рекурсивных функций»

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

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