Normal view
MARC view
Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением (Record no. 255105)
[ view plain ]
| 000 -Маркер записи | |
|---|---|
| Контрольное поле постоянной длины | 02074nam a2200289 i 4500 |
| 001 - Контрольный номер | |
| Контрольное поле | vtls000375414 |
| 005 - Дата корректировки | |
| Контрольное поле | 20230118174204.0 |
| 007 - Кодируемые данные (физ. описан.) | |
| Контрольное поле постоянной длины | cr | |
| 008 - Кодируемые данные | |
| Контрольное поле постоянной длины | 120411s2009 ru a fsbm 000 0 rus d |
| 035 ## - Системный контрольный номер | |
| Системный контрольный номер | to000375414 |
| 040 ## - Источник каталогиз. | |
| Служба первич. каталог. | RU-ToGU |
| Код языка каталог. | rus |
| Служба, преобразующая запись | RU-ToGU |
| 072 #7 - Код предметной/темат. категории | |
| Код предметной/темат. категории | 05.13.01 |
| Источник кода | nsnr |
| 100 1# - Автор | |
| Автор | Громов, Максим Леонидович |
| 9 (RLIN) | 79018 |
| 245 10 - Заглавие | |
| Заглавие | Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением |
| Продолж. заглавия | автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01 |
| 260 ## - Выходные данные | |
| Место издания | Томск |
| Издательство | [б. и.] |
| Дата издания | 2009 |
| 300 ## - Физическое описание | |
| Объем | 18 с. |
| Иллюстрации/тип воспроизводства | ил. |
| 504 ## - Библиография | |
| Библиография | Библиогр.: с. 18 |
| 530 ## - Примечание о допольнительных формах | |
| Источник доступа | Предоставл. автором. Проверка на идентичность электронного и печатного изданий не проводилась |
| 538 ## - Примечание о системных особенностях | |
| Примечание о системных особенностях | Системные требования: Adobe Acrobat Reader 5.0 или выше. |
| 650 #7 - Тематические рубрики | |
| Основная рубрика | Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации) |
| Источник рубрики | nsnr |
| 9 (RLIN) | 114005 |
| 655 #4 - Термин индексирования — жанр/форма | |
| Жанр/форма | авторефераты диссертаций |
| 9 (RLIN) | 681163 |
| 710 2# - Другие организации | |
| Организация/юрисдикция | Томский государственный университет |
| Другие уровни | Радиофизический факультет |
| -- | Кафедра информационных технологий в исследовании дискретных структур |
| 9 (RLIN) | 81023 |
| 852 4# - Местонахождение единицы хранения | |
| Код организации-хранителя | RU-ToGU |
| Код страны | ru |
| 856 7# - Электронный адрес документа | |
| URL | <a href="http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000375414">http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000375414</a> |
| 999 ## - Системные контрольные номера (Koha) | |
| biblionumber (Koha) | 255105 |
| Не выдается | Отсутствует на месте | Поврежден | Исходное место хранения | Местоположение | Дата поступления | Цена | Всего выдач | Расстановочный шифр | Штрих-код | Класс экземпляра |
|---|---|---|---|---|---|---|---|---|---|---|
| Научная библиотека ТГУ | Книгохранилище | 04/04/2021 | 80.00 | 1-950926к | 13820000703268 | Выдается в читальный зал | ||||
| Научная библиотека ТГУ | Книгохранилище | 04/04/2021 | 80.00 | 1-950927 | 13820000703267 | 1 месяц |