Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
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
-
321
-
322
-
323
-
324
-
325
-
326
-
327
-
328
-
329
-
330за авторством Sun, Haimeng, Kochan, R., Kochan, O., Su, JunОтримати повний текст
Опубліковано в: Технічна електродинаміка (2016)
Стаття -
331за авторством Задирака, В.К., Кудин, А.М., Селюх, П.В., Швидченко, И.В.Отримати повний текст
Опубліковано в: Проблемы управления и информатики (2016)
Стаття -
332за авторством Brouwer, A.E., Popoviciu, M.Отримати повний текст
Опубліковано в: Symmetry, Integrability and Geometry: Methods and Applications (2012)
Стаття -
333за авторством Михайлюк, В.О., Чепрасова, Т.І., Дрейчан, Н.А.Отримати повний текст
Опубліковано в: Компьютерная математика (2018)
Стаття -
334
-
335
-
336за авторством Szymonski, M., Droba, A., Struski, P., Krok, F.Отримати повний текст
Опубліковано в: Физика низких температур (2012)
Стаття -
337
-
338
-
339
-
340