Estimation of reliability of modular software von Antsypov, A.V., Bakhtizin, V.V.

Volltext

Implementation of rich web-applications based on taucode library von Kovalenko, A.S., Kovalenko, K.S.

Volltext

The algebro-logical approach to the analysis and processing of the text information von Palagin, O.V., Kryvyi, S.L., Petrenko, M.G., Bibikov, D.S.

Volltext

Fuzzy models of multiagent systems in distributed environment von Parasyuk, I.N., Ershov, S.V.

Volltext

Reputation-based secyrity for heterogtneous structurally complex systems von Kussul, O.M.

Volltext

Specification Based Program Construction and Verification in Composition-Nominative Language CNLS von Bezverha, M.A., Protsyk, P.P.

Volltext

Methods of automated algorithms schemes transformation von Shkulipa, I.Yu., Pogorily, S.D.

Volltext

Solving contest problems via formal program verification von Shilov, N.V., Shilova, S.O.

Volltext

Backward transformation of formulas in symbolic modeling: from the result to the source formula von Godlevsky, A.B., Potienko, S.V.

Volltext

Environmental aspects of reprezantation knowlend in algebra of algorithmic von Zeitlin, G.E., Zakharija, L.M., Zakharija, O.V., Zhovnir, Y.I.

Volltext

Query optimization from DL/1 (IMS) to sol von Anisimov, A.V., Kulyabko, O.P., Kulyabko, P.P., Marchenko, O.O.

Volltext

Formal-logical approach to building analysis systems of knowledge in different domains von Palagin, O.V., Kryvyi, S.L., Bibikov, D.S., Velychko, V.Yu., Markov, K., Ivanova, K., Mitov, I.

Volltext

Design of ontological system of terms and their cognitive models in scientific research von Rogushina, J.V., Gladun, A.Y., Shtonda, V.N.

Volltext

Object-oriented database neodatis: installing, programming of queries, comparison with the relational data base von Buy, D.B., Kompan, S.V.

Volltext

System of the automated carrying over of contents electronic documents in DB IS von Blazhko, A.A., Marulin, S.Yu., Dunko, Yu.A.

Volltext

Средства кодогенерации для взаимодействия с базой данных через объекты von Lihatskiy, I.A.

Volltext

The Models of DBMS benchmark von Blazhko, A.A., Levchenko, A.Yu., Prigozhev, A.S.

Volltext

Automated creation of rules fo data access control by resources using DBMS von Blazhko, A.A., Saud, Ibaa

Volltext

Financial and economic ontology of information storage von Melashchenko, A.O., Perevozchikova, O.L., Strelnikova, Zh.A.

Volltext

About bypassing of multivalued dependency in the relational data model von Panchenko, B.E.

Volltext