Suggested Topics within your search.
Suggested Topics within your search.
УДК 004.4'24
UDC 004.4'24
11
automated software design
3
meteorological forecasting
3
автоматизированное проектирование программ
3
алгебра алгоритмов
3
алгебра алгоритмів
3
метеорологическое прогнозирование
3
метеорологічне прогнозування
3
algorithm algebra
2
code analysis
2
programming languages
2
software synthesis
2
term rewriting
2
termware
2
type systems
2
автоматизація розробки програмного забезпечення
2
автоматизоване проектування програм
2
алгебра типів
2
аналіз коду
2
мови програмування
2
переписування термів
2
проектирование и синтез программ
2
синтез програм
2
синтез программ
2
системи типів
2
системы типов
2
языки программирования
2
API architecture
1
Big Data
1
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13