Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
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
-
261
-
262
-
263за авторством Бойко, Ю.В., Глибовец, Н.Н., Ершов, С.В., Крывый, С.Л., Погорилый, С.Д., Ролик, А.И., Теленик, С.Ф., Куляс, А.И., Крак, Ю.В., Ясочка, М.В.Отримати повний текст
Опубліковано в: Управляющие системы и машины (2015)
Стаття -
264за авторством Ianus, S., Visinescu, M., Vîlcu, G.E.Отримати повний текст
Опубліковано в: Symmetry, Integrability and Geometry: Methods and Applications (2009)
Стаття -
265
-
266
-
267за авторством Hentosh, O.Ye., Prykarpatsky, Ya.A., Blackmore, D., Prykarpatski, A.K.Отримати повний текст
Опубліковано в: Symmetry, Integrability and Geometry: Methods and Applications (2019)
Стаття -
268
-
269за авторством Костенко, Ю.В., Степашко, В.С., Трачук, А.Р.Отримати повний текст
Опубліковано в: Індуктивне моделювання складних систем (2018)
Стаття -
270
-
271
-
272
-
273
-
274
-
275за авторством Glybovets, M.M., Gorochovskiy, S.S., Zinchuk, S.O., Kravchenko, M.V.Отримати повний текст
Опубліковано 2017
Стаття -
276
-
277
-
278
-
279
-
280