Общие вопросы математики

Анри Пуанкаре, Ю. Сажере, Ж. Адамар, Л. де Бройль

Скачать книгу "Анри Пуанкаре, Ю. Сажере, Ж. Адамар, Л. де Бройль"
Страниц: 64
Год издания: 2001
Язык: Русский
В трех известных очерках обсуждаются наиболее важные этапы великого французского математика Анри Пуанкаре. В очерке Сажере, который вышел отдельной книгой в Казанском университете в 1913 г., жизнь уче ...

Верификация моделей программ. Model Checking, Э. М. Кларк, О. Грамберг, Д. Пелед

Скачать книгу "Верификация моделей программ. Model Checking, Э. М. Кларк, О. Грамберг, Д. Пелед"
Страниц: 416
Год издания: 2002
Язык: Русский
В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функцио ...

Задачи стохастического программирования с вероятностными критериями, Ю. С. Кан, А. И. Кибзун

Скачать книгу "Задачи стохастического программирования с вероятностными критериями, Ю. С. Кан, А. И. Кибзун"
Страниц: 372
Год издания: 2009
Язык: Русский
В книге освещается современное состояние раздела теории стохастических оптимизационных задач, целевыми функциями которых являются функции вероятности и квантили. В приложениях рассматриваемые постанов ...

Математические модели в иммунологии и эпидемиологии инфекционных заболеваний, А. А. Романюха

Скачать книгу "Математические модели в иммунологии и эпидемиологии инфекционных заболеваний, А. А. Романюха"
Страниц: 296
Год издания: 2015
Язык: Русский
Монография посвящена построению и исследованию математических моделей иммунологических и эпидемиологических процессов при инфекционных заболеваниях. Рассмотрены явления обучения, адаптации и старения ...

Разработка испытательно-диагностического комплекса средств РЗА ЭЭС, Александр Сергеевич Зеленин und Максим Георгиевич Попов

Скачать книгу "Разработка испытательно-диагностического комплекса средств РЗА ЭЭС, Александр Сергеевич Зеленин und Максим Георгиевич Попов"
Страниц: 100
Год издания: 2013
Язык: Русский
В работе исследуются практические решения по реализации задач построения микропроцессорного испытательно-диагностического комплекса средств релейной защиты и автоматики электроэнергетических систем. П ...
Страницы: 1 2 3 4 5 6