Нурутдинов, Шамиль Рамилович. Основы теории полиномиальных моделей автоматных преобразований над полем Галуа [] / Ш. Р. Нурутдинов ; Казан. гос. ун-т. - Казань : КГУ, 2005. - 156 с. : ил. ; 20 см. - Библиогр.: с. 145-153. - ISBN 5-98180-219-7 : Б. ц. р.
Мозговой, Максим Владимирович. Классика программирования: алгоритмы, языки, автоматы, компиляторы. Практический подход / Мозговой М. В. - СПб. : Наука и техника, 2006. - 320 с. : ил. ; 24 см. - (Секреты мастерства). - ISBN 5-94387-224-8 : Б. ц. р., 190.80 р.
Шидловский, Станислав Викторович. Автоматическое управление. Перестраиваемые структуры / С. В. Шидловский. - Томск : Том. гос. ун-т, 2006. - 284, [2] с. : ил. - Библиогр. в конце гл. - ISBN 5-94621-186-2 : Б. ц. р., 100.00 р.
Шидловский, Станислав Викторович. Автоматическое управление. Перестраиваемые структуры в системах с распределенными параметрами / С. В. Шидловский. - Томск : Том. гос. ун-т, 2007. - 171 с., [9] л. ил. : ил. ; 21 см. - Библиогр. в конце гл. - ISBN 978-5-94621-211-3 : 100.00 р.
Сапожников, Валерий Владимирович. Синтез синхронных автоматов по заданной временной вход-выходной последовательности : учеб. пособие по курсу "Теория дискрет. устройств" / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов ; Федер. агентство ж.-д. трансп., Петерб. гос. ун-т путей сообщ. - СПб. : ПГУПС, 2010. - 28 с. : ил. ; 20 см. - Библиогр.: с. 27. - 50.00 р.
Дод.точки доступу: Сапожников, Владимир Владимирович; Ефанов, Дмитрий Викторович
Примірників всього: 1 ХР (1) Свободны: ХР (1)
W 162-4/169
Верификация автоматных программ / С. Э. Вельдер, М. А. Лукин, А. А. Шалыто, Б. Р. Яминов ; М-во образования и науки Рос. Федерации, С.-Петерб. гос. ун-т информ. технологий, механики и оптики. - СПб. : Наука : С.-Петерб. изд. фирма, 2011. - 242, [1] с. : ил. ; 23 см. - Библиогр.: с. 231-239. - Алф. указ.: с. 240-242. - ISBN 978-5-02-038160-5 : 230.00 р.
Дод.точки доступу: Вельдер, Сергей Эдуардович; Лукин, Михаил Андреевич; Шалыто, Анатолий Абрамович; Яминов, Булат Равилевич
Примірників всього: 1 ХР (1) Свободны: ХР (1)
W 168-10/118
Мосягина, Елизавета Николаевна. Оптимальное управление периодически-нестационарными автоматными моделями в нечетких условиях / Е. Н. Мосягина, М. К. Чирков ; С.-Петерб. гос. ун-т. - СПб. : Изд-во С.-Петерб. гос. ун-та, cop. 2014. - 143 с. - (Автоматное моделирование). - Библиогр.: с. 136-140. - ISBN 978-5-288-05598-0 : 130.00 р.
Дод.точки доступу: Чирков, Михаил Константинович
Примірників всього: 1 ХР (II) (1) Свободны: ХР (II) (1)
W 171-3/52
Кузнецов, Олег Петрович. Избранные труды. Автоматы, языки и искусственный интеллект / О. П. Кузнецов. - М. : [б. в.], 2016. - 459, [4] с. : ил. - Библиогр. в конце ст. - Предм. указ.: с. 458-459. - ISBN 978-5-93273-428-5 : 380.00 р.
Примірників всього: 1 ХР (II) (1) Свободны: ХР (II) (1)
W 172-1/21
Акинина, Юлия Сергеевна. Реализация синхронного автомата на интегральных микросхемах : [учеб. пособие] / Ю. С. Акинина, С. В. Тюрин ; Воронеж. гос. техн. ун-т. - Воронеж : Воронеж. гос. техн. ун-т, 2016. - 86 с. : ил. - Библиогр.: с. 83. - 80.00 р.