Формальное построение и валидация поведения торговых систем с акциями : подход на основе сетей Петри = : Formal modeling and validation of stock trading systems behavior : a Petri net approach

Другие работы по этой специальности

1. Кооперативные решения в теоретико-игровых моделях природопользования и инвестирования с динамическим обновлением информации

   Ван, Цзэян · 2026 · Канд. наук · «Санкт-Петербургский государственный университет» ; Диссовет CПбГУ A1.2.3.25.11859

   • 1.2.3. Теоретическая информатика, кибернетика
2. Исследование комбинаторных свойств и оценка вычислительной сложности задач рюкзачного типа

   Волков, Мария Сабина Александровна · 2026 · Канд. наук · «Федеральный исследовательский центр «Информатика и управление» Российской академии наук» ; Диссовет 24.1.224.03 (Д 002.073.XX)

   • 1.2.3. Теоретическая информатика, кибернетика
3. Алгоритмы стохастической оптимизации и консенсуса для группы распределенных агентов, выполняющих общую задачу в условиях неопределенностей = : Stochastic optimisation and consensus algorithms for a group of distributed agents solving a common task under uncertainty : в 2-х т.

   Чернов, Андрей Олегович · 2026 · Канд. наук · «Санкт-Петербургский государственный университет» ; Диссовет CПбГУ A1.2.3.26.4289

   • 1.2.3. Теоретическая информатика, кибернетика
4. Построение и анализ модели для расчета вероятностно-временных характеристик сети интегрированного доступа и транзита с разделением ресурсов

   Платонова, Анна Алексеевна · 2026 · Канд. наук · «Российский университет дружбы народов имени Патриса Лумумбы» ; Диссовет ПДС 0200.006

   • 1.2.3. Теоретическая информатика, кибернетика
5. Модели массового обслуживания для анализа эффективности миграции сервисов в граничных облачных вычислениях

   Кущазли, Анна Ивановна · 2026 · Канд. наук · «Российский университет дружбы народов имени Патриса Лумумбы» ; Диссовет ПДС 0200.006

   • 1.2.3. Теоретическая информатика, кибернетика

Все работы по специальности