Новиков, Дмитрий Яковлевич (род. 1983). Верификация логических описаний комбинационных устройств при наличии функциональной неопределенности [Text] : автореферат диссертации на соискание ученой степени кандидата технических наук / Новиков Дмитрий Яковлевич ; ГНУ "Объединенный ин-т проблем информатики Нац. акад. наук Беларуси". - Минск : [s. n.], 2011. - 22 с. - ^aБиблиогр.: с. 17-19 (25 назв.). - Б. ц.
ЛОГИЧЕСКОЕ МОДЕЛИРОВАНИЕ ЛОГИЧЕСКИЕ ФУНКЦИИ КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ СХЕМЫ ВЕРИФИКАЦИЯ АВТОРЕФЕРАТЫ Свободных экз. нет |
Медоуз, Донелла Хагер ( —2001). Электронный оракул. Компьютерные модели и решение социальных проблем [Text] : перевод с английского / Д. Х. Медоуз, Дж. М. Робинсон. - Москва : БИНОМ. Лаборатория знаний, [2015]. - 527 с. : ил., табл. - ^aБиблиография в конце глав. - ^aАлфавитный указатель: с. 516?522. - ISBN 978-5-9963-1138-5 (в переплете) : Б. ц. ; Фактическая дата выхода в свет ? 2014
ЛОГИЧЕСКОЕ МОДЕЛИРОВАНИЕ СИСТЕМНОЕ МОДЕЛИРОВАНИЕ ИМИТАЦИОННОЕ МОДЕЛИРОВАНИЕ ИНФОРМАЦИОННЫЕ МОДЕЛИ ПРИКЛАДНОЙ АСПЕКТ СОЦИАЛЬНО-ЭКОНОМИЧЕСКИЕ МОДЕЛИ СЛОЖНЫЕ СИСТЕМЫ ОПТИМИЗАЦИОННЫЕ МОДЕЛИ МЕТОДОЛОГИЯ Доп.точки доступа: Робинсон, Дженнифер М. Свободных экз. нет |
Рыбаков, Сергей Александрович (радиотехника). Информационные технологии в проектировании радиоэлектронных средств [Text] : учебно-методическое пособие для специальностей 1-39 01 01 "Радиотехника (по направлениям) и 1-39 01 03 "Радиоинформатика" / С. А. Рыбаков, Н. И. Шатило ; Министерство образования Республики Беларусь, Учреждение образования "Белорусский государственный университет информатики и радиоэлектроники", Факультет радиотехники и электроники, Кафедра информационных радиотехнологий. - Минск : БГУИР, 2015. - 149, [1] с. : ил., табл., схемы. - ^aБиблиография: с. 148 (7 назв.). - ISBN 978-985-543-116-0 : Б. ц.
РАДИОЭЛЕКТРОННЫЕ ПРИБОРЫ АВТОМАТИЗИРОВАННОЕ ПРОЕКТИРОВАНИЕ САПР СТРУКТУРНОЕ МОДЕЛИРОВАНИЕ ФУНКЦИОНАЛЬНОЕ МОДЕЛИРОВАНИЕ ЛОГИЧЕСКОЕ МОДЕЛИРОВАНИЕ СХЕМОТЕХНИЧЕСКОЕ МОДЕЛИРОВАНИЕ Доп.точки доступа: Шатило, Николай Иванович (кандидат технических наук) Свободных экз. нет |
Вишняков, Владимир Анатольевич (доктор технических наук ; род. 1950). Информационная безопасность в корпоративных системах, электронной коммерции и облачных вычислениях: методы, модели, программно-аппаратные решения [Text] : монография / В. А. Вишняков ; Министерство связи и информатизации Республики Беларусь, Учреждение образования "Белорусская государственная академия связи". - Минск : Белорусская государственная академия связи, 2016. - 274, [1] с. : ил., табл. - ^aБиблиография в конце глав. - ISBN 978-985-585-014-5 : Б. ц.
ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ ЗАЩИТА ИНФОРМАЦИИ ОБЛАЧНЫЕ ВЫЧИСЛЕНИЯ ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ МОДЕЛИРОВАНИЕ ЛОГИЧЕСКОЕ МОДЕЛИРОВАНИЕ СРЕДСТВА ЗАЩИТЫ ИНФОРМАЦИИ ЗАЩИТА ОТ ВИРУСОВ Свободных экз. нет |
Есипов, Юрий Вениаминович (доктор технических наук). Модели и показатели техносферной безопасности [Text] : монография / Ю. В. Есипов, Ю. С. Мишенькина, А. И. Черемисин. - Москва : Инфра-М, 2018. - 152, [1] с. : ил., табл. - (Научная мысль. Безопасность). - ^aБиблиография: с. 147—150 (60 назв.). - ISBN 978-5-16-013822-0 : Б. ц.
ТЕХНОГЕННЫЙ РИСК ЭКОЛОГИЧЕСКАЯ БЕЗОПАСНОСТЬ ПРОМЫШЛЕННАЯ БЕЗОПАСНОСТЬ ВРЕДНОЕ ВОЗДЕЙСТВИЕ ДЕЙСТВИЕ НА ОРГАНИЗМ ПРОМЫШЛЕННЫЕ ПРЕДПРИЯТИЯ ПРОФЕССИОНАЛЬНЫЕ ВРЕДНОСТИ ОПАСНЫЕ ПРОИЗВОДСТВЕННЫЕ ОБЪЕКТЫ МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ ЛОГИЧЕСКИЕ ФУНКЦИИ НЕЧЕТКИЕ МНОЖЕСТВА ПАРАМЕТРИЧЕСКОЕ МОДЕЛИРОВАНИЕ ЛОГИЧЕСКОЕ МОДЕЛИРОВАНИЕ Доп.точки доступа: Мишенькина, Юлия Станиславовна (кандидат технических наук); Черемисин, Андрей Игоревич (кандидат технических наук) Свободных экз. нет |
Лунев, Виталий Владимирович. Логические структурные схемы для подготовки специалистов машиностроительного производства [Text] : учебное пособие для студентов высших учебных заведений, обучающихся по направлениям подготовки "Конструкторско-технологическое обеспечение машиностроительных производств", "Автоматизация технологических процессов и производств" / В. В. Лунев, А. К. Мусолин, А. Г. Схиртладзе. - Старый Оскол : ТНТ, 2018. - 292, [1] с. : ил., табл., схемы. - ^aБиблиография: с. 292—293 (20 назв.). - ISBN 978-5-94178-588-9 (в переплете) : Б. ц.
ТЕХНОЛОГИЯ МАШИНОСТРОЕНИЯ ПЕДАГОГИЧЕСКИЕ ТЕХНОЛОГИИ МОДУЛЬНОЕ ОБУЧЕНИЕ ТЕСТЫ ЛОГИЧЕСКОЕ МОДЕЛИРОВАНИЕ ТЕХНОЛОГИЧЕСКОЕ ОБОРУДОВАНИЕ ЭКОНОМИКА МАШИНОСТРОЕНИЯ Доп.точки доступа: Мусолин, Александр Константинович (доктор технических наук); Схиртладзе, Александр Георгиевич (доктор педагогических наук ; род. 1943) Свободных экз. нет |
Стружкин, Николай Павлович (кандидат экономических наук). Базы данных [Text] : проектирование / Н. П. Стружкин, В. В. Годин ; Государственный университет управления. - Москва : Юрайт, 2017. - 475, [2] с. : ил., схемы, табл. - (Бакалавр. Академический курс) (УМО ВО рекомендует). - ^aБиблиография: с. 470 (10 назв.) и в подстрочных примечаниях. - ISBN 978-5-534-00229-4 (в переплете) : Б. ц.
ЛОГИЧЕСКОЕ МОДЕЛИРОВАНИЕ ФИЗИЧЕСКОЕ МОДЕЛИРОВАНИЕ Доп.точки доступа: Годин, Владимир Викторович (доктор экономических наук ; род. 1956); Государственный университет управления (Москва) Свободных экз. нет |
Системы и средства логического моделирования СБИС [Text] : по материалам отечеств. и зарубеж. печати за 1982-1987 гг. / А. О. Горбачев. - М. : [s. n.], 1988. - 62 с. - Б. ц.
СВЕРХБОЛЬШИЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ ЛОГИЧЕСКОЕ МОДЕЛИРОВАНИЕ Доп.точки доступа: Горбачев, А. О. Свободных экз. нет |
Алгоритмы и подсистемы автоматизированного логического проектирования цифровых СБИС [Text] : материалы по матер. обеспечению ЭВМ / А. А. Дудкин [и др.]. - Минск : [s. n.], 1994. - 120 с. - Б. ц.
СВЕРХБОЛЬШИЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ ЦИФРОВЫЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ ЛОГИЧЕСКОЕ МОДЕЛИРОВАНИЕ АВТОМАТИЗИРОВАННОЕ ПРОЕКТИРОВАНИЕ Доп.точки доступа: Дудкин, Александр Арсентьевич (доктор технических наук) Свободных экз. нет |