Изланувчи

Мухамадиев Санжар Исоевич

Muxamadiev Sanjar Isoevich

1 та рўйхатга олинган мавзу

Бу саҳифада битта изланувчининг рўйхатга олинган мавзулари кўрсатилган, талабалар эмас: 1 та рўйхатга олиш, 1 та алоҳида иш.

Рўйхатга олинган мавзу — диссертация ҳимоя қилингани ёки илмий даража берилгани дегани эмас. Манба: ОАК Бюллетени 2016/1–2026/1, 40 та PDF, 2026-08-12 да чиқарилган. Бу ОАК нинг расмий реестри эмас.

Рўйхатга олинган мавзу

  1. Мантиқий-функционал жараёнларни лойиҳалаш ва верификация моделлари, алгоритмлари

    2024-йилдан бери·Hisoblash mashinalari, majmualari va kompyuter tarmoqlarining matematik va dasturiy ta'minoti · uz·Тошкент ахборот технологиялари университети

    Илмий раҳбар: Мўминов Баҳодир Болтаевич

    Манба: 2024/1, 179-бет · B2024.1.PhD/T4412 · Тузатиш юбориш