Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
8
УДК 004.4'24
7
UDC 004.4'24
6
Інструментальні засоби і середовища програмування
4
алгебра алгоритмов
4
алгебра алгоритмів
4
UDC 519.85
3
algebraic matching
3
algorithm algebra
3
automated software design
3
behavior algebra
3
meteorological forecasting
3
software synthesis
3
УДК 519.85
3
Формальні методи програмування
3
автоматизированное проектирование программ
3
автоматизоване проектування програм
3
метеорологическое прогнозирование
3
метеорологічне прогнозування
3
синтез програм
3
синтез программ
3
Software Model Transformation
2
UDC 004.415.2.045 (076.5)
2
UDC 51.681.3
2
algebraic modeling
2
formal methods
2
formalization
2
insertion modeling
2
parallel computation
2
rewriting rules technique
2
-
1
-
2
-
3
-
4
-
5
-
6за авторством Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.Отримати повний текст
Опубліковано 2023
Стаття -
7за авторством Тарасюк, О.М., Горбенко, А.В., Харченко, В.С.Отримати повний текст
Опубліковано в: Математичні машини і системи (2011)
Стаття -
8
-
9
-
10за авторством Погорелый, С.Д., Бойко, Ю.В., Лозицкий, С.И., Гусаров, А.Д.Отримати повний текст
Опубліковано в: Проблемы управления и информатики (2008)
Стаття -
11
-
12за авторством Тарасюк, О.М., Горбенко, А.В., Харченко, В.С.Отримати повний текст
Опубліковано в: Математичні машини і системи (2010)
Стаття -
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20