Normal view
MARC view
Построение проверяющих тестов в процессе декомпозиционного синтеза управляющих автоматов (Record no. 322643)
[ view plain ]
000 -Маркер записи | |
---|---|
Контрольное поле постоянной длины | 02065nam a2200385 i 4500 |
001 - Контрольный номер | |
Контрольное поле | vtls000435452 |
005 - Дата корректировки | |
Контрольное поле | 20210922055255.0 |
008 - Кодируемые данные | |
Контрольное поле постоянной длины | 121022s1991 ru a f bm 000 0 rus d |
035 ## - Системный контрольный номер | |
Системный контрольный номер | to000435452 |
040 ## - Источник каталогиз. | |
Служба первич. каталог. | RU-ToGU |
Код языка каталог. | rus |
Служба, преобразующая запись | RU-ToGU |
072 #7 - Код предметной/темат. категории | |
Код предметной/темат. категории | 05.13.01 |
Источник кода | nsnr |
080 ## - Индекс УДК | |
Индекс УДК | 519.713:519.718.7(043.3) |
080 ## - Индекс УДК | |
Индекс УДК | 681.511.22.013(043.3) |
100 1# - Автор | |
Автор | Каширова, Лилия Федоровна |
9 (RLIN) | 388686 |
245 10 - Заглавие | |
Заглавие | Построение проверяющих тестов в процессе декомпозиционного синтеза управляющих автоматов |
Продолж. заглавия | диссертация на соискание ученой степени кандидата технических наук : 05.13.01 |
Ответственность | Каширова Лилия Федоровна ; науч. рук. А. Э. Кеэваллик ; Таллинский техн. ун-т |
260 ## - Выходные данные | |
Место издания | Таллин |
Издательство | [б. и.] |
Дата издания | 1991 |
300 ## - Физическое описание | |
Объем | 182 л. |
504 ## - Библиография | |
Библиография | Библиогр.: л. 169 -177 |
650 #7 - Тематические рубрики | |
Основная рубрика | Управление в технических системах |
Источник рубрики | nsnr |
9 (RLIN) | 57411 |
653 ## - Ключевые слова | |
Ключевые слова | диссертации |
653 ## - Ключевые слова | |
Ключевые слова | автоматы управляющие |
653 ## - Ключевые слова | |
Ключевые слова | синтез автоматов декомпозиционный |
653 ## - Ключевые слова | |
Ключевые слова | тесты проверяющие |
653 ## - Ключевые слова | |
Ключевые слова | автоматы управляющие дискретные |
653 ## - Ключевые слова | |
Ключевые слова | автоматные сети |
653 ## - Ключевые слова | |
Ключевые слова | программируемые логические устройства |
653 ## - Ключевые слова | |
Ключевые слова | автоматы асинхронные контролируемые |
653 ## - Ключевые слова | |
Ключевые слова | дискретные управляющие системы |
653 ## - Ключевые слова | |
Ключевые слова | конечные автоматы |
653 ## - Ключевые слова | |
Ключевые слова | автоматы микропрограммные |
700 1# - Другие авторы | |
Другие авторы | Кеэваллик, А. Э. |
Код отношения | ths |
9 (RLIN) | 388687 |
852 4# - Местонахождение единицы хранения | |
Код организации-хранителя | RU-ToGU |
Код страны | ru |
999 ## - Системные контрольные номера (Koha) | |
biblionumber (Koha) | 322643 |
Не выдается | Отсутствует на месте | Поврежден | Исходное место хранения | Местоположение | Дата поступления | Всего выдач | Расстановочный шифр | Штрих-код | Класс экземпляра |
---|---|---|---|---|---|---|---|---|---|
Научная библиотека ТГУ | Книгохранилище | 04/04/2021 | 1-699689к | 13820000820140 | Выдается в читальный зал |