Logics of quasiary predicates of quantifier-equational level by Nikitchenko, M.S., Shkilniak, S.S.

Get full text

New methods of descriptions for uncertain variables by Provotar, O.I., Lapko, O.V.

Get full text

Analysis of systems of fuzzy logic to approximate fuzzy functions by Schegelski, Т.S., Provotar, O.O., Provotar, O.I.

Get full text

About one dynamic model of conflictcontrol user interaction in open information environments by Ignatenko, O.P.

Get full text

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