Электронная библиотека (репозиторий)
Томского государственного университета
English
Русский
Home
Show
All
Show
Quick Collection
Browse ↓
Communities & Collections
By Title
By Creator
By Subject
By Date
Additional Resources
Search History
Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
-
Сделать пожертвование
-
Advanced Search
2010
Add to Quick Collection
All 2 Results
Showing items 1 - 2 of 2.
«
←
1
→
»
Sort:
Relevance
Title Ascending
Title Descending
Creator Ascending
Creator Descending
Date Ascending
Date Descending
Add All Items to Quick Collection
Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01.
Authors:
Коломеец, Антон Владимирович
Type:
авторефераты диссертаций
Date:
2010
Решение параллельных уравнений для ω-языков
Authors:
Бушков, Виктор Георгиевич
|
Евтушенко, Нина Владимировна
Source:
Прикладная дискретная математика. 2010. № 2. С. 117-123
Type:
статьи в журналах
Date:
2010
«
←
1
→
»
Creator
Бушков, Виктор Георгиевич
(1)
Евтушенко, Нина Владимировна
(1)
Коломеец, Антон Владимирович
(1)
Subject
Бюхи условие
(1)
Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации)
(1)
автоматные уравнения
(1)
параллельная композиция ω-языков
(1)
уравнения для ω-языков
(1)
Resource Type
авторефераты диссертаций
(1)
статьи в журналах
(1)
^ DIV >