LEADER 02491naa a2200313 i 4500
001 vtls000378822
003 RU-ToGU
005 20240701155724.0
007 cr |
008 141018s2006 ru fs 100 0 rus d
035 |a to000378822 
039 9 |a 201410181447  |b 100  |c 201410181304  |d VLOAD  |c 201201241031  |d cat202  |c 201012122307  |d staff  |y 201001141724  |z Александр Эльверович Гилязов 
040 |a RU-ToGU  |b rus  |c RU-ToGU 
080 |a 681.324.7 
100 1 |a Андреева, Валентина Валерьевна  |9 81951 
245 1 0 |a Построение минимизированного проверяющего теста, обнаруживающего неисправности безызбыточной ДНФ  |c В. В. Андреева, А. Ю. Матросова 
504 |a Библиогр.: 5 назв. 
653 |a синтез тестов 
653 |a труды ученых ТГУ 
655 4 |a статьи в сборниках  |9 879352 
700 1 |a Матросова, Анжела Юрьевна  |9 65116 
710 2 |a Томский государственный университет  |b Факультет прикладной математики и кибернетики  |b Публикации студентов и аспирантов ФПМК  |9 107824 
710 2 |a Томский государственный университет  |b Факультет прикладной математики и кибернетики  |b Кафедра программирования  |9 83584 
773 0 |t Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)  |d Томск, 2006  |g С. 34-38  |k Вестник Томского государственного университета. Приложение ; № 18, Август 2006  |k Серия "Математика. Кибернетика. Информатика"  |w to000225122 
852 |a RU-ToGU 
856 7 |u http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000378822 
856 |y Перейти в каталог НБ ТГУ  |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=259707 
908 |a статья 
999 |c 259707  |d 259707