Просмотр собрания по группе - Авторы Bulycev Dmitrij Urevic
Результаты 1 по 3 из 3
Предварительный просмотр | Дата выпуска | Название | Автор(ы) |
---|---|---|---|
2023 | The investigation of generative models in the problem of finding the optimal answer to specialized questions with application to StackOverflow | Омельченко Максим Андреевич; Omelcenko Maksim Andreevic | |
2023 | Static type inference for Python in IDE | Мирошников Владислав Игоревич; Mirosnikov Vladislav Igorevic | |
2022 | Verification of model checking algorithm for concurrent programs in the Coq theorem prover | Гладштейн Владимир Петрович; Gladstejn Vladimir Petrovic |