Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
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
-
21
-
22
-
23
-
24
-
25
-
26за авторством Андон, Ф.И., Дорошенко, А.Е., Жереб, К.А.Отримати повний текст
Опубліковано в: Кибернетика и системный анализ (2011)
Стаття -
27
-
28
-
29
-
30
-
31за авторством Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.Отримати повний текст
Опубліковано в: Проблеми програмування (2022)
Стаття -
32
-
33
-
34за авторством Летичевський, О.О., Песчаненко, В.С., Гринюк, Я.В., Радченко, В.Ю., Яковлев, В.М.Отримати повний текст
Опубліковано в: Кибернетика и системный анализ (2019)
Стаття -
35
-
36
-
37
-
38
-
39
-
40за авторством Дорошенко, А.Ю., Кушніренко, Р.В., Яценко, О.А.Отримати повний текст
Опубліковано в: Проблеми програмування (2019)
Стаття