|
|
|
|
| LEADER |
02320nam a2200277 i 4500 |
| 001 |
LibTUSUR0000056092 |
| 008 |
121030s2012 ru_ l000 0yrus d |
| 020 |
|
|
|c р10.00
|
| 040 |
|
|
|a zaret
|
| 100 |
1 |
|
|a Жигулин, М. В.
|q Максим Владимирович
|4 aut
|
| 245 |
0 |
0 |
|a Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов:
|b автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01/
|c М. В. Жигулин ; науч. рук. Н. В. Евтушенко; Национальный исследовательский Томский государственный университет (Томск), Кафедра информационных технологий в исследовании дискретных структур
|
| 260 |
|
|
|a Томск:
|b Позитив-НБ
|c 2012
|
| 300 |
|
|
|a 19 с.
|
| 504 |
|
|
|a Библиогр.: с. 18-19
|
| 535 |
2 |
|
|a Библиотека ТУСУР
|d https://lib.tusur.ru
|
| 653 |
0 |
|
|a ДИСКРЕТНАЯ МАТЕМАТИКА
|
| 653 |
0 |
|
|a ТЕОРИЯ АВТОМАТОВ
|
| 653 |
0 |
|
|a ФОРМАЛЬНАЯ ЛОГИКА
|
| 653 |
0 |
|
|a КОМПЬЮТЕРНЫЕ ЭКСПЕРИМЕНТЫ
|
| 653 |
0 |
|
|a АВТОРЕФЕРАТЫ
|
| 852 |
|
|
|a Библиотека ТУСУР
|h А
|i Ж 688
|p 434912
|b счз1
|
| 080 |
|
|
|a 681.511.42(043.3)
|a 519.713(043.3)
|
| 700 |
1 |
|
|a Евтушенко, Н. В.
|q Нина Владимировна
|
| 710 |
2 |
1 |
|a Национальный исследовательский Томский государственный университет(Томск)
|b Кафедра информационных технологий в исследовании дискретных структур
|
| 856 |
4 |
|
|u https://viewer.rsl.ru/ru/rsl01005017056?page=1&rotate=0&theme=white
|
| 856 |
|
|
|y Перейти в каталог Библиотеки ТУСУР
|u https://lib.tusur.ru/irbis-new/i64r_15/cgiirbis_64.exe?Z21ID=&P21DBN=LIB&I21DBN=LIB&S21FMT=fullwebr&C21COM=S&2_S21P02=0&2_S21P03=I=&2_S21STR=А/Ж 688-972578
|
