|
№
|
Description
|
Arrival Date
|
|
11641
|
Политехник: издание Санкт-Петербургского государственного политехнического университета. — Санкт-Петербург, 1926-.
№ 27 (550) [Электронный ресурс]. — Электрон. текстовые дан. (1 файл : 10,6 МБ). — Ленинград, 1940 (Санкт-Петербург, 2015). — Загл. с титул. экрана. — Цифровая копия печатной публикации 1940 г. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Газета. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/ed-2653_130012_0000661316pn_27.pdf>.
|
5/22/2015
|
|
11642
|
VERMONT - средство верификации программно-конфигурируемых сетей [Электронный ресурс] = VERMONT - a toolset for verification of software defined networks / В.А. Захаров, В.С. Алтухов, В.В. Подымов, Е.В. Чемерицкий. — Электрон. текстовые дан. (1 файл : 375 Кб) // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems. Сер. : Информатика. Телекоммуникации. Управление: научное издание. – Санкт-Петербург, 2015. – № 1 (212). — (Конференция “Инструменты и методы анализа программ - 2014”). — Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/5507.pdf>. — <URL:http://dx.doi.org/10.5862./JCTCS.212.7>.
|
5/22/2015
|
|
11643
|
Политехник: издание Санкт-Петербургского государственного политехнического университета. — Санкт-Петербург, 1926-.
№ 26 (549) [Электронный ресурс]. — Электрон. текстовые дан. (1 файл : 14,8 МБ). — Ленинград, 1940 (Санкт-Петербург, 2015). — Загл. с титул. экрана. — Цифровая копия печатной публикации 1940 г. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Газета. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/ed-2652_130012_0000661316pn_26.pdf>.
|
5/22/2015
|
|
11644
|
Смолов, Сергей Александрович. Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода [Электронный ресурс] = A method of extended finite state machines construction from HDL descriptions based on static analysis of source code / С.А. Смолов, А.С. Камкин. — Электрон. текстовые дан. (1 файл : 278 Кб) // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems. Сер. : Информатика. Телекоммуникации. Управление: научное издание. – Санкт-Петербург, 2015. – № 1 (212). — (Конференция “Инструменты и методы анализа программ - 2014”). — Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/5506.pdf>. — <URL:http://dx.doi.org/10.5862/JCTCS.212.6>.
|
5/22/2015
|
|
11645
|
Политехник: издание Санкт-Петербургского государственного политехнического университета. — Санкт-Петербург, 1926-.
№ 25 (548) [Электронный ресурс]. — Электрон. текстовые дан. (1 файл : 30,1 МБ). — Ленинград, 1940 (Санкт-Петербург, 2015). — Загл. с титул. экрана. — Цифровая копия печатной публикации 1940 г. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Газета. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/ed-2651_130012_0000661316pn_25.pdf>.
|
5/22/2015
|
|
11646
|
Политехник: издание Санкт-Петербургского государственного политехнического университета. — Санкт-Петербург, 1926-.
№ 24 (547) [Электронный ресурс]. — Электрон. текстовые дан. (1 файл : 30,7 МБ). — Ленинград, 1940 (Санкт-Петербург, 2015). — Загл. с титул. экрана. — Цифровая копия печатной публикации 1940 г. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Газета. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/ed-2650_130012_0000661316pn_24.pdf>.
|
5/22/2015
|
|
11647
|
Политехник: издание Санкт-Петербургского государственного политехнического университета. — Санкт-Петербург, 1926-.
№ 23 (546) [Электронный ресурс]. — Электрон. текстовые дан. (1 файл : 29,6 МБ). — Ленинград, 1940 (Санкт-Петербург, 2015). — Загл. с титул. экрана. — Цифровая копия печатной публикации 1940 г. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Газета. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/ed-2649_130012_0000661316pn_23.pdf>.
|
5/22/2015
|
|
11648
|
Политехник: издание Санкт-Петербургского государственного политехнического университета. — Санкт-Петербург, 1926-.
№ 22 (545) [Электронный ресурс]. — Электрон. текстовые дан. (1 файл : 27,8 МБ). — Ленинград, 1940 (Санкт-Петербург, 2015). — Загл. с титул. экрана. — Цифровая копия печатной публикации 1940 г. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Газета. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/ed-2648_130012_0000661316pn_22.pdf>.
|
5/22/2015
|
|
11649
|
Политехник: издание Санкт-Петербургского государственного политехнического университета. — Санкт-Петербург, 1926-.
№ 21 (544) [Электронный ресурс]. — Электрон. текстовые дан. (1 файл : 29,1 МБ). — Ленинград, 1940 (Санкт-Петербург, 2015). — Загл. с титул. экрана. — Цифровая копия печатной публикации 1940 г. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Газета. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/ed-2647_130012_0000661316pn_21.pdf>.
|
5/22/2015
|
|
11650
|
Политехник: издание Санкт-Петербургского государственного политехнического университета. — Санкт-Петербург, 1926-.
№ 20 (543) [Электронный ресурс]. — Электрон. текстовые дан. (1 файл : 29,8 МБ). — Ленинград, 1940 (Санкт-Петербург, 2015). — Загл. с титул. экрана. — Цифровая копия печатной публикации 1940 г. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Газета. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/ed-2646_130012_0000661316pn_20.pdf>.
|
5/22/2015
|
