Search Results - PROBLEMS IN PROGRAMMING :: Harvester open publications of NAS Ukraine

Suggested Topics within your search. Suggested Topics within your search.

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

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

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

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

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

Algebra of algorithms with the data and forecasting of computing process by Doroshenko, A.Yu., Akulovskiy, V.G.

Model program, systems and operational environments by Lavrischeva, K.M.

Optimization of parallel perceptron for central processing units by Doroshenko, A.Yu., Kosan, O.S.

Ontological design of subject domain with problems of e-Science by Zinkovich, V.M.

Control models of data flows in Internet under instability by Ignatenko, O.P.

Infrastructure FOR XML-models transformation by Glybovets, M.M., Fedorchenko, V.M.

Technology system integration of hardware and software data protection by Alishоv, N.I., Marchenko, V.A., Mishchenko, A.N.

The problems of massive construction of the integrated information security system (IISS) and a ways of their solution by Koltyk, M.A.

Applicability of qualified public key infrastructure in Ukraine by Melashchenko, A.O.

About development of an ontological toolkit by Palagin, A.V., Petrenko, N.G., Velichko, V.Yu., Malakhov, K.C., Tikhonov, Yu.L.

Approach to building factories of student programs by Aronov, A.A., Dzyubenko, A.I.

The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data by Doroshenko, A.Yu., Akulovskiy, V.G.

Constraint programming in insertion modeling system by Letichevsky, O.A., Letychevskyi, O.O., Peschanenko, V.S., Blynov, I.O., Klionov, D.M.

About one Approach for the Verification of Algebraic Computations by Lvov, M.S.

Special relations of logical consequence in logics of quasi-ary predicates by Shkilniak, S.S.

One approach for advanced internet-programs creation on example of widget-programs developing by Glybovets, M.M., Koval, I.V., Koren, O.M.

Search Results - PROBLEMS IN PROGRAMMING

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

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

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

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

Algebra of algorithms with the data and forecasting of computing process by Doroshenko, A.Yu., Akulovskiy, V.G.

Model program, systems and operational environments by Lavrischeva, K.M.

Optimization of parallel perceptron for central processing units by Doroshenko, A.Yu., Kosan, O.S.

Ontological design of subject domain with problems of e-Science by Zinkovich, V.M.

Control models of data flows in Internet under instability by Ignatenko, O.P.

Infrastructure FOR XML-models transformation by Glybovets, M.M., Fedorchenko, V.M.

Technology system integration of hardware and software data protection by Alishоv, N.I., Marchenko, V.A., Mishchenko, A.N.

The problems of massive construction of the integrated information security system (IISS) and a ways of their solution by Koltyk, M.A.

Applicability of qualified public key infrastructure in Ukraine by Melashchenko, A.O.

About development of an ontological toolkit by Palagin, A.V., Petrenko, N.G., Velichko, V.Yu., Malakhov, K.C., Tikhonov, Yu.L.

Approach to building factories of student programs by Aronov, A.A., Dzyubenko, A.I.

The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data by Doroshenko, A.Yu., Akulovskiy, V.G.

Constraint programming in insertion modeling system by Letichevsky, O.A., Letychevskyi, O.O., Peschanenko, V.S., Blynov, I.O., Klionov, D.M.

About one Approach for the Verification of Algebraic Computations by Lvov, M.S.

Special relations of logical consequence in logics of quasi-ary predicates by Shkilniak, S.S.

One approach for advanced internet-programs creation on example of widget-programs developing by Glybovets, M.M., Koval, I.V., Koren, O.M.

Search Tools:

Refine Results

Institution

Format

Author

Language

Year of Publication