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

Найдено документов: 58 437
Описание Дата поступления
37561
Пакулин, Николай Витальевич. Динамическая верификация гибридных систем [Электронный ресурс] = Dynamic verification of hybrid systems / Н.В. Пакулин. — Электрон. текстовые дан. (1 файл : 289 Кб) // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – Санкт-Петербург, 2014. – № 2 (193). — (Конференция). — Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4157.pdf>.
20.06.2014
37562
Подымов, Владислав Васильевич. Верификация программно-конфигурируемых сетей при помощи системы UPPAAL [Электронный ресурс] = UPPAAL-based verification of software-defined networks / В.В. Подымов, У.В. Попеско. — Электрон. текстовые дан. (1 файл : 391 Кб) // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – Санкт-Петербург, 2014. – № 2 (193). — (Конференция). — Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4155.pdf>.
20.06.2014
37563
Никешин, Алексей Вячеславович. Автоматизация тестирования соответствия реализаций стандарту протокола безопасности транспортного уровня TLS [Электронный ресурс] = Conformance testing automation for transport layer security protocol TLS / А.В. Никешин, Н.В. Пакулин, В.З. Шнитман. — Электрон. текстовые дан. (1 файл : 238 Кб) // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – Санкт-Петербург, 2014. – № 2 (193). — (Конференция). — Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4156.pdf>.
20.06.2014
37564
Булда, Алена Юрьевна. Применение симуляторов рынка ценных бумаги для тестирования систем агрегации и распределения информации о котировках (Ticker Plant) [Электронный ресурс] = Using of exchange simulators and test exchanges as tools to test Ticker Plant systems / А.Ю. Булда, О.А. Буянова, А.В. Зверев. — Электрон. текстовые дан. (1 файл : 306 Кб) // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – Санкт-Петербург, 2014. – № 2 (193). — (Конференция). — Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4154.pdf>.
20.06.2014
37565
Аверина, Анастасия Андреевна. Особенности инструментов для тестирования, применимых при промышленной эксплуатации трейдинговых систем [Электронный ресурс] = Particular qualities of testing tools used in industrial operation of trading systems / А.А. Аверина, Н.А. Антонов, И.Л. Иткин. — Электрон. текстовые дан. (1 файл : 292 Кб) // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – Санкт-Петербург, 2014. – № 2 (193). — (Конференция). — Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4153.pdf>.
20.06.2014
37566
Иванников, Виктор Петрович. Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс [Электронный ресурс] = Verifying correctness of HDL-model behavior on the basis of dynamical trace matching / В.П. Иванников, А.С. Камкин, М.М. Чупилко. — Электрон. текстовые дан. (1 файл : 521 Кб) // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – Санкт-Петербург, 2014. – № 2 (193). — (Конференция). — Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4152.pdf>.
20.06.2014
37567
Ицыксон, Владимир Михайлович. Конференция "Инструменты и методы анализа программ-2013" [Электронный ресурс] / В.М. Ицыксон. — Электрон. текстовые дан. (1 файл : 110 Кб) // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – Санкт-Петербург, 2014. – № 2 (193). — (Конференция «ТМРА-2013»). — Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4151.pdf>.
20.06.2014
37568
Кузнецов, Андрей Николаевич. Онтология сборки, конфигурации окружения и запуска программного обеспечения и ее применение при автоматизации развертывания клиентских программ в вычислительных облаках [Электронный ресурс] = Ontology of software building , execution and environment configuration and its application in software deployment in computing clouds / А.Н. Кузнецов, Е.В. Пышкин. — Электрон. текстовые дан. (1 файл : 593 Кб) // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – Санкт-Петербург, 2014. – № 2 (193). — (Вычислительные машины и программное обеспечение). — Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4150.pdf>.
20.06.2014
37569
Игумнов, Алексей Владимирович. Восстановление работоспособности резервированных многоагентных систем [Электронный ресурс] = Fault recovery in redundant multiagent systems / А.В. Игумнов, С.Э. Сараджишвили. — Электрон. текстовые дан. (1 файл : 282 Кб) // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – Санкт-Петербург, 2014. – № 2 (193). — (Вычислительные машины и программное обеспечение). — Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4149.pdf>.
20.06.2014
37570
Ростов, Николай Васильевич. Многокритериальная параметрическая оптимизация цифровых регуляторов с учетом нелинейностей и действия внешних возмущений [Электронный ресурс] = Multiobjective parameter optimization of digital controllers with regard to the influence of nonlinearities and external disturbances / Н.В. Ростов. — Электрон. текстовые дан. (1 файл : 481 Кб) // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – Санкт-Петербург, 2014. – № 2 (193). — (Системный анализ и управление). — Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4148.pdf>.
20.06.2014
Найдено документов: 58 437