|
Issue |
Title |
|
No 2-3 (2012) |
Применение статистических моделей в инженерии качества процессов производства программных систем |
Abstract
PDF (Українська)
|
L.Е. Matveeva, T.N. Gorislavets |
|
No 4 (2014) |
Розробка сервісно-орієнтованих засобів для запуску паралельних програм на мультипроцесорному кластері |
Abstract
PDF (Українська)
|
А.Yu. Doroshenko, O.G. Beketov, O.A. Yatsenko, I.A. Vitriak, T.O. Pavlyuchin |
|
No 1 (2003) |
УЗАГАЛЬНЕНА КОМПОЗИЦІЙНА МОДЕЛЬ СИМВОЛЬНОЇ ОБРОБКИ |
Abstract
PDF (Українська)
|
V.Yu. Vinnik |
|
No 2-3 (2020) |
Efficient increasing of the mutation score during model-based test suite generation |
Abstract
PDF
|
A. Kolchin, S. Potiyenko, T. Weigert |
|
No 2-3 (2020) |
Electronic demography decision making system |
Abstract
PDF (Русский)
|
G.Ch. Nabibekova |
|
No 2-3 (2020) |
Elements of concrete algorithmics: computability and solvability |
Abstract
PDF (Українська)
|
O.I. Provotar, O.O. Provotar |
|
No 2-3 (2020) |
Encryption system based on abelian groups and rings |
Abstract
PDF (Українська)
|
S.L. Kryvyi |
|
No 2-3 (2018) |
Equivalence of two parallel execution systems |
Abstract
PDF (Українська)
|
T. V. Panchenko, S. Fabunmi |
|
No 1 (2012) |
Essential issues of modern floating point arithmetic |
Abstract
PDF (Русский)
|
R.A. Iushchenko |
|
No 4 (2016) |
Evolutionary games in TCP networks with speed restriction policies |
Abstract
PDF (Русский)
|
O.P. Ignatenko, O.A. Molchanov |
|
No 2-3 (2020) |
Experience of the semantic technologies use for intelligent Web encyclopedia creation (on example of the Great Ukrainian Encyclopedia portal) |
Abstract
PDF (Українська)
|
P.I. Andon, J.V. Rogushina, I.Yu. Grishanova, V.A. Reznichenko, A.M. Kyridon, A.V. Aristova, A.O. Tishchenko |
|
No 2 (2021) |
Extended performance accounting using Valgrind tool |
Abstract
PDF
|
D.V. Rahozin, A.Yu. Doroshenko |
|
No 2-3 (2016) |
Extending UML specification for semantic modeling objects |
Abstract
PDF (Українська)
|
A.V. Novitsky |
|
No 2-3 (2018) |
Extension of the program synthesis system to analyze large data sets |
Abstract
PDF (Українська)
|
O.M. Ovdii |
|
No 3-4 (2022) |
Extracting structure from text documents based on machine learning |
Abstract
PDF
|
K.A. Kudim, G.Yu. Proskudina |
|
No 3-4 (2022) |
Features of building recommendation systems based on neural network technology using multithreading |
Abstract
PDF
|
N.O. Komleva, S.L. Zinovatna, V. V. Liubchenko, O.M. Komlevoi |
|
No 2-3 (2012) |
Features of implementation of simulation processes based on DATA FARMING methodologies |
Abstract
PDF (Українська)
|
E.A. Krikovlyuk, V.A. Pepelyaev, M.A. Sahnyuk |
|
No 1 (2012) |
Features of knowledge representation of an estimation of situations during situational management of protection of zones of the responsibility |
Abstract
PDF (Українська)
|
A.L. Yalovets, V.A. Alekseev, V.S. Tereshchenko |
|
No 2 (2015) |
Features of the modern automation systems of education quality control. Comparative analysis |
Abstract
PDF (Русский)
|
E.N. Gajtan |
|
No 3 (2019) |
First-order composition-nominative logics with predicates of weak equality and of strong equality |
Abstract
PDF (Українська)
|
S.S. Shkilniak |
|
No 3-4 (2022) |
First-order sequent calculi of logics of quasiary predicates with extended renominations and equality |
Abstract
PDF (Українська)
|
О.S. Shkilniak, S.S. Shkilniak |
|
No 3-4 (2022) |
Flow based bonet traffic detection using AI |
Abstract
PDF (Українська)
|
B.O. Panchuk |
|
No 3 (2017) |
Formal and adaptive methods and software tools of parallel programming |
Abstract
PDF
|
А.Yu. Doroshenko, O.G. Beketov, K.A. Zhereb, P.A. Ivanenko, О.М. Ovdii, R.S. Shevchenko, O.A. Yatsenko |
|
No 2-3 (2018) |
Formal foundations for software model to model transformation operation |
Abstract
PDF
|
O.V. Chebanyuk |
|
No 2-3 (2012) |
Formal model of scientific publication |
Abstract
PDF (Українська)
|
V.A. Reznichenko, G.Yu. Proskudina, O.M. Ovdii |
|
201 - 225 of 508 Items |
<< < 4 5 6 7 8 9 10 11 12 13 > >> |