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

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

156
УДК 539.3 135
UDC 681.3 134
УДК 681.3 131
621.3 85
UDC 539.3 70
Материалы III научных чтений 64
910.4 36
2 35
УДК 681.3.06 30
621.3.022 29
UDC 681.3.06 26
3D printing 25
3D-друк 24
537.311 23
синтез 23
539.3 22
621.3.01 22
history 22
3-й Международный семинар по физике низких температур в условиях микрогравитации 21
MS3: Physics of Stars and Galaxies 21
synthesis 21
1 19
537.311.8 18
537.8 18
magnetic field 16
ontology 15
адитивне виробництво 14
онтологія 14
UDC 54.057 13

Approaches to configuring reusable assets за авторством Kolesnik, A.L.

Relations of logical consequence in composition nominative logics за авторством Shkilnyak, S.S.

Variability assurance mechanisms in Software Product Line за авторством Kolesnik, A.L.

The descriptive foundations of the ontological platform за авторством Redko, V.N, Redko, I.V., Grishko, V.N.

Compositional-nominative modal logics of the functional-equational level за авторством Shkilniak, O.S.

Multisets: a bibliographic overview, construction of a lattice of multisets за авторством Bogatyreva, Yu.A.

The origin and interpretation of Kleene three-valued logics за авторством Shishatska, O.V.

General theoretical-set constructions of complete image, restriction, compatibility: properties and applications за авторством Buy, D.B., Kakhuta, N.D., Silveystruk, L.M.

Designing tools for network software products. Current state and perspective of development за авторством Glybovets, M.M., Gorochovskiy, S.S.

Problem of reengineering of legacy-software systems за авторством Pashkovets, N.D., Babak, O.V.

Engineering of software development processes quality by means of Petri Nets за авторством Matveeva, L.E.

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.

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

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.

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.

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

Результати пошуку - "3"

Approaches to configuring reusable assets за авторством Kolesnik, A.L.

Relations of logical consequence in composition nominative logics за авторством Shkilnyak, S.S.

Variability assurance mechanisms in Software Product Line за авторством Kolesnik, A.L.

The descriptive foundations of the ontological platform за авторством Redko, V.N, Redko, I.V., Grishko, V.N.

Compositional-nominative modal logics of the functional-equational level за авторством Shkilniak, O.S.

Multisets: a bibliographic overview, construction of a lattice of multisets за авторством Bogatyreva, Yu.A.

The origin and interpretation of Kleene three-valued logics за авторством Shishatska, O.V.

General theoretical-set constructions of complete image, restriction, compatibility: properties and applications за авторством Buy, D.B., Kakhuta, N.D., Silveystruk, L.M.

Designing tools for network software products. Current state and perspective of development за авторством Glybovets, M.M., Gorochovskiy, S.S.

Problem of reengineering of legacy-software systems за авторством Pashkovets, N.D., Babak, O.V.

Engineering of software development processes quality by means of Petri Nets за авторством Matveeva, L.E.

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.

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

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.

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.

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

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

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

Репозитарії

Формат

Автор

Мова

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