An Approach for Object-Component Model Engineering of Software Product Line by Lavrischeva, K.M., Slabospitskaya, O.А.

Get full text

The formal basic developing and testing the distributed program systems by Lavrischeva, K.M., Stenyashin, A.Yu.

Get full text

Spellchecker based on distributed representations by Omelchenko, P.S.

Get full text

Verification of programs: status, problems and experimental results. I by Maksymets, A.N.

Get full text

Autotuner and visualization for meteorological forecasting model by Ivanenko, P.A., Doroshenko, A.Yu., Ovdii, O.M., Suslova, L.M.

Get full text

Numerical Methods for Solving the Pursuit Optimization Problems by Pashko, C.V., Yalovets, A.L.

Get full text

Method for calculating the parameters of phase transitions of discrete technological and information processes of strategic planning with parallelization of computations by Stepaniuk, M.Yu.

Get full text

About the method of the nearest point as a method of management of strategies of pursuit/evasion of agents by Yalovets, A.L.

Get full text

Approach to the building intelligent decision support systems on the basis of ontology by Lytvyn, V.V.

Get full text

Віктор Михайлович Глушков (24.08.1923 – 30.01.1982) by Editorial, board

Get full text

V.M. Glushkov Kyiv School of Programming by Andon, P.I.

Get full text

Description of parallelism in algorithms of information management systems using algebraic apparatus by Akulovsky, V.G., Doroshenko, A.Yu.

Get full text

Algebra for the description of data in the composite schemes of algorithms by Akulovskiy, V.G.

Get full text

Spectrum of sequential number pershopordinal compositional-nominative logics by Shkilnyak, S.S.

Get full text

Formalized design and synthesis of parallel programs for videographic shortcuts by Doroshenko, A.Yu., Beketov, O.G., Zhereb, K.A., Yatsenko, О.A.

Get full text

Creation of design methods for the CUDA hardware and software platform by Pogorilyy, S.D., Vereschynsky, O.A.

Get full text

Theoretical and applied aspects of relations and operations for sequences of time intervals by Kudym, K.A., Reznichenko, V.A., Proskudina, G.Yu., Ovdii, О.М.

Get full text

Managing scientific workflows in grid systems by Tverdokhlib, E.M., Perkonos, P.I., Loy, A.I.

Get full text

About one technique for forming an object representation of relational data by Likhatsky, I.A.

Get full text

Characteristics of information flows of software modules included in the software for automated support of ... by Borovskaya, E.N., Koltik, M.A.

Get full text