Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
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за авторством Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.Отримати повний текст
Опубліковано 2015
Стаття -
23за авторством Колчин, А.В., Летичевский, А.А., Потиенко, С.В., Песчаненко, В.С.Отримати повний текст
Опубліковано в: Проблеми програмування (2012)
-
24
-
25
-
26
-
27
-
28
-
29за авторством Андон, Ф.И., Дорошенко, А.Е., Жереб, К.А.Отримати повний текст
Опубліковано в: Кибернетика и системный анализ (2011)
Стаття -
30
-
31
-
32
-
33
-
34
-
35
-
36
-
37за авторством Кривий, С.Л., Погорілий, С.Д., Слинько, М.С.Отримати повний текст
Опубліковано в: Проблеми програмування (2018)
Стаття -
38
-
39за авторством Красикова, И.Е., Красиков, И.В., Картузов, В.В.Отримати повний текст
Опубліковано в: Электронная микроскопия и прочность материалов (2016)
Стаття -
40