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	СПб., 2012
Collection	Учебная и учебно-методическая литература; Общая коллекция
Subjects	Вычислительные машины электронные персональные — Математическое обеспечение; Вычислительные машины электронные персональные
UDC	004.415.53(043.3)
Document type	Tutorial
File type	PDF
Language	Russian
Rights	Доступ из локальной сети ИБК СПбПУ (чтение, печать)

pdf, 1.2 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

Интегрированная технология обеспечения качества программныхпродуктов с помощью верификации и тестирования: автореф. дис. … канд. тех. наук: 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

Автоматизация тестирования верификатора функциональных спецификаций // Материалы...25-30 ноября 2002 года. – 2003. – Факультет технической кибернетики. — Ч.6

Creators	Вдовец Е. М.; Дробинцев Павел Дмитриевич; Котляров Всеволод Павлович
Other creators	Глухов Владимир Викторович
Organization	Санкт-Петербургский государственный политехнический университет. Межвузовская научная конференция. Неделя науки (31; 2002; Санкт-Петербург); СпбГПУ. Факультет технической кибернетики; Совет СПбГПУ по научно-исследовательской работе студентов
Imprint	СПб., 2003
Collection	Общая коллекция
Subjects	программное обеспечение; верификация; атоматизация тестирования
Document type	Article, report
File type	PDF
Language	Russian
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 95 Kb

Наука о данных и аналитика больших объемов данных: онлайн-курс

Creators	Дробинцев Павел Дмитриевич; Воинов Никита Владимирович; Никифоров Игорь Валерьевич
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint	[Санкт-Петербург, 2017]
Collection	Онлайн-курсы; Общая коллекция
Subjects	Базы данных; открытое образование
UDC	004.6(075.8)
Document type	Tutorial
File type	Other
Language	Russian
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

https://openedu.ru/course/spbstu/BIGDATA/

1
2