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

Volltext

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

Volltext

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

Volltext

Component of programming. Theory and implementation von Lavrischeva, K.M.

Volltext

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