Последние поступления

Найдено документов: 169 000

Описание Дата поступления
148311
Смолов, Сергей Александрович. Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода [Электронный ресурс] = A method of extended finite state machines construction from HDL descriptions based on static analysis of source code / С.А. Смолов, А.С. Камкин. — (Конференция “Инструменты и методы анализа программ - 2014”). — Электрон. текстовые дан. (1 файл : 278 Кб) // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems: научное издание. – Санкт-Петербург. – 2015. – № 1 (212). — Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/5506.pdf>. — <URL:http://doi.org/10.5862/JCTCS.212.6>.
22.05.2015
148312 22.05.2015
148313 22.05.2015
148314 22.05.2015
148315 22.05.2015
148316 22.05.2015
148317 22.05.2015
148318 22.05.2015
148319 22.05.2015
148320 22.05.2015