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

Найдено документов: 172 371

Описание Дата поступления
151681 22.05.2015
151682
Смолов, Сергей Александрович. Метод построения расширенных конечных автоматов по 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
151683 22.05.2015
151684 22.05.2015
151685 22.05.2015
151686 22.05.2015
151687 22.05.2015
151688 22.05.2015
151689 22.05.2015
151690 22.05.2015