Search academic texts

Yevhen V. Ivanov. Generalized abstract rewriting theory : Доктор фізико-математичних наук : spec.. 01.05.01 - Теоретичні основи інформатики та кібернетики : presented. 2026-05-28; popup.evolution: e; Taras Shevchenko National University of Kyiv. – Київ, 0526U000115.

Head: Peschanenko Volodymyr S.. To fulfill the tasks of the perspective plan of the development of the scientific direction “Technical sciences” in Kherson State University” during 2021 – 2026. (popup.stage: Забезпечення розвитку наукового напряму "Технічні науки" Херсонським державним університетом у 2023 році). Kherson State University. № 0224U000698

Head: Peschanenko Volodymyr S.. To fulfill the tasks of the perspective plan of the development of the scientific direction “Technical sciences” in Kherson State University” during 2021 – 2026. Kherson State University. № 0123U104536

Head: Peschanenko Volodymyr S.. To fulfill the tasks of the perspective plan of the development of the scientific direction “Technical sciences” in Kherson State University” during 2021 – 2026. (popup.stage: ). Kherson State University. № 0223U002024

Head: Peschanenko Volodymyr S.. To fulfill the tasks of the perspective plan of the development of the scientific direction “Technical sciences” in Kherson State University” during 2021 – 2026. Kherson State University. № 0122U202111

Head: Peschanenko Volodymyr S.. To fulfill the tasks of the perspective plan of the development of the scientific direction “Technical sciences” in Kherson State University” during 2021 – 2026. (popup.stage: ). Kherson State University. № 0222U001283

Head: Peschanenko Volodymyr S.. To fulfill the tasks of the perspective plan of the development of the scientific direction “Technical sciences” in Kherson State University” during 2021 – 2026. Kherson State University. № 0122U000045

Shyshatska Olena V.. Formal database models and multi-valued logic : Кандидат фізико-математичних наук : spec.. 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем : presented. 2019-05-30; popup.evolution: .; Taras Shevchenko National University of Kyiv. – Київ, 0419U003029.

Fabunmi Sunmade K.. Formal Methods for Client-Server Systems in Compositional Languages for Parallel Programming : Кандидат фізико-математичних наук : spec.. 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем : presented. 2019-05-30; popup.evolution: .; Taras Shevchenko National University of Kyiv. – Київ, 0419U003028.

Peschanenko Volodymyr Serhiyovych. Methods of Implementation of Insertional Modeling Systems : д.ф.-м.н. : spec.. 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем : presented. 2015-11-13; popup.evolution: .; V.M.Glushkov Institute of Cybernetics of NASU. – , 0515U000890.