Принципи створення інтелектуального інтерфейсу для розв’язування систем лінійних алгебраїчних рівнянь на комп’ютерах гібридної архітектури... за авторством HImIch, O.M., Chistyakova, T.V., Baranov, A.Yu.

Отримати повний текст

Деякі підходи до обчислення умовної невизначеності за авторством Provotar, O.I., Lapko, O.V.

Отримати повний текст

Потокові моделі мережі Інтернет за умов атак на відмову за авторством Andon, P.I., Ignatenko, O.P.

Отримати повний текст

Component of programming. Theory and implementation за авторством Lavrischeva, K.M.

Отримати повний текст

Logics of quasiary predicates of quantifier-equational level за авторством Nikitchenko, M.S., Shkilniak, S.S.

Отримати повний текст

New methods of descriptions for uncertain variables за авторством Provotar, O.I., Lapko, O.V.

Отримати повний текст

Analysis of systems of fuzzy logic to approximate fuzzy functions за авторством Schegelski, Т.S., Provotar, O.O., Provotar, O.I.

Отримати повний текст

About one dynamic model of conflictcontrol user interaction in open information environments за авторством Ignatenko, O.P.

Отримати повний текст

Instrumentariy creating business logic за авторством Kozhaev, V. V.

Отримати повний текст

Survey on modern tools and methods of formal models verification за авторством Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.

Отримати повний текст

The Formal method of Component Basic Programming за авторством Grischenko, V.N.

Отримати повний текст

The technology of optimal options choice based on semantic analisis of information objects of the bisnessprocess за авторством Zakharova, O.V., Minenko, V.D.

Отримати повний текст

Architecture and functionalities of system of situational management of protection of zones of the responsibility за авторством Alekseev, V.A., Mostovoi, V.V., Tereshchenko, V.S., Yalovets, A.L.

Отримати повний текст

The application package for calculation continuous and discrete models of dynamic processes in the control circuits за авторством Merdukh, S.L., Medvedev, R.B.

Отримати повний текст

Optimisation of big N-width digits multiplication based on N-width DFT за авторством Tereshchenko, A.N., Zadiraka, V.K.

Отримати повний текст

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

Отримати повний текст

Synthesis of an automaton specified by the set of clauses за авторством Chebotarev, A.N.

Отримати повний текст

DS-theory. Presentation of canonical algorithm by means of algorithmic language за авторством Kolesnyk, V.G.

Отримати повний текст

Automated generation of parallel programs for graphics processing units based on algorithm schemes за авторством Doroshenko, А.Yu., Beketov, O.G., Ivaniv, R.B., Iovchev, V.O., Mironenko, I.O., Yatsenko, O.A.

Отримати повний текст

On decompilation of VLIW executable files за авторством Jakub, K.

Отримати повний текст