Program Verification: State of the Art, Problems, and Results. I von Kryvyi, S. L., Maksymets, O. M.

Volltext

Automating the Conversion of Colored Petri Nets with Qualitative Tokens Into Colored Petri Nets with Quantitative Tokens von Hlomozda, D. K., Glybovets, M. M., Maksymets, O. M.

Volltext

Program verification: state of the art, problems, and results. II von Kryvyi, S.L, Maksymets, O.M

Volltext

Program Verification: State of the Art, Problems, and Results. II^sup 1 von Kryvyi, S L, Maksymets, O M

Volltext

Program Verification: State of the Art, Problems, and Results. II1 von Kryvyi, S. L., Maksymets, O. M.

Volltext

Program Verification: State of the Art, Problems, and Results. II super(1) von Kryvyi, S L, Maksymets, OM

Volltext

Bacterial overgrowth syndrome and exocrine pancreatic insufficiency in chronic pancreatitis von Bondarenko, O., Maksymets, T., Sorochka, M.

Volltext

Risk factors for the development of cholelithiasis and chronic pancreatitis in obese people von Bondarenko, O., Maksymets, T., Sorochka, M.

Volltext

EFFECT OF ANTICOAGULANT TREATMENT OF DABIGATRAN AND WARFARIN ON HEMOSTASIS IN PATIENTS WITH LIVER CIRRHOSIS AND ATRIAL FIBRILATION von Baylo, A.E., Maksymets, T.O., Shypulіn, V.P., Chernyavskyi, V.V., Parunyan, L.M.

Volltext

HEMOSTATIC POTENTIAL ASSESSMENT OF PATIENTS WITH LIVER CIRRHOSIS AND ATRIAL FIBRILLATION BY LOW-FREQUENCY PIEZOELECTRIC THROMBOELASTOGRAPHY von Baylo, Alina E, Maksymets, Tetiana O, Shypulіn, Vadym P, Chernyavskyi, Volodymyr V, Parunian, Luiza M

Volltext