Electronic Documents Search

Documents found: 16

1
2

Гармонизация стандартов и проблемы национальной терминологии. На примерах верификации терминологий аддитивных и наилучших доступных технологий: монография

Creators	Никифоров Валерий Иванович; Дробинцев Павел Дмитриевич; Воинов Никита Владимирович; Кобчиков Валентин Семенович; Никифоров Игорь Валерьевич
Other creators	Никифоров Валерий Иванович
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности. Высшая школа программной инженерии; Санкт-Петербургский политехнический университет Петра Великого. Институт машиностроения, материалов и транспорта. Высшая школа машиностроения
Imprint	Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2023
Collection	Учебная и учебно-методическая литература; Общая коллекция
Subjects	Терминология; Стандартизация
UDC	006
Document type	Other
File type	PDF
Language	Russian
Speciality code (FGOS)	27.00.00
Speciality group (FGOS)	270000 - Управление в технических системах
DOI	10.18720/SPBPU/2/i23-317
Rights	Доступ по паролю из сети Интернет (чтение, печать)

pdf, 2.5 Mb

Введение в технологии верификации: учебно-методическое пособие

Creators	Дробинцев Павел Дмитриевич
Organization	Санкт-Петербургский политехнический университет Петра Великого
Imprint	Санкт-Петербург: Изд-во Политехн. ун-та, 2016
Electronic publication	Санкт-Петербург, 2017
Collection	Учебная и учебно-методическая литература; Общая коллекция
Subjects	Вычислительные системы — Математическое обеспечение; Вычислительные системы — Программирование; верификация
UDC	004.415.5(075.8)
Document type	Tutorial
File type	PDF
Language	Russian
DOI	10.18720/SPBPU/2/i17-32
Rights	Доступ по паролю из сети Интернет (чтение, печать)

pdf, 1.6 Mb

Основы моделирования на языке UML: учебно-методическое пособие

Creators	Дробинцев Павел Дмитриевич; Опарин П. А.; Котлярова Лина Павловна
Organization	Санкт-Петербургский политехнический университет Петра Великого
Imprint	Санкт-Петербург: Изд-во Политехн. ун-та, 2016
Electronic publication	Санкт-Петербург, 2017
Collection	Учебная и учебно-методическая литература; Общая коллекция
Subjects	Вычислительные системы реального времени — Операционные системы; Вычислительные системы реального времени — Программирование; Программирования языки
UDC	004.451.031.43(075.8); 004.438(075.8)
Document type	Tutorial
File type	PDF
Language	Russian
DOI	10.18720/SPBPU/2/i16-98
Rights	Доступ по паролю из сети Интернет (чтение, печать)

pdf, 3.3 Mb

Индустриальные технологии разработки программного обеспечения: учебно-методическое пособие

Creators	Дробинцев Павел Дмитриевич; Александрова Ольга Всеволодовна; Карпов Андрей Николаевич
Organization	Санкт-Петербургский политехнический университет Петра Великого
Imprint	Санкт-Петербург: Изд-во Политехн. ун-та, 2016
Electronic publication	Санкт-Петербург, 2017
Collection	Учебная и учебно-методическая литература; Общая коллекция
Subjects	Вычислительные машины электронные персональные — Математическое обеспечение
UDC	004.422.8(075.8)
Document type	Tutorial
File type	PDF
Language	Russian
DOI	10.18720/SPBPU/2/i16-100
Rights	Доступ по паролю из сети Интернет (чтение, печать)

pdf, 1.5 Mb

Интегрированная технология обеспечения качества программныхпродуктов с помощью верификации и тестирования: автореф. дис. … канд. тех. наук: 05.13.11

Creators	Дробинцев Павел Дмитриевич
Organization	Санкт-Петербургский государственный политехнический университет; Санкт-Петербургский институт информатики и автоматизации РАН
Imprint	СПб., 2006
Collection	Научные работы аспирантов/докторантов; Общая коллекция
Subjects	Вычислительные машины электронные персональные — Программы; верификация; тестирование
UDC	004.415.53(043.3)
Document type	Author's Abstract
File type	PDF
Language	Russian
Speciality code (OKSVNK)	05.13.11
Speciality group (OKSVNK)	050000 - Технические науки
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 275 Kb

Метрология, стандартизация и сертификация. Аналитика классификации и терминологии стандартов Российской Федерации: учебно-методическое пособие

Creators	Никифоров Валерий Иванович; Дробинцев Павел Дмитриевич; Воинов Никита Владимирович; Кобчиков Валентин Семенович; Коротких Михаил Тимофеевич; Никифоров Игорь Валерьевич
Other creators	Никифоров Валерий Иванович
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт машиностроения, материалов и транспорта; Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint	Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2022
Electronic publication	2023
Collection	Учебная и учебно-методическая литература; Общая коллекция
Subjects	Метрология; Стандартизация; Машиностроение; сертификация; учебники и пособия для вузов
UDC	006.91(075.8); 621(075.8)
Document type	Tutorial
File type	PDF
Language	Russian
Speciality code (FGOS)	15.00.00; 09.00.00; 02.00.00
Speciality group (FGOS)	150000 - Машиностроение; 090000 - Информатика и вычислительная техника; 020000 - Компьютерные и информационные науки
DOI	10.18720/SPBPU/2/i23-30
Rights	Доступ по паролю из сети Интернет (чтение, печать)

pdf, 11.7 Mb

1
2