Refine your search
Availability
-
bib-level
-
Authors
-
Topics
- ЛЯПАС, язык программирования логический (1)
- Сильносвязные автоматы (1)
- автоматы детерминированные (1)
- автоматы недетерминированные (1)
- верификация программ (1)
- вероятностей теория (1)
- вероятностные задачи (1)
- вероятностные методы (1)
- естественные науки (1)
- идентификация (1)
- исчисление вероятностей (1)
- компьютерные системы (1)
- небытие (1)
- нуль (мат.) (1)
- обратимые автоматы (2)
- операционная семантика (1)
- перестраиваемые автоматы (1)
- программы (1)
- решение вероятностных задач (1)
- труды ученых ТГУ (1)
- Show more
- Show less