Refine your search
Availability
-
bib-level
-
Authors
- Berakdar, Jamal (1)
- Брур, Х. В. (1)
- Грамберг, Орна (1)
- Дедекинд, Рихард (1)
- Дюмортье, Ф (1)
- Еремин, Иван Иванович (1)
- Жаркова, Анастасия Владимировна (1)
- Кларк, Эдмунд М. (1)
- Лерман, Лев Михайлович (1)
- Пелед, Дорон (1)
- Смелянский, Руслан Леонидович (1)
- Стрин, С. ван (1)
- Такенс, Ф. (1)
- Show more
- Show less
-
Locations
- Абонемент. Депозитарий (1)
- Библиотека РФФ (1)
- Книгохранилище (4)
- Книгохранилище-11 (1)
-
Item types
- 1 месяц (2)
- 6 месяцев (1)
- Выдается в читальный зал (5)
-
Topics
- SMV программа верификации моделей (1)
- Богданова-Такенса бифуркация (1)
- Ван-дер-Поля дифференциальное уравнение (1)
- Верификация (1)
- Двойственность (мат.) (1)
- КАМ-теория (1)
- Кебе принцип (1)
- Компьютеры персональные (1)
- Луивилля теорема об интегрируемости (1)
- Мизюревича итерации отображений (1)
- Морса-Смейла векторные поля (1)
- Неравенства (мат.) линейные (1)
- Программы (1)
- Пуанкаре отображение (1)
- Рюэля оператор (1)
- Уитни топология (1)
- Фаркаша -Минковского теорема (1)
- Фурье метод исключения (1)
- Хопфа бифуркация (1)
- конечные системы (5)
- Show more
- Show less