Результати пошуку - International Institute for Software Technology
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- 14
- ontology 8
- онтологія 8
- UDC 681.3 6
- УДК 681.3 6
- онтология 6
- UDC 004.94 5
- УДК 004.94 5
- інженерія програмного забезпечення 5
- 004.55 4
- software engineering 4
- УДК 004.853 4
- екосистема програмного забезпечення 4
- Semantic Web 3
- UDC 004.4 3
- UDC 004.415.2.045 (076.5) 3
- UDC 517.958:57 +519.711.3 + 612.51.001 3
- UDC 517.9:621.325.5:621.382.049.77 3
- UDC 519.85 3
- active 3
- arrays 3
- deductive 3
- distributed 3
- life cycle 3
- model 3
- moving objects 3
- multidimensional 3
- navigational 3
- network 3
- object-relational 3
-
41
Застосування ГІС-технологій для обліку плюсових дерев
Опубліковано 2023Отримати повний текст
Стаття -
42
-
43
Оцінка ефективності впровадження парогазових і ЦКШ-технологій на ТЕС України
Опубліковано 2018Отримати повний текст
Стаття -
44
-
45
-
46
Deductive verification of requirements for event-driven architecture
Опубліковано 2025Отримати повний текст
Стаття -
47
-
48
Management of the coordination process in sociotechnical system
Опубліковано 2021Отримати повний текст
Стаття -
49
-
50
-
51
Formal semantics and analysis of tokenomics properties
Опубліковано 2023Отримати повний текст
Стаття -
52
-
53
Predicting the Probability of Exceeding Critical System Thresholds
Опубліковано 2018Отримати повний текст
Стаття -
54
Use of methods of algebraic programming for the formal verification of legal acts
Опубліковано 2018Отримати повний текст
Стаття -
55
Reputation-based secyrity for heterogtneous structurally complex systems
Опубліковано 2015Отримати повний текст
Стаття -
56
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
Опубліковано 2025Отримати повний текст
Стаття -
57
Algebraic approach to the analysis of legal documents
Опубліковано 2023Отримати повний текст
Стаття -
58
Artificial intelligence in cloud-based mobile radar computing
Опубліковано 2023Отримати повний текст
Стаття -
59
-
60
Specialised computer simulator "SimEnPhysiol"
Опубліковано 2018Отримати повний текст
Стаття