Формальные преобразования схем программ и их применение в программировании
Подловченко, Римма Ивановна, 1959, кандидатская диссертация
- 01.00.00 Физика и математика
Моск. ордена Ленина и ордена Труд. Красного Знамени гос. ун-т. им. М. В. Ломоносова, Москва
47 стр.
Другие работы по этой специальности
- Характеристика множеств значений аддитивных вектор-функций
Чуйкина, Клавдия Ивановна · Канд. наук · Моск. гор. пед. ин-т им. В. П. Потемкина
- 01.00.00 Физика и математика
- Поиск нейтринных осцилляций по каналу ν μ- ν e в эксперименте NOMAD
Валуев, Вячеслав Юрьевич · Канд. наук · Парижский университет VII имени Дени Дидро
- 01.00.00 Физика и математика
- Регулярные и рациональные отображения проективных многообразий
Америк, Екатерина · Докт. наук · Университет Пари-Сюд (Париж-11). Факультет естественных наук в ОРСЭ
- 01.00.00 Физика и математика
- Электронный, тепловой и флуктуационный транспорт в сверхпроводящих TiN и NbN микромостиках
Баева, Эльмира Миталиповна · 2022 · Канд. наук · Национальный исследовательский университет "Высшая школа экономики"
- 01.00.00 Физика и математика
- Математическое моделирование теплопереноса с учетом плавления в коническом катоде
Кретов, Вадим Игоревич · 2019 · Канд. наук · Национальный исследовательский университет "Высшая школа экономики"
- 01.00.00 Физика и математика