Результати пошуку - "PROBLEMS IN PROGRAMMING" :: Harvester open publications of NAS Ukraine

Рекомендовані теми у межах Вашого пошуку. Рекомендовані теми у межах Вашого пошуку.

426
UDC 681.3 134
УДК 681.3 134
ontology 43
онтологія 42
УДК 681.3.06 32
УДК 004.94 31
UDC 004.94 29
УДК 004.4 28
UDC 681.3.06 27
онтология 27
UDC 004.4 26
machine learning 26
машинне навчання 25
004.55 20
УДК 004.4'24 20
УДК 004.8 20
УДК 004.853 20
УДК 004.42:510.69 19
UDC 004.4'24 17
UDC 004.42:510.69 17
UDC 004.62 17
logic 17
UDC 004.8 16
УДК 004.62 16
УДК 004.424 15
УДК 004.7 15
дескриптивна логіка 15
логика 15
логіка 15

Implementation of rich web-applications based on taucode library за авторством Kovalenko, A.S., Kovalenko, K.S.

The algebro-logical approach to the analysis and processing of the text information за авторством Palagin, O.V., Kryvyi, S.L., Petrenko, M.G., Bibikov, D.S.

Fuzzy models of multiagent systems in distributed environment за авторством Parasyuk, I.N., Ershov, S.V.

Reputation-based secyrity for heterogtneous structurally complex systems за авторством Kussul, O.M.

Specification Based Program Construction and Verification in Composition-Nominative Language CNLS за авторством Bezverha, M.A., Protsyk, P.P.

Methods of automated algorithms schemes transformation за авторством Shkulipa, I.Yu., Pogorily, S.D.

Solving contest problems via formal program verification за авторством Shilov, N.V., Shilova, S.O.

Backward transformation of formulas in symbolic modeling: from the result to the source formula за авторством Godlevsky, A.B., Potienko, S.V.

Environmental aspects of reprezantation knowlend in algebra of algorithmic за авторством Zeitlin, G.E., Zakharija, L.M., Zakharija, O.V., Zhovnir, Y.I.

Query optimization from DL/1 (IMS) to sol за авторством Anisimov, A.V., Kulyabko, O.P., Kulyabko, P.P., Marchenko, O.O.

Formal-logical approach to building analysis systems of knowledge in different domains за авторством Palagin, O.V., Kryvyi, S.L., Bibikov, D.S., Velychko, V.Yu., Markov, K., Ivanova, K., Mitov, I.

Design of ontological system of terms and their cognitive models in scientific research за авторством Rogushina, J.V., Gladun, A.Y., Shtonda, V.N.

Object-oriented database neodatis: installing, programming of queries, comparison with the relational data base за авторством Buy, D.B., Kompan, S.V.

System of the automated carrying over of contents electronic documents in DB IS за авторством Blazhko, A.A., Marulin, S.Yu., Dunko, Yu.A.

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

The Models of DBMS benchmark за авторством Blazhko, A.A., Levchenko, A.Yu., Prigozhev, A.S.

Automated creation of rules fo data access control by resources using DBMS за авторством Blazhko, A.A., Saud, Ibaa

Financial and economic ontology of information storage за авторством Melashchenko, A.O., Perevozchikova, O.L., Strelnikova, Zh.A.

About bypassing of multivalued dependency in the relational data model за авторством Panchenko, B.E.

Recursive queries in SQL: samples, intensional and formal semantics за авторством Buy, D.B., Polyakov, S.A.

Результати пошуку - "PROBLEMS IN PROGRAMMING"

Implementation of rich web-applications based on taucode library за авторством Kovalenko, A.S., Kovalenko, K.S.

The algebro-logical approach to the analysis and processing of the text information за авторством Palagin, O.V., Kryvyi, S.L., Petrenko, M.G., Bibikov, D.S.

Fuzzy models of multiagent systems in distributed environment за авторством Parasyuk, I.N., Ershov, S.V.

Reputation-based secyrity for heterogtneous structurally complex systems за авторством Kussul, O.M.

Specification Based Program Construction and Verification in Composition-Nominative Language CNLS за авторством Bezverha, M.A., Protsyk, P.P.

Methods of automated algorithms schemes transformation за авторством Shkulipa, I.Yu., Pogorily, S.D.

Solving contest problems via formal program verification за авторством Shilov, N.V., Shilova, S.O.

Backward transformation of formulas in symbolic modeling: from the result to the source formula за авторством Godlevsky, A.B., Potienko, S.V.

Environmental aspects of reprezantation knowlend in algebra of algorithmic за авторством Zeitlin, G.E., Zakharija, L.M., Zakharija, O.V., Zhovnir, Y.I.

Query optimization from DL/1 (IMS) to sol за авторством Anisimov, A.V., Kulyabko, O.P., Kulyabko, P.P., Marchenko, O.O.

Formal-logical approach to building analysis systems of knowledge in different domains за авторством Palagin, O.V., Kryvyi, S.L., Bibikov, D.S., Velychko, V.Yu., Markov, K., Ivanova, K., Mitov, I.

Design of ontological system of terms and their cognitive models in scientific research за авторством Rogushina, J.V., Gladun, A.Y., Shtonda, V.N.

Object-oriented database neodatis: installing, programming of queries, comparison with the relational data base за авторством Buy, D.B., Kompan, S.V.

System of the automated carrying over of contents electronic documents in DB IS за авторством Blazhko, A.A., Marulin, S.Yu., Dunko, Yu.A.

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

The Models of DBMS benchmark за авторством Blazhko, A.A., Levchenko, A.Yu., Prigozhev, A.S.

Automated creation of rules fo data access control by resources using DBMS за авторством Blazhko, A.A., Saud, Ibaa

Financial and economic ontology of information storage за авторством Melashchenko, A.O., Perevozchikova, O.L., Strelnikova, Zh.A.

About bypassing of multivalued dependency in the relational data model за авторством Panchenko, B.E.

Recursive queries in SQL: samples, intensional and formal semantics за авторством Buy, D.B., Polyakov, S.A.

Інструменти для пошуку:

Уточнити результати

Репозитарії

Формат

Автор

Мова

Рік публікації