|
|
|
|
| LEADER |
02336nab a2200349 c 4500 |
| 001 |
vtls000481003 |
| 003 |
RU-ToGU |
| 005 |
20240701155716.0 |
| 007 |
cr | |
| 008 |
170612|2014 ru s c rus d |
| 035 |
|
|
|a to000481003
|
| 039 |
|
9 |
|a 201706122235
|b 100
|c 201407010907
|d cat202
|c 201406301453
|d VLOAD
|y 201406301421
|z Александр Эльверович Гилязов
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|
| 245 |
1 |
0 |
|a Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом
|c А. Ю. Матросова, С. А. Останин, А. В. Бухаров, И. Е. Кириенко
|
| 504 |
|
|
|a Библиогр.: 6 назв.
|
| 653 |
|
|
|a ROBDD-графы
|
| 653 |
|
|
|a логические схемы
|
| 653 |
|
|
|a константные неисправности
|
| 653 |
|
|
|a проверяющие тесты
|
| 655 |
|
4 |
|a статьи в журналах
|9 879358
|
| 700 |
1 |
|
|a Останин, Сергей Александрович
|9 69282
|
| 700 |
1 |
|
|a Бухаров, Александр Вениаминович
|9 411325
|
| 700 |
1 |
|
|a Кириенко, Ирина Евгеньевна
|9 302622
|
| 700 |
1 |
|
|a Матросова, Анжела Юрьевна
|9 65116
|
| 710 |
2 |
|
|a Томский государственный университет
|b Факультет прикладной математики и кибернетики
|b Кафедра программирования
|9 83584
|
| 710 |
2 |
|
|a Томский государственный университет
|b Факультет прикладной математики и кибернетики
|b Публикации студентов и аспирантов ФПМК
|9 107824
|
| 773 |
0 |
|
|t Вестник Томского государственного университета. Управление, вычислительная техника и информатика
|d 2014
|g № 2. С. 82-89
|x 1998-8605
|w 0210-40860
|
| 852 |
4 |
|
|a RU-ToGU
|
| 856 |
7 |
|
|u http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000481003
|
| 856 |
|
|
|y Перейти в каталог НБ ТГУ
|u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=354677
|
| 908 |
|
|
|a статья
|
| 999 |
|
|
|c 354677
|d 354677
|
