Electronic Documents Search

Documents found: 7

1

Apache Solr high performance: boost the performance of Solr instances and troubleshoot real-time problems

Creators	Mohan Surendra
Imprint	Birmingham: Packt Publishing, 2014
Collection	Электронные книги зарубежных издательств; Общая коллекция
Subjects	Информационно-поисковые системы; Вычислительные системы — Программирование; Коды
UDC	004.42.056.55
Document type	Other
File type	Other
Language	English
Rights	Доступ из локальной сети ФБ СПбПУ (чтение, печать, копирование)

http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=747082

Верификация распределенных систем: учебное пособие для студентов высших учебных заведений, обучающихся по направлению подготовки магистров в образовательной области «Информатика и вычислительная техника»

Creators	Карпов Юрий Глебович; Шошмина Ирина Владимировна
Organization	Санкт-Петербургский государственный политехнический университет
Imprint	Санкт-Петербург: Изд-во Политехн. ун-та, 2011
Electronic publication	Санкт-Петербург, 2020
Collection	Учебная и учебно-методическая литература; Общая коллекция
Subjects	Вычислительные системы — Программирование; верификация программ; учебники и пособия для вузов
UDC	004.75(075.8); 004.415.5(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/si20-935
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 6.4 Mb

Параллельные вычисления

Creators	Воеводин В.; Воеводин Вл.
Imprint	Санкт-Петербург: БХВ-Петербург, 2015
Collection	ЭБС "Айбукс.ру/ibooks.ru"; Общая коллекция
Subjects	Вычислительные системы — Программирование
UDC	004.42
Document type	Other
File type	Other
Language	Russian
Rights	Доступ по паролю из сети Интернет (чтение)

https://ibooks.ru/reading.php?short=1&productid=18522

Технология программирования. Верификация параллельных и распределенных программных систем: учебное пособие

Creators	Карпов Юрий Глебович
Organization	Санкт-Петербургский государственный политехнический университет
Imprint	Санкт-Петербург: Изд-во Политехн. ун-та, 2010
Electronic publication	Санкт-Петербург, 2020
Collection	Учебная и учебно-методическая литература; Общая коллекция
Subjects	Вычислительные системы — Программирование; Сложные системы — Моделирование; верификация; тестирование; учебники и пособия для вузов
UDC	004.415.5(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/si20-987
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 4.3 Mb

Высокопроизводительные вычисления: учебное пособие для вузов по направлению подготовки магистров "Системный анализ и управление"

Creators	Баденко Владимир Львович
Organization	Санкт-Петербургский государственный политехнический университет
Imprint	Санкт-Петербург, 2010
Collection	Учебная и учебно-методическая литература; Общая коллекция
Subjects	Супер-ЭВМ; Вычислительные системы — Программирование
UDC	004.382.2(075.8); 004.42.032.24(075.8)
Document type	Tutorial
File type	PDF
Language	Russian
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 2.0 Mb

Secure, resilient, and agile software development

Creators	Merkow Mark
Imprint	Boca Raton: Auerbach Publications, 2020
Collection	Электронные книги зарубежных издательств; Общая коллекция
Subjects	Вычислительные системы — Программирование; гибкие методики разработки; agile-разработка
UDC	004.42
Document type	Other
File type	PDF
Language	English
Rights	Доступ по паролю из сети Интернет (чтение)

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

1