Миронов, Андрей Михайлович. - Математические модели и методы верификации процессов / А. М. Миронов ; Московский государственный университет имени М. В. Ломоносова, Механико-математический факультет, Кафедра математической теории интеллектуальных систем. - Москва : МАКС Пресс, 2022. - 105 с. : ил.; 21 см.; ISBN 978-5-317-06893-6 : 100 экз.

Экспресс-заказ фрагмента
Миронов, Андрей Михайлович.
Миронов, Андрей Михайлович.
Математические модели и методы верификации процессов / А. М. Миронов ; Московский государственный университет имени М. В. Ломоносова, Механико-математический факультет, Кафедра математической теории интеллектуальных систем. - Москва : МАКС Пресс, 2022. - 105 с. : ил.; 21 см.; ISBN 978-5-317-06893-6 : 100 экз.

Динамические системы дискретные - Математическое моделирование
Компьютеры персональные - Программы по математике - Верификация
Техника. Технические науки -- Энергетика. Радиоэлектроника -- Радиоэлектроника -- Вычислительная техника -- Вычислительные машины электронные цифровые -- Персональные компьютеры -- Компьютерные системы и сети -- Теория. Исследование -- Параллельная работа -- Математическое моделирование. Применение вычислительных машин
компьютерные системы
верификация процессов
Шифр хранения:
FB 1 22-38/501

Marc21

Скачать marc21-запись

Показать

Описание

Автор
ЗаглавиеМатематические модели и методы верификации процессов
Коллекции ЭК РГБ Каталог документов с 1831 по настоящее время
Коллекции ЭБ РГБ Коллекция не определена
Дата поступления в ЭК РГБ 13.01.2023
Дата поступления в ЭБ РГБ 12.03.2023
Каталоги Книги (изданные с 1831 г. по настоящее время)
Сведения об ответственностиА. М. Миронов ; Московский государственный университет имени М. В. Ломоносова, Механико-математический факультет, Кафедра математической теории интеллектуальных систем
Выходные данныеМосква : МАКС Пресс, 2022
Физическое описание105 с. : ил.; 21 см
ISBNISBN 978-5-317-06893-6 : 100 экз.
ТемаДинамические системы дискретные - Математическое моделирование
Компьютеры персональные - Программы по математике - Верификация
Техника. Технические науки -- Энергетика. Радиоэлектроника -- Радиоэлектроника -- Вычислительная техника -- Вычислительные машины электронные цифровые -- Персональные компьютеры -- Компьютерные системы и сети -- Теория. Исследование -- Параллельная работа -- Математическое моделирование. Применение вычислительных машин
Термины-указателикомпьютерные системы
верификация процессов
BBK-кодЗ973.260.2-016.3с116,0
ЯзыкРусский
Места храненияFB 1 22-38/501
Электронный адрес Электронный ресурс