On incompatibility of a nonlinear equations over set of natural numbers by Krivoi, S.L., Nevmerzhitskiy, A.V.

Get full text

Parallel Computations with Large-scale Air Pollution Models by Dimov, I., Farago, I., Zlatev, Z.

Get full text

Encryption system based on abelian groups and rings by Kryvyi, S.L.

Get full text

Model of the "department" ecosystem by Kryvyi, S.L., Grinenko, O.O.

Get full text

Development and substantiation of algorithms based on semantic properties by Kryvyi, S.L., Maksymets, O.M.

Get full text

Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras by Maksymets, O.M.

Get full text

Verification of programs: status, problems and experimental results. II by Maksymets, A.N.

Get full text

Verification of programs: status, problems and experimental results. I by Maksymets, A.N.

Get full text