Оставить сообщение
Вход в систему
Оставить сообщение
Инструкция по поиску

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

Найдено документов: 104 962

№ Описание Дата поступления
89201
Ван Цзицзянь. — Разработка методики выбора системы электронного документооборота для консалтинговой компании (на примере компании «Эксперт-Оценка») [Электронный ресурс]: магистерская диссертация / Ван Цзицзянь; Санкт-Петербургский государственный политехнический университет, Инженерно-экономический институт, Кафедра информационных систем в экономике и менеджменте. — Электрон. текстовые дан. (1 файл : 1,59 Мб). — Санкт-Петербург, 2014. — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4173.pdf>.
23.06.2014
89202
Пакулин, Николай Витальевич. — Динамическая верификация гибридных систем [Электронный ресурс] = 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
89203
Подымов, Владислав Васильевич. — Верификация программно-конфигурируемых сетей при помощи системы 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
89204
Никешин, Алексей Вячеславович. — Автоматизация тестирования соответствия реализаций стандарту протокола безопасности транспортного уровня 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
89205
Булда, Алена Юрьевна. — Применение симуляторов рынка ценных бумаги для тестирования систем агрегации и распределения информации о котировках (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
89206
Аверина, Анастасия Андреевна. — Особенности инструментов для тестирования, применимых при промышленной эксплуатации трейдинговых систем [Электронный ресурс] = 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
89207
Иванников, Виктор Петрович. — Проверка корректности поведения 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>.
20.06.2014
89208
Ицыксон, Владимир Михайлович. — Конференция "Инструменты и методы анализа программ-2013" [Электронный ресурс] / В.М. Ицыксон. — (Конференция «ТМРА-2013»). — Электрон. текстовые дан. (1 файл : 110 Кб) // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление = 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/4151.pdf>.
20.06.2014
89209
Кузнецов, Андрей Николаевич. — Онтология сборки, конфигурации окружения и запуска программного обеспечения и ее применение при автоматизации развертывания клиентских программ в вычислительных облаках [Электронный ресурс] = 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
89210
Игумнов, Алексей Владимирович. — Восстановление работоспособности резервированных многоагентных систем [Электронный ресурс] = 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