Zobrazeno 1 - 10
of 66
pro vyhledávání: '"S. Nikitchenko"'
Publikováno v:
Економіка АПК, Vol 30, Iss 4, Pp 25-35 (2023)
In the context of modern development of agricultural producers, assessing the level of their activity efficiency and searching for an appropriate strategy for further development is essential. The aim of the article was to formulate a concept of sust
Externí odkaz:
https://doaj.org/article/8b5a4f54c3c641ca96807bc748834263
Publikováno v:
Фінансово-кредитна діяльність: проблеми теорії та практики, Vol 3, Iss 38 (2021)
Abstract. The development of the world economy, despite the barriers, is quite dynamic. The drivers of growth and stabilization of national economies at present are not raw materials industries, nor even industrial enterprises, but companies that gen
Externí odkaz:
https://doaj.org/article/ec1953ee388a4fe3b7103ffcbf5aae0e
Autor:
Kostyantin S. Zhadko, Yuliia H. Horiashchenko, Nadiia Yu. Pikulina, Yuliia S. Nikitchenko, Dmytro M. Samoilenko
Publikováno v:
Revista de la Universidad del Zulia. 12:63-84
Professional economic education in Ukraine requires significant reforms because of thriving to integrate into the world economic space, which is impossible without the education of highly professional staff. The development of the entrepreneurial cli
Autor:
Oksana V. Spasichenko, Viktoriia Khrutba, Julia S. Nikitchenko, Vitalina Lukianova, Lesya І. Кriukovska
Publikováno v:
Екологічна безпека та природокористування; Том 38 № 2 (2021): Екологічна безпека та природокористування; 39-54
Environmental safety and natural resources; Vol. 38 No. 2 (2021): Environmental safety and natural resources; 39-54
Environmental safety and natural resources; Vol. 38 No. 2 (2021): Environmental safety and natural resources; 39-54
The purpose of this work is a quantitative assessment of the level of reduction of environmental risks of slag heaps of metallurgical enterprises with the use of metallurgical slag as an alternative road construction material.Methods. Quantitative an
Publikováno v:
Financial and credit activity problems of theory and practice. 3:390-396
The development of the world economy, despite the barriers, is quite dynamic. The drivers of growth and stabilization of national economies at present are not raw materials industries, nor even industrial enterprises, but companies that generate inno
Publikováno v:
Management of Development of Complex Systems. :42-48
A project approach is used to solve security issues. Realization of security projects is efficient in case of plenty stakeholders participating. Stakeholders may represent representatives of government, business and society. Formation of common value
Publikováno v:
PROBLEMS IN PROGRAMMING. :182-197
We study new classes of program-oriented logical formalisms – pure first-order logics of quasiary predicates with extended renominations and a composition of predicate complement. For these logics, various logical consequence relations are specifie
Publikováno v:
Artificial Intelligence. 24:34-48
A new class of program-oriented logical formalisms is investigated – renominative logics with extended renominations, equality predicates, and predicate complement composition. Composition algebras and languages of such logics are described; their
Publikováno v:
ACIT
The multiplicity of data structures used in programming complicates analysis and verification of software systems. Nominative data aim to serve as a unified model of different data structures. The main feature of such data is usage of complex names t
Publikováno v:
Information and Communication Technologies in Education, Research, and Industrial Applications ISBN: 9783030394585
ICTERI (Revised Selected Papers)
ICTERI (Revised Selected Papers)
The formalism of program logics is the main instrument for software verification. Such logics are based on formal program models and reflect main program properties. Among various program logics, Floyd-Hoare logic and its variants take a special plac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7e345b9fefc32b1e1f4d19fd1b1917c8
https://doi.org/10.1007/978-3-030-39459-2_4
https://doi.org/10.1007/978-3-030-39459-2_4