Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
53
Фундаментальные и прикладные проблемы Computer Science
35
Fundamental Problems in Computer Science
29
UDC 004.42:510.69
13
УДК 004.42:510.69
13
logic
12
логічний наслідок
12
UDC 004.94
11
logical consequence
11
УДК 004.94
11
логіка
11
логика
10
UDC 681.3
9
software engineering
9
Теоретичні та методологічні основи програмування
9
УДК 681.3
8
логическое следствие
8
інженерія програмного забезпечення
8
genetic algorithm
7
генетичний алгоритм
7
предикат
7
секвенційне числення
7
predicate
6
Обчислювальні системи
6
partial predicate
5
sequent calculus
5
software
5
Кибернетика
5
УДК 004.4'24
5
екосистема програмного забезпечення
5
-
21
-
22
-
23
-
24за авторством Баркалов, О.О., Тітаренко, Л.О., Головін, О.М., Матвієнко, О.В.Отримати повний текст
Опубліковано в: Control systems & computers (2021)
Стаття -
25
-
26
-
27
-
28
-
29за авторством Баркалов, О.О., Тітаренко, Л.О., Візор, Я.Є., Матвієнко, О.В.Отримати повний текст
Опубліковано в: Control systems & computers (2020)
Стаття -
30
-
31
-
32
-
33
-
34
-
35
-
36
-
37
-
38
-
39
-
40за авторством Бабичев, С.А., Бидюк, П.И., Корнелюк, А.И., Литвиненко, В.И.Отримати повний текст
Опубліковано в: Управляющие системы и машины (2015)
Стаття