Значок книги

Алгоритмы вывода теорем метода векторных функций Ляпунова под ред. В. М. Матросова ; АН СССР, Сиб. отд-ние, Иркут. ВЦ

Сохранить в:

Библиографические подробности
Тип документа:	Книга
Язык:	Russian
Год издания:	Новосибирск Наука, Сибирское отделение 1981
Рубрика:	Доказательство на вычислительных машинах
Ключевые слова:	Теоремы Доказательство на вычислительных машинах Функции Ляпунова

Схожие документы

Построение функций Ляпунова
Автор: Валеев К. Г.
Год издания: (1981)

Основания математики
Автор: Гильберт Д.
Год издания: (1982)

Вектор-функции Ляпунова и их построение
Год издания: (1980)

Развитие и применение метода функций Ляпунова
Год издания: (1992)

Функции Ляпунова
Автор: Барбашин Е. А.
Год издания: (1970)

Исследования по теории доказательств
Автор: Крайзель Г.
Год издания: (1981)

Прямая и обратная теоремы
Автор: Градштейн И. С.
Год издания: (1950)

Прямая и обратная теоремы
Автор: Градштейн И. С.
Год издания: (1972)

Импульсное управление показателями Ляпунова
Автор: Оленчиков Д. М.
Год издания: (1998)

Исследования дихотомии линейных систем дифференциальных уравнений с помощью функций Ляпунова
Автор: Митропольский Ю. А.
Год издания: (1990)

Задачи управления показателями Ляпунова
Автор: Попова С. Н.
Год издания: (1992)

Вычисление элементарных функций на ЭВМ
Автор: Благовещенский Ю. В.
Год издания: (1977)

Предельные теоремы для арифметических функций
Автор: Туляганова М. И.
Год издания: (1992)

Многомерные тауберовы теоремы для обобщенных функций
Автор: Владимиров В. С.
Год издания: (1986)

Обобщенный прямой метод Ляпунова для систем с распределенными параметрами
Автор: Шестаков А. А.
Год издания: (1990)

Алгоритмы и программы структурного метода обработки данных
Автор: Александров В. В.
Год издания: (1983)

Знакопостоянные функции в теории устойчивости
Автор: Булгаков Н. Г.
Год издания: (1984)

Пространства дифференцируемых функций с доминирующей смешанной производной
Автор: Аманов Т. И.
Год издания: (1976)

Специальные функции и определенные интегралы
Автор: Цимринг Ш. Е.
Год издания: (1988)

Унифицированные алгоритмы для определения фильтрационных параметров
Автор: Георгиевский В. Б.
Год издания: (1971)

Алгоритмы обработки экспериментальных данных
Год издания: (1986)

Алгоритмы обнаружения эмпирических закономерностей
Автор: Загоруйко Н. Г.
Год издания: (1985)

Устойчивость движения
Автор: Зубов В. И.
Год издания: (1984)

Алгоритмы и программы восстановления зависимостей
Год издания: (1984)

Интегральные уравнения: методы, алгоритмы, программы
Автор: Верлань А. Ф.
Год издания: (1986)

Алгоритмы и программы
Год издания: (1974)

Алгоритмы и программы
Год издания: (1975)

Производящие и характеристические функции в теории вероятностей
Автор: Ицков А. Г.
Год издания: (2015)

Методы и алгоритмы преобразования типов признаков в задачах анализа данных
Автор: Никифоров А. М.
Год издания: (1988)

Алгоритмы и организация решения экономических задач
Год издания: (1979)

Параллельные вычисления в комплексной плоскости
Автор: Амербаев В. М.
Год издания: (1984)

Аналитические алгоритмы небесной механики
Автор: Брумберг В. А.
Год издания: (1980)

Анализ режимов синхронной машины методами Ляпунова
Автор: Лупкин В. М.
Год издания: (1991)

Алгоритмы для уравнивания геодезических сетей на ЭВМ
Автор: Маркузе Ю. И.
Год издания: (1989)

Алгоритмы построения разрешающих уравнений механики стержневых систем
Год издания: (1983)

Вычисление элементарных функций в ЭКВМ
Автор: Байков В. Д.
Год издания: (1982)

Методы и алгоритмы расчета пространственных конструкций на ЭВМ ЕС
Автор: Мяченков В. И.
Год издания: (1984)

Алгоритмы и программы для численного решения некоторых задач эллипсометрии
Год издания: (1980)

Алгоритмы диагностики тепловых нагрузок летательных аппаратов
Год издания: (1983)

Модели и алгоритмы построения систем и комплексов обработки акустической информации
Год издания: (1990)