|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Разработка и апробация модели чисел с плавающей точкой на базе лямбда-исчисления с зависимыми типамидипломная работа (Специалист)
- Научные руководители: Васенин В.А., Кривчиков М.А.
- Автор: С.В.Антонов
- Тип: Специалист
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова
- Год защиты: 2015
- Добавил в систему: Васенин Валерий Александрович