|
№
|
Description
|
Arrival Date
|
|
77311
|
Пакулин, Николай Витальевич. Динамическая верификация гибридных систем [Электронный ресурс] = Dynamic verification of hybrid systems / Н.В. Пакулин. — (Конференция). — Электрон. текстовые дан. (1 файл : 289 Кб) // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems: научное издание. – Санкт-Петербург. – 2014. – Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4157.pdf>.
|
6/20/2014
|
|
77312
|
Подымов, Владислав Васильевич. Верификация программно-конфигурируемых сетей при помощи системы UPPAAL [Электронный ресурс] = UPPAAL-based verification of software-defined networks / В.В. Подымов, У.В. Попеско. — (Конференция). — Электрон. текстовые дан. (1 файл : 391 Кб) // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems: научное издание. – Санкт-Петербург. – 2014. – Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4155.pdf>.
|
6/20/2014
|
|
77313
|
Никешин, Алексей Вячеславович. Автоматизация тестирования соответствия реализаций стандарту протокола безопасности транспортного уровня 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. – Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4156.pdf>.
|
6/20/2014
|
|
77314
|
Булда, Алена Юрьевна. Применение симуляторов рынка ценных бумаги для тестирования систем агрегации и распределения информации о котировках (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. – Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4154.pdf>.
|
6/20/2014
|
|
77315
|
Аверина, Анастасия Андреевна. Особенности инструментов для тестирования, применимых при промышленной эксплуатации трейдинговых систем [Электронный ресурс] = 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. – Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4153.pdf>.
|
6/20/2014
|
|
77316
|
Иванников, Виктор Петрович. Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс [Электронный ресурс] = Verifying correctness of HDL-model behavior on the basis of dynamical trace matching / В.П. Иванников, А.С. Камкин, М.М. Чупилко. — (Конференция). — Электрон. текстовые дан. (1 файл : 521 Кб) // Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4152.pdf>.
|
6/20/2014
|
|
77317
|
Ицыксон, Владимир Михайлович. Конференция "Инструменты и методы анализа программ-2013" [Электронный ресурс] / В.М. Ицыксон. — (Конференция «ТМРА-2013»). — Электрон. текстовые дан. (1 файл : 110 Кб) // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems: научное издание. – Санкт-Петербург. – 2014. – Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4151.pdf>.
|
6/20/2014
|
|
77318
|
Кузнецов, Андрей Николаевич. Онтология сборки, конфигурации окружения и запуска программного обеспечения и ее применение при автоматизации развертывания клиентских программ в вычислительных облаках [Электронный ресурс] = 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. – Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4150.pdf>.
|
6/20/2014
|
|
77319
|
Игумнов, Алексей Владимирович. Восстановление работоспособности резервированных многоагентных систем [Электронный ресурс] = Fault recovery in redundant multiagent systems / А.В. Игумнов, С.Э. Сараджишвили. — (Вычислительные машины и программное обеспечение). — Электрон. текстовые дан. (1 файл : 282 Кб) // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems: научное издание. – Санкт-Петербург. – 2014. – Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4149.pdf>.
|
6/20/2014
|
|
77320
|
Ростов, Николай Васильевич. Многокритериальная параметрическая оптимизация цифровых регуляторов с учетом нелинейностей и действия внешних возмущений [Электронный ресурс] = 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. – Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4148.pdf>.
|
6/20/2014
|
