Ж 688 Жигулин, Максим Владимирович. Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов [Текст] : автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01 / М. В. Жигулин ; науч. рук. Н. В. Евтушенко ; Национальный исследовательский Томский государственный университет (Томск), Кафедра информационных технологий в исследовании дискретных структур. - Томск : Позитив-НБ, 2012. - 19 с. - Библиогр.: с. 18-19 Коды, Ключ.слова, Доп.точки доступа ![]() Имеются экземпляры в отделах: счз1 (1 экз.) Свободны: счз1 (1) |
М 330 Матаев, Геннадий Георгиевич. Компьютерная лаборатория в вузе и школе : Учебное пособие для вузов / Г. Г. Матаев. - М. : Горячая линия-Телеком, 2004. - 440 с. : ил. - (Специальность для высших учебных заведений). - Библиогр. в конце глав. - ISBN 5-93517-093-0 : 200.86 р. Коды, Ключ.слова, Доп.точки доступа ![]() Имеются экземпляры в отделах: , аунл (28 экз.), счз1 Свободны: аунл (28) |