Детальная информация

Название: Исторический сборник, посвященный 100-летию ГТФ - ИСФ
Другие авторы: Альхименко Александр Иванович; Михалева М. А.; Горбунова Н. Е.
Организация: Санкт-Петербургский государственный политехнический университет
Выходные сведения: Санкт-Петербург: Изд-во Политехн. ун-та, 2007
Электронная публикация: Санкт-Петербург, 2021
Коллекция: Учебная и учебно-методическая литература; Общая коллекция
Тематика: Гидротехническое строительство
УДК: 626/627(082)
ББК: 74.484(2-2СПб)я43
Тип документа: Учебник
Тип файла: PDF
Язык: Русский
DOI: 10.18720/SPBPU/2/si20-939
Права доступа: Доступ по паролю из сети Интернет (чтение, печать, копирование)
Ключ записи: RU\SPSTU\edoc\66363

Разрешенные действия:

Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети

Группа: Анонимные пользователи

Сеть: Интернет

Аннотация

В сборнике содержатся статьи сотрудников инженерно-строительного факультета, посвященные истории инженерно-строительного (гидротехнического) факультета, включая статьи, посвященные истории восьми из одиннадцати его кафедр и истории сотрудничества факультета с родственными организациями. Сборник предназначен для широкого круга инженерно-технических и научных работников, аспирантов и студентов.

Печатается по решению редакционно-издательского совета Санкт-Петербургского государственного политехнического университета.

Права на использование объекта хранения

Место доступа Группа пользователей Действие
Локальная сеть ИБК СПбПУ Все Прочитать Печать Загрузить
Внешние организации №2 Все Прочитать
Внешние организации №1 Все Прочитать
Интернет Авторизованные пользователи СПбПУ Прочитать Печать Загрузить
Интернет Авторизованные пользователи (не СПбПУ) Прочитать
-> Интернет Анонимные пользователи

Оглавление

  • СОДЕРЖАНИЕ
  • ВВЕДЕНИЕ
  • 1. КАЧЕСТВО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
  • 2. МЕТОДЫ ОБЕСПЕЧЕНИЯ КАЧЕСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
  • 3. СТАТИЧЕСКИЙ АНАЛИЗ КАК МЕТОД ОБЕСПЕЧЕНИЯ КАЧЕСТВА
  • 4. МОДЕЛИ ПРОГРАММНЫХ СИСТЕМ
  • 5. АЛГОРИТМЫ СТАТИЧЕСКОГО АНАЛИЗА
  • 6. СЕМАНТИЧЕСКИЕ ОПИСАНИЯ
  • ЗАКЛЮЧЕНИЕ
  • СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ

Статистика использования

stat Количество обращений: 19
За последние 30 дней: 1
Подробная статистика