Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/42210
Название: | Encoding Java Bytecode to CIRCUIT-SAT to solve the problems of programs equivalence cheking |
Другие названия: | Кодирование Java Bytecode в CIRCUIT-SAT для решения задач проверки эквивалентности программ |
Авторы: | Отпущенников Илья Владимирович Otpusennikov Ila Vladimirovic Любаев Даниил Андреевич Lubaev Daniil Andreevic Авдюшенко Александр Юрьевич Avdusenko Aleksandr Urevic |
Дата публикации: | 2023 |
URI (Унифицированный идентификатор ресурса): | http://hdl.handle.net/11701/42210 |
Располагается в коллекциях: | BACHELOR STUDIES |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
st077391.pdf | Article | 387,06 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_Otzyv_N_ruk__D_Lubaev_.pdf | ReviewSV | 72,7 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_st077391_Lubaev_Daniil_Andreevic_(supervisor)(Ru).txt | ReviewSV | 7,82 kB | Text | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.