Software engineering ontologies categorization by Sydorov, N.A., Sydorova, N.N., Mendzebrovsky, I.B.

Get full text

Deductive verification of requirements for event-driven architecture by Letichevsky, A.A., Letichevsky, O.O., Peschanenko, V.S., Guba, A.A.

Get full text

Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation by Goerigk, W., Langmaack, H.

Get full text

BBCH модель сезонного розвитку Cydonia oblonga Mill. в Україні by Ilyinska, Antonina, Klymenko, Svitlana

Get full text

REALISTIC CORRECT SYSTEMS IMPLEMENTATION by Goerigk, W.

Get full text

L2 -invariants and Morse - Smale flows on manifolds by Sharko, V. V., Шарко, В. В.

Get full text

Topological Spaces with Skorokhod Representation Property by Banakh, T. O., Bogachev, V. I., Kolesnikov, A. V., Банах, Т. О., Богачов, В. І., Колесніков, А. В.

Get full text

FRACTAL RADIOPHYSICS. Part 4. PRACTICAL APPLICATIONS by Lazorenko, O. V., Chernogor, L. F.

Get full text