Поиск :
Личный кабинет :
Электронный каталог: Прихожий А. А. - Частично определенные логические системы и алгоритмы
Прихожий А. А. - Частично определенные логические системы и алгоритмы
Нет экз.
Электронный ресурс
Автор: Прихожий А. А.
Частично определенные логические системы и алгоритмы
Издательство: БНТУ, 2013 г.
ISBN 978-985-550-179-5
Автор: Прихожий А. А.
Частично определенные логические системы и алгоритмы
Издательство: БНТУ, 2013 г.
ISBN 978-985-550-179-5
Электронный ресурс
Прихожий, А. А.
Частично определенные логические системы и алгоритмы [Электронный ресурс] . - Минск : БНТУ, 2013 . - 343 с. - Режим доступа : https://e.lanbook.com/book/174815, https://e.lanbook.com/img/cover/book/174815.jpg . - Книга из коллекции БНТУ - Информатика . - На рус. яз. - ISBN 978-985-550-179-5 .
Исследованы фундаментальные основы построения компьютерных программ и цифровых устройств в не полностью специфицированных областях. Предложена теория, являющаяся базисом для спецификации, моделирования, преобразования, синтеза, распараллеливания, верификации и оптимизации частично определенных логических систем и алгоритмов. Издание ориентировано на подготовку научных кадров, аспирантов, магистрантов и инженеров по соответствующим учебным и научным специальностям.
681.3
основной = ЭБС Лань
Прихожий, А. А.
Частично определенные логические системы и алгоритмы [Электронный ресурс] . - Минск : БНТУ, 2013 . - 343 с. - Режим доступа : https://e.lanbook.com/book/174815, https://e.lanbook.com/img/cover/book/174815.jpg . - Книга из коллекции БНТУ - Информатика . - На рус. яз. - ISBN 978-985-550-179-5 .
Исследованы фундаментальные основы построения компьютерных программ и цифровых устройств в не полностью специфицированных областях. Предложена теория, являющаяся базисом для спецификации, моделирования, преобразования, синтеза, распараллеливания, верификации и оптимизации частично определенных логических систем и алгоритмов. Издание ориентировано на подготовку научных кадров, аспирантов, магистрантов и инженеров по соответствующим учебным и научным специальностям.
681.3
основной = ЭБС Лань