|
|
Библиотеки, издания Поиск публикаций | English |
| Найденные публикации |
| РЕЗУЛЬТАТЫ ПОИСКА | Найдено записей: 197 |
| <<< В начало списка | Предыдущая порция | Следующая порция | В конец списка >>> | |||
| 191. |
Авторы: , , , Название: Методы автоматического поиска доказательств |
| 192. |
Авторы: , , , Журавлев В.И., , Название: Оптимизация параметров среды по дифференциальным характеристикам поля излучения в некоторых задачах физики защиты реакторов |
| 193. |
Авторы: Гермогенова Т.А., , , Журавлев В.И., , , , , Название: Метод оврагов в задачах оптимизации параметров защиты реакторов (программа 'Кров') |
| 194. |
Авторы: , , , Наумов Н.А., Смирнов В.К., Название: Система автотоматизации разработок микропрограммого обеспечения |
| 195. |
Авторы: , Наумов Н.А. Название: Определение некоторых классов ошибок в микропрограммах |
| 196. |
Авторы: , Журавлев В.И., Название: Автомодельная задача о разлете в вакуум полностью ионизированной водородоподобной плазмы, рассматриваемой в двухпараметрическом приближении |
| 197. |
Авторы: Название: Введение в исследование многоимпульсных оптимальных встреч средней продолжительности при квазикруговых, близких, некомпланарных орбитах |
| <<< В начало списка | Предыдущая порция | Следующая порция | В конец списка >>> | |||