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

Towards a possible Background for Synthesis of Programs with Reassignment of the non-monotone deductive System von Prihodko, P.P.

Volltext

Development of a spiral model of life cycle of the program systems von Alekseev, V.A., Tereshchenko, V.S.

Volltext

Применение статистических моделей в инженерии качества процессов производства программных систем... von Matveeva, L.Е., Gorislavets, T.N.

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

About relational-object mapping technique von Lihatsky, I.A.

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

About one technique for forming an object representation of relational data von Likhatsky, I.A.

Volltext

Тechnology of security confidential information from inside threats von Antoniuk, A.A., Portyanoy, V.S., Shylin, V.P.

Volltext

One of Approaches to maintenance inter-connection environments Visual Studio and Eclipse von Radetskyi, I.O.

Volltext

Approaches to configuring reusable assets von Kolesnik, A.L.

Volltext

Relations of logical consequence in composition nominative logics von Shkilnyak, S.S.

Volltext

Variability assurance mechanisms in Software Product Line von Kolesnik, A.L.

Volltext

НЕОТЕКТОНІКА, ГЕОДИНАМІКА ТА СЕЙСМІЧНІСТЬ ДОКЕМБРІЙСЬКИХ ЩИТІВ (НА ПРИКЛАДІ СХІДНОЇ ЧАСТИНИ УКРАЇНСЬКОГО ЩИТА)... von Pihulevskyi, P.

Volltext

PROCESS OF PLANETS’ MAGNETIC FIELDS FORMATION von Savich, E. V.

Volltext

Residual stresses accounting in titanium alloys surface strengthening von Павленко, В. Н.

Volltext

Визначення активності холінестерази з використанням 3,3′,5,5′-тетраметилбензидину як індикаторної сполуки... von Koval’ska, Olena V., Blazheyevskіy, Mykola Ye., Diadchenko, Vladislav V.

Volltext