Insertion modeling in distributed system design за авторством Letichevsky, A.A., Kapitonova, J.V., Letichevsky Jr, A.A., Kotlyarov, V.P., Nikitchenko, N.S., Volkov, V.A., Weigert, T.

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

Свойства предикатного трансформера системы VRS за авторством Летичевский, А.А., Годлевский, А.Б., Летичевский, А.А. (мл.), Потиенко, С.В., Песчаненко, В.С.

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

Satisfiability For Symbolic Verification in VRS за авторством Letichevsky, A., Letichevskyi, A., Weigert, T., Peschanenko, V.

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

PROPERTY STUDY OF OJ 287 AND BL LAC VARIABILITY IN OPTICALAND RADIO RANGES за авторством Sukharev, A. L., Ryabov, M. I., Bezrukovs, V. V.

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

60 Years of Databases (part three) за авторством Reznichenko, V.A.

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

60 лет базам данных за авторством Резниченко, В.А.

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