Search Results - Веретельникова Е. Л.
- Showing 1 - 3 results of 3
-
1
Теоретическая информатика. Доказательство правильности учеб. пособие by Веретельникова Е. Л.
Published Новосибирск, НГТУ, 2016Call Number: Loading…Get full text
Located: Loading…
Get full text
Electronic Book -
2
Теоретическая информатика. Теория сетей Петри и моделирование систем учеб. пособие by Веретельникова Е. Л.
Published Новосибирск, НГТУ, 2018Call Number: Loading…Get full text
Located: Loading…
Get full text
Electronic Book -
3
Теория вероятностей. Случайные события учебное пособие by Веретельникова Е. Л.
Published Новосибирск, НГТУ, 2022Call Number: Loading…Get full text
Located: Loading…
Get full text
Electronic Book
Search Tools:
Related Subjects
блок-схемы
анализ сетей петри
вероятность
вероятность произведения событий
геометрическое определение
графы сетей
дерево достижимости
доказательство правильности
задачи синхронизации
индуктивные утверждения
классическое определение
комбинаторика
конечные автоматы
маркировка сетей
математическая индукция
матричные уравнения
моделирование
независимые испытания
независимые события
полная группа событий
правила выполнения
пространство состояний
противоположные события
рекурсивные программы
сеть петри
случайные события
события условия
статистическое определение
структура сети
структурная индукция