Параллельная технология решения SAT-задач и ее реализация в виде пакета прикладных программ автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
Material type: TextPublication details: Томск [б. и.] 2009Description: 19 с. илSubject(s): Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации)Genre/Form: авторефераты диссертаций Online resources: Click here to access online Предоставл. автором. Проверка на идентичность электронного и печатного изданий не проводиласьItem type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Выдается в читальный зал | Научная библиотека ТГУ Книгохранилище | 1-968260к (Browse shelf(Opens below)) | Available | 13820000661434 | ||
1 месяц | Научная библиотека ТГУ Книгохранилище | 1-968261 (Browse shelf(Opens below)) | Available | 13820000661435 |
Browsing Научная библиотека ТГУ shelves, Shelving location: Книгохранилище Close shelf browser (Hides shelf browser)
Библиогр.: с. 18-19
Предоставл. автором. Проверка на идентичность электронного и печатного изданий не проводилась
Системные требования: Adobe Acrobat Reader 5.0 или выше.
There are no comments on this title.