Просмотр собрания по группе - Авторы Bulycev Dmitrij Urevic

Перейти к: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
или введите несколько первых букв:  
Результаты 1 по 3 из 3
Предварительный просмотрДата выпускаНазваниеАвтор(ы)
2023The investigation of generative models in the problem of finding the optimal answer to specialized questions with application to StackOverflowОмельченко Максим Андреевич; Omelcenko Maksim Andreevic
2023Static type inference for Python in IDEМирошников Владислав Игоревич; Mirosnikov Vladislav Igorevic
2022Verification of model checking algorithm for concurrent programs in the Coq theorem proverГладштейн Владимир Петрович; Gladstejn Vladimir Petrovic