Electronic Documents Search

Documents found: 12

1
2

Поддержка принятия решений при управлении системой переработки бытовых отходов // Материалы...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, 77 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, 67 Kb

Автоматы и формальные языки: сборник задач

Creators	Карпов Юрий Глебович
Organization	Санкт-Петербургский политехнический университет Петра Великого
Imprint	Санкт-Петербург: Изд-во Политехн. ун-та, 2015
Electronic publication	Санкт-Петербург, 2020
Collection	Учебная и учебно-методическая литература; Общая коллекция
Subjects	Автоматов теория; Распознавание образов; формальные языки
UDC	004.93(076.1); 681.51.011(076.1)
Document type	Tutorial
File type	PDF
Language	Russian
Speciality code (FGOS)	45.00.00
Speciality group (FGOS)	450000 - Языкознание и литературоведение
DOI	10.18720/SPBPU/2/si20-1529
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 2.4 Mb

Реализация программной системы управления электронного микроскопа // Материалы...26 ноября - 1 декабря 2001 года. – 2003. – Факультет технической кибернетики. — Ч.7

Creators	Сапунов В. В.; Карпов Юрий Глебович
Other creators	Глухов Владимир Викторович
Organization	Санкт-Петербургский государственный технический университет. Межвузовская научная конференция, Юбилейная неделя науки (30; 2001; Санкт-Петербург); Совет СПбГТУ по научно-исследовательской работе студентов
Imprint	Санкт-Петербург, 2003
Collection	Общая коллекция
Subjects	язык UML; динамически реагирующие системы; программные продукты; методика
UDC	681.322.068:681.5.01
Document type	Article, report
File type	PDF
Language	Russian
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 76 Kb

Формальные методы построения сложных программных объектно-ориентированных систем // Материалы...26 ноября - 1 декабря 2001 года. – 2003. – Факультет технической кибернетики. — Ч.7

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

pdf, 109 Kb

Распределенное моделирование гибридных сетей // Материалы...26 ноября - 1 декабря 2001 года. – 2003. – Факультет технической кибернетики. — Ч.7

Creators	Харитонов В. В.; Карпов Юрий Глебович
Other creators	Глухов Владимир Викторович
Organization	Санкт-Петербургский государственный технический университет. Межвузовская научная конференция, Юбилейная неделя науки (30; 2001; Санкт-Петербург); Совет СПбГТУ по научно-исследовательской работе студентов
Imprint	Санкт-Петербург, 2003
Collection	Общая коллекция
Subjects	распределенное моделирование; HLA; гибридные системы; предикаты
UDC	681.322.068:681.5.01
Document type	Article, report
File type	PDF
Language	Russian
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 124 Kb

Математическая логика: онлайн-курс

Creators	Карпов Юрий Глебович; Шошмина Ирина Владимировна
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint	[Санкт-Петербург, 2016]
Collection	Онлайн-курсы; Общая коллекция
Subjects	Математическая логика; открытое образование
UDC	510.6(075.8)
Document type	Tutorial
File type	Other
Language	Russian
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

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

Разработка Web-приложений для Web-сервера IIS // Материалы...27 ноября - 2 декабря 2000 г. – 2001. – Факультет технической кибернетики и институт интеллектуальных систем и технологий. — Ч.5

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

pdf, 77 Kb

Введение в язык Promela и систему комплексной верификации Spin: учебное пособие

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

pdf, 3.7 Mb

Основы построения компиляторов: учебное пособие

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

pdf, 4.8 Mb

1
2