Поиск :
Личный кабинет :
Электронный каталог: Knigob Matieres
Печать
/Упрощенная форма/Экспорт (Excel)
Дисциплина: Формальные системы
| № | Дисциплина | Кафедра | Цикл | Студ. осен. | Студ. весн. | Курс | Сем. | ||||||
| 1 | Формальные системы | Кафедра Автоматизированных систем управления | Формальные системы : | 0 | 57 | 2 | 4 | ||||||
| № | Учебная литература | Гриф | Год | Экз. | Осенний сем. | Весенний сем. | ∑ КО | ||||||
| Дисц. | Студ. | КО | Дисц. | Студ. | КО | ||||||||
| 1 | Зайцева, Е. В. Формальные системы (N 3355) : практикум / Е. В. Зайцева ; НИТУ МИСиС, Ин-т информационных технологий и автоматизированных систем управления, Каф. автоматизированных систем управления. — М. : [МИСиС], 2019. — 35с. + Библиогр.: с. 35. — Режим доступа : http://lib.msk.misis.ru/elib/view.php?id_abs=987748554. — Пособие МИСиС. | 2: УМО и НМС | 2019 | 0 | 0 | 0 | --- | 1 | 57 | 1.00 | 1.00 | ||
| 2 | Зайцева, Е. В. Формальные системы (N 3786) : учеб. пособие / Е. В. Зайцева ; НИТУ МИСиС, Ин-т информационных технологий и автоматизированных систем управления, Каф. автоматизированных систем управления. — М. : [МИСиС], 2019. — 69с. + Библиогр.: с. 69. — Режим доступа : http://lib.msk.misis.ru/elib/view.php?id_abs=987749982. — Пособие МИСиС. — ISBN 978-5-907226-02-9. | 2: УМО и НМС | 2019 | 0 | 0 | 0 | --- | 1 | 57 | 1.00 | 1.00 | ||
| Итого по дисциплине : Формальные системы | 0 | --- | 1.00 | 1.00 | |||||||||