Стоян, Андрей Сергеевич. — Разработка метода декларативного задания распределённых вычислений, основанного на аннотировании операций контрактами: выпускная квалификационная работа бакалавра: направление 01.03.02 «Прикладная математика и информатика» ; образовательная программа 01.03.02_04 «Биоинформатика» = Contract-based approach to dataflows specification / А. С. Стоян; Санкт-Петербургский политехнический университет Петра Великого, Институт прикладной математики и механики; научный руководитель К. Н. Козлов; консультант по нормоконтролю Л. А. Арефьева; консультант А. В. Константинов. — Санкт-Петербург, 2021. — 1 файл (1,2 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2021/vr/vr21-785.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-785-o.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-785-a.pdf>. — DOI 10.18720/SPBPU/3/2021/vr/vr21-785. — Текст
| Period | Read | Copy | Open | Total | |
|---|---|---|---|---|---|
| Yesterday | 0 | 0 | 0 | 0 | 0 |
| Last 30 days | 0 | 0 | 0 | 0 | 0 |
| Last 365 days | 3 | 0 | 0 | 0 | 3 |
| All time | 9 | 0 | 0 | 0 | 9 |