Пошуковий запит: (<.>K=ВЫВОД$<.>) |
Загальна кількість знайдених документів : 44
Представлено документи з 1 до 20
|
| | |
| 1. |
Алгоритмы вывода теорем метода векторных функций Ляпунова. - Новосибирск: : [б. и.], 1981. - 270 с. - Б. ц.
Дод. точки доступу:
Матросов, В.М. ((ред.))
|
| 2. |
Алиев, С. А.
Исследование явлений переноса заряда и тепла в селениде ртути и выводы относительно закона дисперсии и механизма рассеяния электронов : автореф. дис... канд. физ.-мат. наук / С. А. Алиев ; АН СССР. Ин-т полупроводников. - Ленинград : [б. и.], 1966. - 15 с. - Б. ц.
Дод. точки доступу:
АН СССР. Ин-т полупроводников
|
| 3. |
Багиров, Э. Б, оглы
Метод смесей и его применение к выводу нижних оценок для распределений функций от нормальных случайных величин : автореф. дис. ... канд. физ.-мат. наук: 01.01.05 / Э.Б, оглы Багиров ; АН СССР. Математический ин-т им. В.А.Стеклова. - М. : [б. и.], 1988. - 14 с. - Б. ц.
Дод. точки доступу:
АН СССР. Математический ин-т им. В.А.Стеклова
|
| 4. |
Башкиров, А. Г.
Применение метода неравномерного статистического оператора к выводу обобщенных уравнений Крамерса-Фоккера-Планка : автореф. дис. ... канд. физ.- мат. наук / А. Г. Башкиров ; АН СССР. Математический ин-т им. В.А. Стеклова. - М. : [б. и.], 1971. - 15 с. - Б. ц.
Дод. точки доступу:
АН СССР. Математический ин-т им. В.А. Стеклова
|
| 5. |
Безгачева, Ю. В.
Приложение семантики Крипке к исследованию правил вывода : автореф. дис. ... канд. физ.-мат. наук: 01.01.06 / Ю. В. Безгачева ; Красноярский ГУ. - Красноярск : [б. и.], 1998. - 15 с. - Б. ц.
Дод. точки доступу:
Красноярский ГУ
|
| 6. |
Безродный, М. С.
Основы построения устройств оперативного вывода информации (в виде чертежа) : / М. С. Безродный. - М.: : [б. и.], 1973. - 118 с. : с библ. - Б. ц.
|
| 7. |
Белянкин, И.
Вывод тождества Вейерштрасса в теории гиперэллиптических интегралов / И. Белянкин. - [Б. м. : б. и.]. - Б. ц.
|
| 8. |
Богомолов, С. А.
Вывод правильных систем по методу Федорова. Ч.2 / С. А. Богомолов. - Л.,М.,Новосибирск: : [б. и.], 1934. - 191 с. - Б. ц.
|
| 9. |
Богомолов, С. А.
Вывод правильных систем по методу Федорова / С. А. Богомолов. - Л. : [б. и.], 1932. - 100 с. - Б. ц.
|
| 10. |
Божич, Е. С.
О сложности выводов в арифметических теориях : автореф. дис. ... канд. физ.-мат. наук: 01.01.06 / Е. С. Божич ; МГУ. - М. : [б. и.], 1987. - 13 с. - Б. ц.
Дод. точки доступу:
МГУ
|
| 11. |
Бондаренко, Н. В.
Система подпрограмм ввода и вывода цифровой информации для ИП-3 : серия: Математическое обслуживание машины "Сетунь". Вып.8 / Н. В. Бондаренко. - М.: : [б. и.], 1965. - 28 с. - Б. ц.
|
| 12. |
Веретенников, В. Г.
Теоретическая механика. Вывод и анализ уравнений движения на ЭВМ : учеб. пособие для вузов. В 2-х частях. Ч.1 / В. Г. Веретенников, И. И. Карпов, А. П. Маркеев, и др. - М. : [б. и.], 1990. - 174 с. - Б. ц.
Дод. точки доступу:
Карпов, И.И.; Маркеев, А.П.; и др.
|
| 13. |
Гренандер, У.
Случайные процессы и статистические выводы / У. Гренандер ; . - Пер. с англ. - М.: : ИИЛ, 1961. - 165 с. - Б. ц.
Дод. точки доступу:
Яглом, А.М. ((перев. и доп.))
|
| 14. |
Ерофееенко, Г. Т.
Вывод графической информации из БЭСМ-6 на чертежно-графический автомат "Итекан-2м / Г. Т. Ерофееенко, В. А. Казущик, А. А. Седнин. - Минск : [б. и.], 1984. - 20 с. ; (Препр./АН БССР; Институт математики; № 15). - Б. ц.
Дод. точки доступу:
Казущик, В.А.; Седнин, А.А.
|
| 15. |
Закс, Ш.
Теория статистических выводов : пер. с англ / Ш. Закс. - М. : [б. и.], 1975. - 776 с. - Б. ц.
|
| 16. |
Зиновьев, А. А.
Логика высказываний и теория вывода / А. А. Зиновьев. - М. : [б. и.], 1962. - 151 с. - Б. ц.
|
| 17. |
Институт математики АН УзССР.
Предельные теоремы и статистические выводы / Институт математики АН УзССР. - Ташкент : [б. и.], 1966. - 161 с. - Б. ц.
|
| 18. |
Институт математики АН УзССР.
Случайные процессы и статистические выводы : выпуски / Институт математики АН УзССР. - [Б. м. : б. и.]. - Б. ц.
|
| 19. |
Институт математики им. Романовского.
Предельные теоремы и статистические выводы / Институт математики им. Романовского. - Ташкент : [б. и.], 1966. - Б. ц.
Дод. точки доступу:
Сираждинов, С.Х. ((отв. ред.))
|
| 20. |
Институт философии АН СССР.
Логический вывод / Институт философии АН СССР. - М. : [б. и.], 1979. - 312 с. - Б. ц.
Дод. точки доступу:
Смирнов, В.А. ((отв. ред.))
|
| | |
Простий
Національна бібліотека України імені В. І. Вернадського
