32.972.11н6 М 744 Моделирование и верификация политик безопасности управления доступом в операционных системах / Девянин Петр Николаевич, Ефремов Петр Николаевич, Кулямин Виктор Вячеславович и др. - Москва: Горячая линия - Телеком, 2019. - 214 с.: ил. - ISBN 978-5-9912-0787-4. [подробнее]
32.844-02с515я73 С 603 Соловьев В. В. Основы языка проектирования цифровой аппаратуры Verilog / Соловьев Валерий Васильевич. - Москва: Горячая линия - Телеком, 2019. - 206 с.: ил. - ISBN 978-5-9912-0353-1. [подробнее]
32.844.1-02с515я73 А 491 Алехин В. А. OrCAD 17.2. Анализ и проектирование электронных устройств: учебное пособие для вузов / Алехин Владимир Александрович. - Москва: Горячая линия - Телеком, 2019. - 328 с.: ил. - Лит.: с. 321. - ISBN 978-5-9912-0778-2. [подробнее]
22.172с51 Б 83 Боровиков В. П. Популярное введение в современный анализ данных и машинное обучение на STATISTICA / Боровиков Владимир Павлович. - Москва: Горячая линия - Телеком, 2018. - 354 с.: ил. - ISBN 978-5-9912-0738-6. [подробнее]
88.251.1с51 Б 912 Бурдаев М. Н. Когнитивная машинная графика в системах космического и медицинского назначения / Бурдаев Михаил Николаевич, Емельянова Юлия Геннадиевна, Хачумов Вячеслав Михайлович; под общей редакцией М. Н. Бурдаева. - Москва: Ленанд, 2019. - 256 с. - ISBN 978-5-9710-5844-1. [подробнее]
22.3с515 А 471 Алексеев Д. В. Введение в компьютерное моделирование физических задач: Использование Microsoft Visual Basic / Алексеев Дмитрий Валентинович. - Москва: Ленанд, 2019. - 272 с. - ISBN 978-5-9710-5914-1. [подробнее]
5с51 Д 399 Деятельностный подход при проектировании человеко-компьютерного взаимодействия: На примере медицинских интерфейсов / Авербух Владимир Лазаревич, Авербух Наталья Владимировна, Наймушина Анастасия Викторовна и др. - 2-е изд. - Москва: Ленанд, 2019. - 48 с. - ISBN 978-5-9710-5944-8. [подробнее]
30.18с515я73 К 21 Каршакова Л. Б. Компьютерное формообразование в дизайне: учебное пособие для вузов / Каршакова Лидия Борисовна, Яковлева Нина Борисовна, Бесчастнов Петр Николаевич. - Москва: Инфра-М, 2018. - 240 с.: ил. - (Высшее образование: Бакалавриат). - Список лит.: с. 240. - ISBN 978-5-16-010191-0. [подробнее]
32.973.45я73 испр. С 773 Старолетов С. М. Основы тестирования и верификации программного обеспечения: учебное пособие / Старолетов Сергей Михайлович. - Санкт-Петербург: Лань, 2019. - 344 с.: ил. - (Учебники для вузов. Специальная литература). - Лит.: с. 340. - ISBN 978-5-8114-3041-3. [подробнее]
32.972.11я723 Б 28 Батаев А. В. Операционные системы и среды: учебник для студентов учреждений среднего профессионального образования / Батаев Алексей Владимирович, Налютин Никита Юрьевич, Синицын Сергей Владимирович; редактор Е. А. Тульсанова; рецензенты М. П. Романов, Б. И. Прокопов. - 3-е изд., стер. - Москва: Академия, 2019. - 272 с. - (Профессиональное образование). - Прил.: с. 244. - Список лит.: с. 267. - ISBN 9785446881185. [подробнее]