|
Библиотеки, издания Поиск публикаций | English |
| Найденные публикации |
|
|
Библиотеки, издания Поиск публикаций | English |
| Найденные публикации |
| РЕЗУЛЬТАТЫ ПОИСКА | Найдено записей: 112 |
 |
||||||
| <<< В начало списка | |
Предыдущая порция | |
Следующая порция | |
В конец списка >>> |
|
||||||
| 31. |
Авторы: Ключников И. Г., Романенко С. А. Название: TT Lite: суперкомпилятор для теории типов Мартина-Лёфа |
| 32. |
Авторы: Боровин Г. К., Голубев Ю. Ф., Грушевский А. В., Корянов В. В., Тучин А. Г. Название: Полёты в системе Юпитера с использованием гравитационных манёвров около галилеевых спутников |
| 33. |
Авторы: Долголева Г. В. Название: Численное решение уравнений, описывающих перенос тепла электронами и ионами |
| 34. |
Авторы: Гречаник С. А., Ключников И. Г., Романенко С. А. Название: Стадированная многорезультатная суперкомпиляция: фильтрация результатов до их порождения |
| 35. |
Авторы: , Калиткин Н. Н. Название: Эволюционная факторизация и сверхбыстрый счет на установление |
| 36. |
Авторы: , , Тучин А. Г., Тучин Д. А., , Ярошевский В. С. Название: Математическая модель ДИСД в проектах мягкой посадки на Луну |
| 37. |
Авторы: Малинецкий Г. Г., Название: Сценарии перехода к хаосу в двухмодовой системе для моделей «реакция-диффузия» |
| 38. |
Авторы: Тучин А. Г., , , Тучин Д. А., Ярошевский В. С. Название: Небесно-механическая интерпретация радиотехнических измерений наклонной дальности и радиальной скорости |
| 39. |
Авторы: Горючкина И. В. Название: О сходимости степенного ряда с нерациональными показателями степени, являющегося формальным решением алгебраического ОДУ |
| 40. |
Авторы: Милюкова О. Ю., Тишкин В. Ф. Название: Численный метод решения уравнения теплопроводности с разрывным коэффициентом на основе многосеточного метода |
|
||||||
| <<< В начало списка | |
Предыдущая порция | |
Следующая порция | |
В конец списка >>> |
|
||||||