|
|
|
|
| LEADER |
01689naa a2200301 c 4500 |
| 001 |
koha001151894 |
| 005 |
20250217150530.0 |
| 007 |
cr | |
| 008 |
250213s2024 ru fs 100 0 rus d |
| 035 |
|
|
|a koha001151894
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|
| 100 |
1 |
|
|a Сафонов, Данил Дмитриевич
|9 856184
|
| 245 |
1 |
0 |
|a Поиск утечек памяти в динамических структурах списочного типа путем применения 2SAT-задачи
|c Д. Д. Сафонов, В. В. Андреева
|
| 336 |
|
|
|a Текст
|
| 337 |
|
|
|a электронный
|
| 504 |
|
|
|a Библиогр.: 12 назв.
|
| 653 |
|
|
|a поиск утечек памяти
|
| 653 |
|
|
|a SAT-решатели
|
| 653 |
|
|
|a динамические структуры списочного типа
|
| 655 |
|
4 |
|a статьи в сборниках
|
| 700 |
1 |
|
|a Андреева, Валентина Валерьевна
|9 81951
|
| 773 |
0 |
|
|t Материалы XI-й Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-27 мая 2024 г.
|d Томск, 2024
|g С. 154-171
|z 9785907890152
|w koha001149216
|
| 852 |
4 |
|
|a RU-ToGU
|
| 856 |
4 |
|
|u https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001151894
|
| 856 |
|
|
|y Перейти в каталог НБ ТГУ
|u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=1151894
|
| 908 |
|
|
|a статья
|
| 039 |
|
|
|b 100
|
| 999 |
|
|
|c 1151894
|d 1151894
|
