Normal view
MARC view
Разработка методов синтеза проверяющих тестов для сетей из конечных автоматов Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01 Том. гос. ун-т
Material type: TextPublication details: Томск 2000Description: 23 сSubject(s): Управление в технических системах | авторефераты диссертацийItem type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
1 месяц | Научная библиотека ТГУ Книгохранилище | 1-871208 681 (Browse shelf(Opens below)) | 1 | Available | 13820000197408 | ||
Выдается в читальный зал | Научная библиотека ТГУ Книгохранилище | 1-871207к 681 (Browse shelf(Opens below)) | 2 | Available | 13820000197409 | ||
1 месяц | Научная библиотека ТГУ Книгохранилище | 1-872081 68 (Browse shelf(Opens below)) | 3 | Available | 13820000202734 |
Библиогр.: с. 22-23
There are no comments on this title.
Log in to your account to post a comment.