Browse Title Index


 
Issue Title
 
No 1 (2012) Software technology for conducting simulation experiments with mathematical models of physiological systems Abstract   PDF (Українська)
T.V. Aksnova
 
No 2-3 (2010) Solving contest problems via formal program verification Abstract   PDF
N.V. Shilov, S.O. Shilova
 
No 4 (2008) Some approaches to the control and transformation of algorithms over the analysis of the data which are specified Abstract   PDF (Русский)
V.G. Akulovsky
 
No 2 (2009) Some aspects of formalization of an architectural development cycle of algorithms Abstract   PDF (Русский)
V.G. Akulovskiy
 
No 4 (2009) Some aspects of formalization of the data and decomposition of D-operators of algebra of algorithms Abstract   PDF (Русский)
V.G. Akulovskiy
 
No 3-4 (2022) Some aspects of software engineering for AI-based systems Abstract   PDF (Українська)
V.V. Liubchenko
 
No 4 (2003) Sound interface design for blind PC users Abstract   PDF (Українська)
V.M. Ruvinskaya, A.S. Prigozhev
 
No 2-3 (2012) Special attention is given to the project of the Informational System "Planned for Science in the NAPN of Ukraine" Abstract   PDF (Українська)
N.T. Zadorozhna, V.A. Petrushko, S.M. Tukalo
 
No 4 (2011) Special relations of logical consequence in logics of quasi-ary predicates Abstract   PDF (Українська)
S.S. Shkilniak
 
No 2-3 (2018) Specialised computer simulator "SimEnPhysiol" Abstract   PDF (Русский)
R.D. Grygoryan, T.V. Aksonova, A.G. Degoda
 
No 3 (2009) Specialities of management processes in case of software systems families creation Abstract   PDF (Українська)
К.М. Lavrischeva, G.I. Koval, О.A. Slabospickaya, A.L. Kolesnik
 
No 2-3 (2014) Specialized search engine system of scientific materials in Ukrainian language with social aspects Abstract   PDF (Українська)
A.M. Glybovets
 
No 1 (2022) Specialized software for simulating dynamic virtual machine consolidation Abstract   PDF (Українська)
E.V. Zharikov, S.F. Telenyk
 
No 2 (2021) Specialized software for simulating the multiple control and modulations of human hemodynamics Abstract   PDF
R.D. Grygoryan, O.I. Yurchak, A.G. Degoda, T.V. Lyudovyk
 
No 2 (2009) Specialized software modelling comlex "Physiolresp" Abstract   PDF (Русский)
R.D. Grigiryan, P.N. Lissov, T.V. Aksionova, A.G. Moroz
 
No 2 (2021) Specific features of the use of artificial intelligence in the development of the architecture of intelligent fault-tolerant radar systems Abstract   PDF
M. Коsovets, L. Tovstenko
 
No 2-3 (2010) Specification Based Program Construction and Verification in Composition-Nominative Language CNLS Abstract   PDF (Українська)
M.A. Bezverha, P.P. Protsyk
 
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 2-3 (2010) Stability and monotonicity of programs for structural data transformations Abstract   PDF (Українська)
M.S. Nikitchenko, E.V. Iivanov
 
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
 
751 - 775 of 943 Items << < 26 27 28 29 30 31 32 33 34 35 > >>