Multi-threaded computer calculations in the considered nonlinear dynamic systems за авторством Lazarenko, S.V., Makarenko, О.S.

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

Deductive verification of requirements for event-driven architecture за авторством Letichevsky, A.A., Letichevsky, O.O., Peschanenko, V.S., Guba, A.A.

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

From temporal data to dynamic causal models за авторством Balabanov, O.S.

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

Research on methods of building an interactive map in a web application за авторством Katerynych, L.O., Sazonov, N.V.

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

Algebraic patterns of binary code vulnerabilities за авторством Yakovlev, V.M.

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