Search Results - "UDC 681.3" :: Harvester open publications of NAS Ukraine

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

UDC 681.3 134
УДК 681.3 129
122
УДК 681.3.06 28
UDC 681.3.06 26
ontology 12
онтологія 11
UDC 681.3.062 5
semantic search 5
семантичний пошук 5
UDC 681.3:002.651.028(083.73) 4
УДК 681.3:002.651.028(083.73) 4
онтология 4
Semantic Web 3
УДК 681.3.062 3
машинне навчання 3
паралельні програми 3
семантический поиск 3
Wiki-ресурс 2
critical infrastructure 2
fuzzy event 2
fuzzy inference 2
information retrieval 2
machine learning 2
metadata 2
parallel computing 2
probability 2
semantic Wiki resources 2
semantic markup 2
semantic similarity 2

The approach of cluster system interfaces implementation by Marianovskyi, V.A., Dvortsov, O.V., Boyko, Y.V., Griaznov, D.B., Pogorily, S.D.

Approach to composition of Web-services on basis of specification of functional semantics by Deretsky, V.A.

Iinterdepartmental is informational - telecommunication systems, as result of implementation of target programs, directed on exchange by information resources between departments by Alekseev, V.A., Tereshchenko, V.S.

Towards a possible Background for Synthesis of Programs with Reassignment of the non-monotone deductive System by Prihodko, P.P.

Development of a spiral model of life cycle of the program systems by Alekseev, V.A., Tereshchenko, V.S.

Применение статистических моделей в инженерии качества процессов производства программных систем... by Matveeva, L.Е., Gorislavets, T.N.

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

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

Approaches to configuring reusable assets by Kolesnik, A.L.

Relations of logical consequence in composition nominative logics by Shkilnyak, S.S.

Variability assurance mechanisms in Software Product Line by Kolesnik, A.L.

The descriptive foundations of the ontological platform by Redko, V.N, Redko, I.V., Grishko, V.N.

Compositional-nominative modal logics of the functional-equational level by Shkilniak, O.S.

Multisets: a bibliographic overview, construction of a lattice of multisets by Bogatyreva, Yu.A.

The origin and interpretation of Kleene three-valued logics by Shishatska, O.V.

General theoretical-set constructions of complete image, restriction, compatibility: properties and applications by Buy, D.B., Kakhuta, N.D., Silveystruk, L.M.

Designing tools for network software products. Current state and perspective of development by Glybovets, M.M., Gorochovskiy, S.S.

Problem of reengineering of legacy-software systems by Pashkovets, N.D., Babak, O.V.

Engineering of software development processes quality by means of Petri Nets by Matveeva, L.E.

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

Search Results - "UDC 681.3"

The approach of cluster system interfaces implementation by Marianovskyi, V.A., Dvortsov, O.V., Boyko, Y.V., Griaznov, D.B., Pogorily, S.D.

Approach to composition of Web-services on basis of specification of functional semantics by Deretsky, V.A.

Iinterdepartmental is informational - telecommunication systems, as result of implementation of target programs, directed on exchange by information resources between departments by Alekseev, V.A., Tereshchenko, V.S.

Towards a possible Background for Synthesis of Programs with Reassignment of the non-monotone deductive System by Prihodko, P.P.

Development of a spiral model of life cycle of the program systems by Alekseev, V.A., Tereshchenko, V.S.

Применение статистических моделей в инженерии качества процессов производства программных систем... by Matveeva, L.Е., Gorislavets, T.N.

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

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

Approaches to configuring reusable assets by Kolesnik, A.L.

Relations of logical consequence in composition nominative logics by Shkilnyak, S.S.

Variability assurance mechanisms in Software Product Line by Kolesnik, A.L.

The descriptive foundations of the ontological platform by Redko, V.N, Redko, I.V., Grishko, V.N.

Compositional-nominative modal logics of the functional-equational level by Shkilniak, O.S.

Multisets: a bibliographic overview, construction of a lattice of multisets by Bogatyreva, Yu.A.

The origin and interpretation of Kleene three-valued logics by Shishatska, O.V.

General theoretical-set constructions of complete image, restriction, compatibility: properties and applications by Buy, D.B., Kakhuta, N.D., Silveystruk, L.M.

Designing tools for network software products. Current state and perspective of development by Glybovets, M.M., Gorochovskiy, S.S.

Problem of reengineering of legacy-software systems by Pashkovets, N.D., Babak, O.V.

Engineering of software development processes quality by means of Petri Nets by Matveeva, L.E.

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

Search Tools:

Refine Results

Institution

Format

Author

Language

Year of Publication