Browse Title Index


 
Issue Title
 
No 2-3 (2018) Specification of the process of the semantic annotation the web services Abstract   PDF (Українська)
O.V. Zakharova
 
No 3 (2013) Spectrum of sequential number pershopordinal compositional-nominative logics Abstract   PDF (Українська)
S.S. Shkilnyak
 
No 4 (2013) Spellchecker based on distributed representations Abstract   PDF (Русский)
P.S. Omelchenko
 
No 1 (2018) Statement of problem of unknown environment recognizing, navigating and path planning by agent Abstract   PDF (Українська)
A.L. Yalovets
 
No 2-3 (2020) Static analysis of .NET programs using rewriting rules Abstract   PDF (Українська)
T.A. Mamedov, А.Yu. Doroshenko, R.S. Shevchenko
 
No 2-3 (2014) Static method of consistency and completeness checking in formal model of distributed software systems Abstract   PDF (Русский)
A.V. Kolchin, O.O. Letichevsky, S.V. Potiyenko
 
No 2-3 (2012) Statistical data analysis for budget planning in the provision of medical and social rehabilitation injured persons Abstract   PDF (Українська)
S.M. Fedorenko, A.V. Chadyuk
 
No 2-3 (2020) Storage systems for IT infrastructure Abstract   PDF (Українська)
S.Yu. Punda
 
No 2-3 (2024) Structure of the algorithm for modeling optimal movement of a compound dynamic system Abstract   PDF (Українська)
O.I. Lysenko, V.L. Shevchenko, O.M. Tachynina, S.O. Ponomarenko, O.H. Guida
 
No 4 (2021) Study of principles, models and methods of FAIR paradigm of scientific data management for analysis for BIG data metadata Abstract   PDF (Українська)
J.V. Rogushina, I.J. Grishanova
 
No 4 (2023) Study of the efficiency of some deterministic preprocessing methods for sorting algorithms Abstract   PDF (Українська)
V.I. Shynkarenko, O.V. Makarov
 
No 2-3 (2012) Support for the management of variability in the family of software systems Abstract   PDF (Українська)
A.L. Kolesnik
 
No 4 (2012) Survey on modern tools and methods of formal models verification Abstract   PDF (Русский)
A.V. Kolchin, A.A. Letichevsky, S.V. Potiyenko, V.S. Peschanenko
 
No 4 (2003) Symbolic computation system for dynamical application programming Abstract   PDF (Українська)
A.Yu. Doroshenko, R.S. Shevchenko
 
No 2-3 (2016) Synthesis multilevel structure with multiple output Abstract   PDF (Русский)
V.M. Opanasenko, S.L. Kryvyi
 
No 2 (2003) Synthesis of an automaton specified by the set of clauses Abstract   PDF (Українська)
A.N. Chebotarev
 
No 2-3 (2018) System aspects of design guaranteased cloud calculations Abstract   PDF (Русский)
N.A. Kosovets, I.E. Shchetynin, L.N. Tovstenko
 
No 4 (2020) System of classification for personnel selection based upon Ukrainian language ana-lyze Abstract   PDF (Українська)
O.P. Zhezherun, M.S. Ryepkin
 
No 1 (2014) System-ontological analysis the subject area of testing integrated information security system (IISS) Abstract   PDF (Русский)
M.A. Koltyk
 
No 3-4 (2022) Table interpretation of the temporal description logic LTLALC Abstract   PDF
V.A. Reznichenko, I.S. Chystiakova
 
No 3 (2019) Tasks and methods of Big Data analysis (a survey) Abstract   PDF (Українська)
O.S. Balabanov
 
No 4 (2017) Tasks for information security risks management in making-decision process Abstract   PDF (Українська)
Y.S. Rodin
 
No 2 (2015) Technological model for the process of adaptive Web service composition engineering and exploiting Abstract   PDF (Українська)
О.A. Slabospitskaya
 
No 1 (2011) Technological Model for the Process of Software Automated Production Abstract   PDF (Українська)
O.O. Slabospitska
 
No 4 (2018) Technological solutions for intelligent analysis of Big Data. Programming languages Abstract   PDF (Українська)
I.Y. Grishanova, J.V. Rogushina
 
601 - 625 of 723 Items << < 20 21 22 23 24 25 26 27 28 29 > >>