Sequent calculi of composition nominative modal logics of functional-equational level by Shkilnyak, O.S.

Get full text

One model of optimal resource allocation in homogeneous multiprocessor system by Doroshenko, A.Yu., Ignatenko, O.P., Ivanenko, P.A.

Get full text

Technological Model for the Process of Software Automated Production by Slabospitska, O.O.

Get full text

The registration and accounting of the information about events in specialized informational-telecommunication systems by Alekseev, V.A., Kuzmich, A.P., Tereshchenko, V.S.

Get full text

Accelerating algorithms for Bayesian network recovery. Adaptation to structures without cycles by Balabanov, O.S.

Get full text

Agent model of information retrieval on the basis of beehive metaphor by Remarovich, S.S.

Get full text

Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation by Goerigk, W., Langmaack, H.

Get full text

Models and methods of analytical support for strategic management decision-making by Ilina, E.P., Sinitsyn, I.P., Slabospitskaya, O.А., Yablokova, T.L.

Get full text

Тechnology of security confidential information from inside threats by Antoniuk, A.A., Portyanoy, V.S., Shylin, V.P.

Get full text

The automated probability-algebraic simulation of the reliability of difficult systems by Sukach, E.I.

Get full text

Developing software model of neural network PID controller in LabVIEW by Zherebko, V.A., Afanasyev, V.V., Liaskovskyi, A.S.

Get full text

-calculus as a realistic formalization of a class of rewriting systems by Shevchenko, R.S., Doroshenko, A.Yu.

Get full text

Approaches to realization Yen’s algorithm for systems with the shared memory by Pogorilyy, S.D., Tribrat, M.I., Boyko, U.V., Afanasyev, D.V.

Get full text

On application of machine-learning for designing adaptive sorting programs in algebra of algorithms by Yatsenko, O.A.

Get full text

Approach to interconnection support between Java and MS.NET programming environments by Ostrovskii, A.V.

Get full text

One of Approaches to maintenance inter-connection environments Visual Studio and Eclipse by Radetskyi, I.O.

Get full text

Formal description of the types and - data structures mixed programmes by Stenyashin, A.Yu.

Get full text

Трансформационный поход к разработке интеллектуальных агентов на основе нечетких моделей by Parasyuk, I.M., Yershov, S.V.

Get full text

About modifiability and bezanomality of a relational database schema by Panchenko, B.E.

Get full text

Neurocontrol Methods: A Survey by Chernodub, A.N., Dziuba, D.A.

Get full text