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

Найдено документов: 71 779
Описание Дата поступления
55821
Сюэ Инцзы Разработка Web-сайта ассоциации выпускников кафедры "Информационные системы в экономике и менеджменте" из зарубежных стран [Электронный ресурс]: магистерская диссертация / Сюэ Инцзы; Санкт-Петербургский государственный политехнический университет, Инженерно-экономический институт, Кафедра информационных систем в экономике и менеджменте. — Электрон. текстовые дан. (1 файл : 2,01 Мб). — Санкт-Петербург, 2014. — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4174.pdf>.
23.06.2014
55822
Ван Цзицзянь Разработка методики выбора системы электронного документооборота для консалтинговой компании (на примере компании «Эксперт-Оценка») [Электронный ресурс]: магистерская диссертация / Ван Цзицзянь; Санкт-Петербургский государственный политехнический университет, Инженерно-экономический институт, Кафедра информационных систем в экономике и менеджменте. — Электрон. текстовые дан. (1 файл : 1,59 Мб). — Санкт-Петербург, 2014. — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4173.pdf>.
23.06.2014
55823
Пакулин, Николай Витальевич. Динамическая верификация гибридных систем [Электронный ресурс] = 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
55824
Подымов, Владислав Васильевич. Верификация программно-конфигурируемых сетей при помощи системы 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
55825
Никешин, Алексей Вячеславович. Автоматизация тестирования соответствия реализаций стандарту протокола безопасности транспортного уровня 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
55826
Булда, Алена Юрьевна. Применение симуляторов рынка ценных бумаги для тестирования систем агрегации и распределения информации о котировках (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
55827
Аверина, Анастасия Андреевна. Особенности инструментов для тестирования, применимых при промышленной эксплуатации трейдинговых систем [Электронный ресурс] = 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
55828
Иванников, Виктор Петрович. Проверка корректности поведения 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
55829
Ицыксон, Владимир Михайлович. Конференция "Инструменты и методы анализа программ-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
55830
Кузнецов, Андрей Николаевич. Онтология сборки, конфигурации окружения и запуска программного обеспечения и ее применение при автоматизации развертывания клиентских программ в вычислительных облаках [Электронный ресурс] = 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
Найдено документов: 71 779