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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext