Instrumentariy creating business logic by Kozhaev, V. V.

Get full text

Survey on modern tools and methods of formal models verification by Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.

Get full text

The Formal method of Component Basic Programming by Grischenko, V.N.

Get full text

The technology of optimal options choice based on semantic analisis of information objects of the bisnessprocess by Zakharova, O.V., Minenko, V.D.

Get full text

Architecture and functionalities of system of situational management of protection of zones of the responsibility by Alekseev, V.A., Mostovoi, V.V., Tereshchenko, V.S., Yalovets, A.L.

Get full text

The application package for calculation continuous and discrete models of dynamic processes in the control circuits by Merdukh, S.L., Medvedev, R.B.

Get full text

Optimisation of big N-width digits multiplication based on N-width DFT by Tereshchenko, A.N., Zadiraka, V.K.

Get full text

Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании... by Lvov, M.S.

Get full text

Synthesis of an automaton specified by the set of clauses by Chebotarev, A.N.

Get full text

DS-theory. Presentation of canonical algorithm by means of algorithmic language by Kolesnyk, V.G.

Get full text

Automated generation of parallel programs for graphics processing units based on algorithm schemes by Doroshenko, А.Yu., Beketov, O.G., Ivaniv, R.B., Iovchev, V.O., Mironenko, I.O., Yatsenko, O.A.

Get full text

On decompilation of VLIW executable files by Jakub, K.

Get full text

Descriptive logic using in Web-service problems by Zakharova, O.V.

Get full text

Approach qualitative analisys of dynamic systems wood based solutions by Andrushchak, I.Ye.

Get full text

Programming gestures simulator with statistical modeling by Doroshenko, А.Yu., Novak, O.S.

Get full text

Virtualization of models of technical plants in educational and research problems in the development of control systems by Zherebko, V.A.

Get full text

One model of parallel computing in heterogeneous distributed environments by Ignatenko, O.P., Parusimov, G.V., Sinetskyi, O.B.

Get full text

Portfolio model for decision process concerning organizational change management by Slabospitskaya, O.A.

Get full text

Complexity analysis of multidigit multiplication operation for implementtation in parallel computational model by Tereshchenko, A.N.

Get full text

Development of agent recommendation system of virtual university based on JADE by Glybovets, M.M., Konyushenko, O.V.

Get full text