Normal view
MARC view
Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата (Record no. 259668)
[ view plain ]
| 000 -Маркер записи | |
|---|---|
| Контрольное поле постоянной длины | 02402naa a2200313 i 4500 |
| 001 - Контрольный номер | |
| Контрольное поле | vtls000378804 |
| 005 - Дата корректировки | |
| Контрольное поле | 20230319181243.0 |
| 007 - Кодируемые данные (физ. описан.) | |
| Контрольное поле постоянной длины | cr | |
| 008 - Кодируемые данные | |
| Контрольное поле постоянной длины | 141018s2006 ru fs 100 0 rus d |
| 035 ## - Системный контрольный номер | |
| Системный контрольный номер | to000378804 |
| 040 ## - Источник каталогиз. | |
| Служба первич. каталог. | RU-ToGU |
| Код языка каталог. | rus |
| Служба, преобразующая запись | RU-ToGU |
| 080 ## - Индекс УДК | |
| Индекс УДК | 618.5:519.68 |
| 100 1# - Автор | |
| Автор | Коломеец, Антон Владимирович |
| 9 (RLIN) | 79068 |
| 245 10 - Заглавие | |
| Заглавие | Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата |
| Ответственность | А. В. Коломеец, С. А. Прокопенко |
| 504 ## - Библиография | |
| Библиография | Библиогр.: 5 назв. |
| 653 ## - Ключевые слова | |
| Ключевые слова | синтез тестов |
| 653 ## - Ключевые слова | |
| Ключевые слова | труды ученых ТГУ |
| 653 ## - Ключевые слова | |
| Ключевые слова | конечные автоматы |
| 655 #4 - Термин индексирования — жанр/форма | |
| Жанр/форма | статьи в сборниках |
| 9 (RLIN) | 879352 |
| 700 1# - Другие авторы | |
| Другие авторы | Прокопенко, Светлана Анатольевна |
| 9 (RLIN) | 69956 |
| 710 2# - Другие организации | |
| Организация/юрисдикция | Томский государственный университет |
| Другие уровни | Радиофизический факультет |
| -- | Научные подразделения РФФ |
| 9 (RLIN) | 107063 |
| 710 2# - Другие организации | |
| Организация/юрисдикция | Томский государственный университет |
| Другие уровни | Радиофизический факультет |
| -- | Кафедра информационных технологий в исследовании дискретных структур |
| 9 (RLIN) | 81023 |
| 773 0# - Источник информации | |
| Название источника | Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.) |
| Место и дата издания | Томск, 2006 |
| Прочая информация | С. 62-66 |
| Обл. серии из связ. един. | Вестник Томского государственного университета. Приложение ; № 18, Август 2006 |
| -- | Серия "Математика. Кибернетика. Информатика" |
| Контрольный № источника | to000225122 |
| 852 ## - Местонахождение единицы хранения | |
| Код организации-хранителя | RU-ToGU |
| 856 7# - Электронный адрес документа | |
| URL | <a href="http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000378804">http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000378804</a> |
| 908 ## - Параметр входа данных | |
| Параметр входа данных | статья |
| 999 ## - Системные контрольные номера (Koha) | |
| biblionumber (Koha) | 259668 |
No items available.