Last Arrivals

Documents found: 53 253
Description Arrival Date
32111
Кунцевич, Андрей Анатольевич. Нейтронографическое изучение манганитов-мультиферроиков [Электронный ресурс]: магистерская диссертация / А.А. Кунцевич; Санкт-Петербургский государственный политехнический университет, Институт физики, нанотехнологий и телекоммуникаций, Кафедра физики полупроводников и наноэлектроники. — Электрон. текстовые дан. (1 файл : 1,70 Мб). — Санкт-Петербург, 2014. — Загл. с титул. экрана. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4176.pdf>.
6/23/2014
32112
Чэнь Юй. Автоматизация оценки стоимости объектов недвижимости [Электронный ресурс]: магистерская диссертация / Чэнь Юй; Санкт-Петербургский государственный политехнический университет, Инженерно-экономический институт, Кафедра информационных систем в экономике и менеджменте. — Электрон. текстовые дан. (1 файл : 1,20 Мб). — Санкт-Петербург, 2014. — Загл. с титул. экрана. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4175.pdf>.
6/23/2014
32113
Сюэ Инцзы. Разработка Web-сайта ассоциации выпускников кафедры "Информационные системы в экономике и менеджменте" из зарубежных стран [Электронный ресурс]: магистерская диссертация / Сюэ Инцзы; Санкт-Петербургский государственный политехнический университет, Инженерно-экономический институт, Кафедра информационных систем в экономике и менеджменте. — Электрон. текстовые дан. (1 файл : 2,01 Мб). — Санкт-Петербург, 2014. — Загл. с титул. экрана. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4174.pdf>.
6/23/2014
32114
Ван Цзицзянь. Разработка методики выбора системы электронного документооборота для консалтинговой компании (на примере компании «Эксперт-Оценка») [Электронный ресурс]: магистерская диссертация / Ван Цзицзянь; Санкт-Петербургский государственный политехнический университет, Инженерно-экономический институт, Кафедра информационных систем в экономике и менеджменте. — Электрон. текстовые дан. (1 файл : 1,59 Мб). — Санкт-Петербург, 2014. — Загл. с титул. экрана. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4173.pdf>.
6/23/2014
32115
Пакулин, Николай Витальевич. Динамическая верификация гибридных систем [Электронный ресурс] = 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>.
6/20/2014
32116
Подымов, Владислав Васильевич. Верификация программно-конфигурируемых сетей при помощи системы 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>.
6/20/2014
32117
Никешин, Алексей Вячеславович. Автоматизация тестирования соответствия реализаций стандарту протокола безопасности транспортного уровня 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>.
6/20/2014
32118
Булда, Алена Юрьевна. Применение симуляторов рынка ценных бумаги для тестирования систем агрегации и распределения информации о котировках (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>.
6/20/2014
32119
Аверина, Анастасия Андреевна. Особенности инструментов для тестирования, применимых при промышленной эксплуатации трейдинговых систем [Электронный ресурс] = 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>.
6/20/2014
32120
Иванников, Виктор Петрович. Проверка корректности поведения 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>.
6/20/2014
Documents found: 53 253