Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
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
-
521
-
522
-
523за авторством Губа, А.А., Колчин, А.В., Потиенко, С.В.Отримати повний текст
Опубліковано в: Проблеми програмування (2016)
Стаття -
524
-
525
-
526
-
527
-
528
-
529за авторством Gorbachuk, V.M., Gavrylenko, S.O., Golotsukov, G.V., Pustovoit, M.M.Отримати повний текст
Опубліковано 2023
Стаття -
530за авторством Маньковская, Е.В., Корчёмкина, Е.Н.Отримати повний текст
Опубліковано в: Екологічна безпека прибережної та шельфової зон та комплексне використання ресурсів шельфу (2011)
Стаття -
531
-
532
-
533
-
534
-
535за авторством Mitsutake, A., Kinoshita, M., Hirata, F., Okamoto, Y.Отримати повний текст
Опубліковано в: Condensed Matter Physics (2007)
Стаття -
536Computational algorithms for multiphase magnetohydrodynamics and applications to accelerator targetsза авторством Samulyak, R.V., Bo, W., Li, X., Kirk, H., McDonald, K.Отримати повний текст
Опубліковано в: Condensed Matter Physics (2010)
Стаття -
537за авторством Romanov, V.O., Antonova, H.V., Galelyuka, I.B., Hrusha, V.M., Kedych, A.V., Voronenko, O.V.Отримати повний текст
Опубліковано 2023
Стаття -
538за авторством Romanov, V.O., Antonova, H.V., Galelyuka, I.B., Hrusha, V.M., Kedych, A.V., Voronenko, O.V.Отримати повний текст
Опубліковано в: Проблеми програмування (2022)
Стаття -
539
-
540