Архив открытого доступаСанкт-Петербургского государственного университета
Поиск
Добавить фильтры:
Используйте фильтры для уточнения результатов поиска.
Результаты 1-7 из 7.
- назад
- 1
- дальше
Найденные ресурсы:
| Предварительный просмотр | Дата выпуска | Название | Автор(ы) |
|---|---|---|---|
 | 2016 | Distributed system for automated testing of malware detection algorithms | Комаров Константин Михайлович; Komarov Konstantin |
| 2016 | Development of cloud service test library for databases | Шавкунова Дарья Дмитриевна; Shavkunova Daria | |
| 2017 | Automation of GUI testing in WMP project | Безгузиков Артемий Валерьевич; Bezguzikov Artemii | |
| 2017 | Development of testing system for Functional Programming course | Орбидан Егор Владимирович; Orbidan Egor | |
 | 2017 | Verification thread-safe data structures by controllable synchronisation points | Озерцов Александр Сергеевич; Ozertsov Alexander |
| 2017 | Multithreaded algorithm verification by controllable execution of lightweight threads | Булгаков Андрей Вадимович; Bulgakov Andrey | |
| 2019 | Flexible report generation system development for LLVM LNT | Милосердов Владимир Михайлович; Miloserdov Vladimir Mihajlovic |
Просмотр
Тема