Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Электронный каталог

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>A=Непомнящий, В. А.$<.>)

Общее количество найденных документов : 3
Показаны документы с 1 по 3

Непомнящий, В. А.
Прикладные методы верификации программ [Текст] / В. А. Непомнящий, О. М. Рякин ; ред. А. П. Ершов. - М. : Радио и связь, 1988. - 256 с. : ил. ; 20 см. - Библиогр.: с. 252-254. - ISBN 5-256-00156-6 : 0.80 р.

ГРНТИ	50.05
УДК	681.3.06

ББК 32.973

Рубрики: Вычислительная техника--Программирование

Кл.слова (ненормированные):
программирование -- типы данных -- структура программы -- подпрограммы -- программные модули -- анализ корректности программ -- семантика программ -- верификация программ
Аннотация: Излагаются основы современной методологии верификации программ с позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Рякин, О. М.
Ершов, А. П.
Найти похожие

Непомнящий, В. А.
Учет надежности при проектировании энергосистем [Текст] / В. А. Непомнящий. - М. : Энергия, 1978. - 200 с. : ил. ; 21 см. - (Надежность и качество). - Библиогр.: с. 194-198. - 0.85 р.
Прил.: с. 192-193

ГРНТИ	44.29.29
УДК	621.311.019.001.2

Рубрики: Энергетика--Энергосистемы

Кл.слова (ненормированные):
энергосистемы -- учет надежности -- проектирование энергосистем -- энергетическое оборудование -- электростанции -- удельные ущербы -- релейная защита
Аннотация: В книге описываются основные характеристики надежности элементов энергосистем и ущербов потребителям. Систематизированны количественные характеристики надежности оборудования, устройств релейной защиты и системной автоматики.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

Непомнящий, В. А.
Экономические потери от нарушения электроснабжения [Текст] : научное издание / В. А. Непомнящий. - М. : ИД МЭИ, 2010. - 188 с. : ил. ; 21 см. - Библиогр.: с. 183-187 (63 назв.). - ISBN 978-5-383-00505-7 : 231.00 р.
Имеется электронный аналог печатного издания
Параллельные издания: Непомнящий В. А. Экономические потери от нарушения электроснабжения / В. А. Непомнящий. - М. : ИД МЭИ, 2010. - on-line. - ISBN 978-5-383-00505-7 (Шифр 621.311/Н53)

ГРНТИ	44.29.39
УДК	621.311.003

ББК 31.27

Рубрики: Энергетика--Электроэнергетика--Электроснабжение

Кл.слова (ненормированные):
ЭКОНОМИЧЕСКИЕ ПОТЕРИ -- ЭЛЕКТРОСНАБЖЕНИЕ ПОТРЕБИТЕЛЕЙ -- НАРУШЕНИЯ ЭЛЕКТРОСНАБЖЕНИЯ -- УДЕЛЬНЫЕ УЩЕРБЫ -- ЭЛЕКТРОСНАБЖЕНИЕ ПРИ АВАРИЙНЫХ СИТУАЦИЯХ
Аннотация: Рассматриваются методические вопросы оценки экономических потерь (ущербов) из-за нарушений энергоснабжения потребителей. Приводятся количественные значения удельных показателей этих ущербов для различных oтраслей экономики и социальной сферы в зависимости от основных влияющих факторов. Предлагаются пути снижения экономических потерь в национальной экономике как за счет использования оптимального управления ограничениями электроснабжения потребителей при возникновении аварийных ситуаций в системах электроэнергетики, так и путем повышения надежности последних.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

Стандартный (по одному полю)

По словарю (по одному полю)

Профессиональный (по нескольким полям со словарями)

Распределенный (г. Саратов)

Расширенный

Авторизация

Фамилия

Пароль

Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)