Electronic Documents Search

Documents found: 146

Concepts, techniques, and models of computer programming

Creators	Van Roy Peter; Haridi Seif
Organization	IEEE Xplore (Online Service); MIT Press
Imprint	Cambridge, Massachusetts London, England: MIT Press, 2004
Collection	Электронные книги зарубежных издательств; Общая коллекция
Subjects	Вычислительные машины электронные персональные — Программирование; MIT Press eBooks Library
UDC	004.42
Document type	Other
File type	Other
Language	English
Rights	Доступ по паролю из сети Интернет (чтение, печать)

https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267353

Logic programming: proceedings of the eleventh International Conference on Logic Programming

Other creators	Van Hentenryck Pascal
Organization	IEEE Xplore (Online Service); MIT Press
Imprint	Cambridge, Massachusetts London, England: MIT Press, 1994
Collection	Электронные книги зарубежных издательств; Общая коллекция
Subjects	Вычислительные машины электронные персональные — Программирование; MIT Press eBooks Library
UDC	004.42
Document type	Other
File type	Other
Language	English
Rights	Доступ по паролю из сети Интернет (чтение, печать)

https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351

Рекурсивно-логическое программирование: лабораторный практикум

Creators	Попов Сергей Геннадьевич
Organization	Санкт-Петербургский государственный политехнический университет
Imprint	Санкт-Петербург: Изд-во Политехн. ун-та, 2007
Electronic publication	Санкт-Петербург, 2021
Collection	Учебная и учебно-методическая литература; Общая коллекция
Subjects	ПРОЛОГ(PROLOG); Вычислительные машины электронные персональные — Программирование
UDC	004.42.047(076.5)
Document type	Tutorial
File type	PDF
Language	Russian
Speciality code (FGOS)	01.05.00; 01.05.03; 02.00.00
Speciality group (FGOS)	010000 - Математика и механика; 020000 - Компьютерные и информационные науки
DOI	10.18720/SPBPU/2/si21-299
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 1.9 Mb

Редакторы архитектурного уровня разработки программного обеспечения: учебное пособие. — 2-е изд., испр.

Creators	Амосов Владимир Владимирович; Петров Александр Владимирович
Organization	Санкт-Петербургский политехнический университет Петра Великого
Imprint	Санкт-Петербург, 2024
Collection	Учебная и учебно-методическая литература; Общая коллекция
Subjects	Вычислительные машины электронные персональные — Программирование; Вычислительные машины электронные персональные — Программы редактирования; программно-аппаратный комплекс; проектирование; тестирование; синтез
UDC	004.4'232(075.8)
Document type	Tutorial
File type	PDF
Language	Russian
Speciality code (FGOS)	09.03.04
Speciality group (FGOS)	090000 - Информатика и вычислительная техника
DOI	10.18720/SPBPU/5/tr24-164
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 0.8 Mb

Программирование на языке высокого уровня. Алгоритмизация и структурное программирование: учебное пособие

Creators	Веренинов Игорь Андреевич
Organization	Санкт-Петербургский государственный технический университет
Imprint	Санкт-Петербург: Изд-во СПбГТУ, 2000
Electronic publication	Санкт-Петербург, 2021
Collection	Учебная и учебно-методическая литература; Общая коллекция
Subjects	Вычислительные машины электронные персональные — Программирование
UDC	004.42(075.8)
Document type	Tutorial
File type	PDF
Language	Russian
Speciality code (FGOS)	09.00.00
Speciality group (FGOS)	090000 - Информатика и вычислительная техника
DOI	10.18720/SPBPU/2/si21-1002
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 1.7 Mb

Разработка фреймворка для интеграции мобильных приложений с системой управления корпоративной мобильностью: магистерская диссертация: 09.04.01

