On incompatibility of a nonlinear equations over set of natural numbers за авторством Krivoi, S.L., Nevmerzhitskiy, A.V.

Отримати повний текст

Parallel Computations with Large-scale Air Pollution Models за авторством Dimov, I., Farago, I., Zlatev, Z.

Отримати повний текст

Encryption system based on abelian groups and rings за авторством Kryvyi, S.L.

Отримати повний текст

Model of the "department" ecosystem за авторством Kryvyi, S.L., Grinenko, O.O.

Отримати повний текст

Development and substantiation of algorithms based on semantic properties за авторством Kryvyi, S.L., Maksymets, O.M.

Отримати повний текст

Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras за авторством Maksymets, O.M.

Отримати повний текст

Verification of programs: status, problems and experimental results. II за авторством Maksymets, A.N.

Отримати повний текст

Verification of programs: status, problems and experimental results. I за авторством Maksymets, A.N.

Отримати повний текст