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

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

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

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

Volltext

Recursive queries in SQL: samples, intensional and formal semantics von Buy, D.B., Polyakov, S.A.

Volltext

Modelling technology based on fuzzy Bayesian belief networks von Parasyuk, I.M., Kostukevich, F.V.

Volltext

Semantic properties of composition nominative modal logics von Shkilnyak, O.S.

Volltext

Specialities of management processes in case of software systems families creation von Lavrischeva, К.М., Koval, G.I., Slabospickaya, О.A., Kolesnik, A.L.

Volltext

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

Volltext

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

Volltext

Features of the modern automation systems of education quality control. Comparative analysis von Gajtan, E.N.

Volltext

Information threats and security services von Antonyuk, A.A., Zhora, V.V., Mostovoy, V.N.

Volltext

Means of parametrically controlled generation of algorithms on the basis of algebra of hyperscales von Yatsenko, O.A.

Volltext

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

Volltext

UWN: The ontological basе of knowledge of the Ukrainian language von Anisіmov, A.V., Marchenko, O.O., Nikonenko, A.O.

Volltext

Specialized software modelling comlex "Physiolresp" von Grigiryan, R.D., Lissov, P.N., Aksionova, T.V., Moroz, A.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

Fuzzy probability and fuzzy events von Provotar, O.I., Vasylenko, O.V., Provotar, O.O.

Volltext