Creators	Киселев Антон Алексеевич
Scientific adviser	Стручков Игорь Вячеславович
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint	Санкт-Петербург, 2017
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	Вычислительные машины электронные персональные — Программирование; Интернет; фреймворки; корпоративная мобильность
UDC	004.42(043.3); 004.738.5(043.3)
Document type	Master graduation qualification work
File type	PDF
Language	Russian
Level of education	Master
Speciality code (FGOS)	09.04.01
Speciality group (FGOS)	090000 - Информатика и вычислительная техника
DOI	10.18720/SPBPU/2/v17-4113
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 1.0 Mb

Разработка аспектно-ориентированного расширения для языка Kotlin: магистерская диссертация: 09.04.01

Creators	Скрипаль Борис Алексеевич
Scientific adviser	Ицыксон Владимир Михайлович
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint	Санкт-Петербург, 2017
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	Программирования языки; Вычислительные машины электронные персональные — Программирование; аспектно-ориентированное программирование; аспектно-ориентированное расширение
UDC	004.42.04(043.3); 004.438(043.3)
Document type	Master graduation qualification work
File type	PDF
Language	Russian
Level of education	Master
Speciality code (FGOS)	09.04.01
Speciality group (FGOS)	090000 - Информатика и вычислительная техника
DOI	10.18720/SPBPU/2/v17-4122
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 0.8 Mb

Автоматизация оценки информационной безопасности программного обеспечения без исходных текстов в условиях ограниченности вычислительных ресурсов: специальность 05.13.19 "Методы и системы защиты информации, информационная безопасность": автореферат диссертации на соискание ученой степени кандидата технических наук

Creators	Самарин Николай Николаевич
Scientific adviser	Шелухин Олег Иванович
Other creators	Кубрин Сергей Сергеевич
Organization	Научно-исследовательский институт «Квант» («НИИ «Квант»)
Imprint	Москва, 2021
Electronic publication	Санкт-Петербург, 2021
Collection	Научные работы аспирантов/докторантов; Общая коллекция
Subjects	Информация — Защита; Вычислительные машины электронные персональные — Программирование; Вычислительные машины электронные персональные — Обеспечение сохранности данных
UDC	004.42.056(043.3)
Document type	Author's Abstract
File type	PDF
Language	Russian
DOI	10.18720/SPBPU/2/r21-39
Rights	Доступ из локальной сети ИБК СПбПУ (чтение, печать, копирование)

pdf, 0.8 Mb

Concurrent constraint programming

Creators	Saraswat Vijay
Organization	IEEE Xplore (Online Service); MIT Press
Imprint	Cambridge, Massachusetts London, England: MIT Press, 1993
Collection	Электронные книги зарубежных издательств; Общая коллекция
Subjects	Вычислительные машины электронные персональные — Программирование; MIT Press eBooks Library
UDC	004.42
Document type	Other
File type	Other
Language	English
Rights	Доступ по паролю из сети Интернет (чтение, печать)

https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267500

Разработка программного обеспечения для тестирования модулей-имитаторов: выпускная квалификационная работа магистра: 27.04.04 - Управление в технических системах ; 27.04.04_02 - Автоматизация технологических процессов и производств

Creators	Баринов Степан Андреевич
Scientific adviser	Филиповский Владимир Михайлович
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint	Санкт-Петербург, 2018
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	Вычислительные машины электронные персональные — Программирование; Испытательные стенды; Вычислительные машины электронные персональные — Вводные и выводные устройства; Вычислительные машины электронные персональные — Операционные системы; Алгоритмы
UDC	004.451.9(043.3); 004.35(043.3)
Document type	Master graduation qualification work
File type	PDF
Language	Russian
Level of education	Master
Speciality code (FGOS)	27.04.04
Speciality group (FGOS)	270000 - Управление в технических системах
Links	http://elib.spbstu.ru/dl/2/rev/v18-912-o.pdf; http://elib.spbstu.ru/dl/2/rev/v18-912-r.pdf
DOI	10.18720/SPBPU/2/v18-912
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 1.4 Mb