LEADER 02189naa a2200313 i 4500
001 vtls000378797
003 RU-ToGU
005 20230319181234.0
007 cr |
008 141017s2006 ru fs 100 0 rus d
035 |a to000378797 
039 9 |a 201410200807  |c 201410171535  |d VLOAD  |c 201410171456  |d VLOAD  |c 201201241032  |d cat202  |y 201001141715  |z Александр Эльверович Гилязов 
040 |a RU-ToGU  |b rus  |c RU-ToGU 
080 |a 519.713.1 
080 |a 519.718.7 
100 1 |a Дорофеева, Маргарита Юрьевна.  |9 78055 
245 1 0 |a Адаптация H-метода для тестирования недетерминированных автоматов относительно редукции  |c М. Ю. Дорофеева 
504 |a Библиогр.: 5 назв. 
653 |a синтез тестов 
653 |a труды ученых ТГУ 
653 |a недетерминированные автоматы 
655 4 |a статьи в сборниках  |9 879352 
710 2 |a Томский государственный университет  |b Радиофизический факультет  |b Публикации студентов и аспирантов РФФ  |9 114451 
773 0 |t Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)  |d Томск, 2006  |g С. 49-53  |k Вестник Томского государственного университета. Приложение ; № 18, Август 2006  |k Серия "Математика. Кибернетика. Информатика"  |w to000225122 
852 |a RU-ToGU 
856 7 |u http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000378797 
856 |y Перейти в каталог НБ ТГУ  |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=259507 
908 |a статья 
999 |c 259507  |d 259507