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

Volltext

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

Volltext

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

Volltext

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

Volltext

Instrumentariy creating business logic von Kozhaev, V. V.

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

On decompilation of VLIW executable files von Jakub, K.

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext