Фундаментальная библиотека ФГБОУ ВО СПХФУ Минздрава России

Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A

Главная

ИРБИС64+

Упрощенный режим

Описание

Базы данных

ЭБС IPRBooks- результаты поиска

Вид поиска

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

Картотека журнальных статей

Систематический имидж-каталог

Авторефераты диссертаций

Учебники и учебно-методические пособия СПХФУ

ЭБС IPRBooks

ЭБС Консультант студента

ЭБС Юрайт

Диссертации, защищенные в СПХФУ

Журнальный фонд СПХФУ

Библиотечный фонд техникума

ВКР

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

в найденном

Найдено в других БД:

ВКР (2)

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

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

Поисковый запрос: (<.>K=верификация<.>)

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

1-10 11-17

IPRBooks-87438

87438

Рунова, Л. П.
Методы бизнес-прогнозирования [Электронный ресурс] : учебное пособие / Рунова Л. П. - Ростов-на-Дону, Таганрог : Издательство Южного федерального университета, 2018. - 109 с. - ISBN 978-5-9275-2553-9 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

338.27

ББК 65.23

Кл.слова (ненормированные):
бизнес-менеджмент -- верификация прогноза -- матричный метод -- метод бизнес-прогнозирования -- метод дельфи -- нейронная сеть -- прогнозная интерполяция -- регрессионная модель -- экономическая модель -- экспертный метод
Аннотация: Учебное пособие содержит основы теории и практики бизнес-прогнозирования. При этом делается упор на возможность применения математических методов и моделей для решения задач прогнозирования бизнес-процессов. Пособие разработано на основе нормативных документов Министерства образования и науки Российской Федерации, теории образовательной квалиметрии и современных технологий дидактического обеспечения учебного процесса. Адресовано студентам, магистрантам, аспирантам, работникам высшей школы, специализирующимся в области бизнес-информатики, экономики и менеджмента.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-89876

89876

Верещага, А. Н.
Моделирование распространения ядерного оружия и возможности его глубокого сокращения на основе метода нечеткой логики [Электронный ресурс] / Верещага А. Н. - Саров : Российский федеральный ядерный центр – ВНИИЭФ, 2016. - 256 с. - ISBN 978-5-9515-0331-2 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

519.6

ББК 22.9

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

(для доступа требуется авторизация)

Доп.точки доступа:
Чернышев, А. К.
Свободных экз. нет
Найти похожие

IPRBooks-97540

97540

Синицын, С. В.
Верификация программного обеспечения [Электронный ресурс] : учебное пособие / Синицын С. В. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 367 с. - ISBN 978-5-4497-0653-9 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004

ББК 32.97

Кл.слова (ненормированные):
верификация по -- конфигурационное управление -- модульное тестирование -- программное обеспечение -- программный код -- разработка по -- системное тестирование -- тестовое окружение -- управление качеством -- экстремальное программирование
Аннотация: Учебное пособие знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Издание рассчитано на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения.

(для доступа требуется авторизация)

Доп.точки доступа:
Налютин, Н. Ю.
Свободных экз. нет
Найти похожие

IPRBooks-86194

86194

Синицын, С. В.
Верификация программного обеспечения [Электронный ресурс] : учебное пособие для СПО / Синицын С. В. - Саратов : Профобразование, 2019. - 368 с. - ISBN 978-5-4488-0357-4 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004.052

ББК 32.973

Кл.слова (ненормированные):
верификация по -- интеграционное тестирование -- конфигурационное управление -- менеджмент качества -- модульное тестирование -- пользовательский интерфейс -- программное обеспечение -- системное тестирование -- устойчивый код -- формальная инспекция
Аннотация: В учебном пособии представлены современные технологии верификации программного обеспечения, применяемые при промышленной разработке сложных и отказоустойчивых программных систем. Материал издания рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения. Учебное пособие предназначено для изучения дисциплины «Программное обеспечение компьютерных сетей» по специальности среднего профессионального образования 09.02.01 «Компьютерные системы и комплексы» и др.

(для доступа требуется авторизация)

Доп.точки доступа:
Налютин, Н. Ю.
Свободных экз. нет
Найти похожие

IPRBooks-91683

91683

Долозов, Н. Л.
Программные средства защиты информации [Электронный ресурс] : конспект лекций / Долозов Н. Л. - Новосибирск : Новосибирский государственный технический университет, 2015. - 63 с. - ISBN 978-5-7782-2753-8 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004.056

ББК 32.97

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

(для доступа требуется авторизация)

Доп.точки доступа:
Гультяева, Т. А.
Свободных экз. нет
Найти похожие

IPRBooks-89403

89403

Макаров, А. В.
Common Intermediate Language и системное программирование в Microsoft.NET [Электронный ресурс] : учебное пособие / Макаров А. В. - Москва, Саратов : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 397 с. - ISBN 978-5-4497-0293-7 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004.72

ББК 32.97

Кл.слова (ненормированные):
microsoft.net -- автоматическое управление -- анализ кода -- верификация cil-кода -- генерация кода -- динамическая генерация -- разработка приложения -- системное программирование -- управление памятью -- язык cil
Аннотация: Учебное пособие посвящено системному программированию в .NET. В нем описана архитектура платформы .NET и промежуточный язык этой платформы — Common Intermediate Language (сокращенно CIL). Подробно рассмотрен прием программирования, называемый динамической генерацией кода. Дано введение в многозадачность и описаны подходы к разработке параллельных приложений на базе платформы .NET. Учебное пособие предназначено для студентов и преподавателей университетов, а также для специалистов, повышающих свою квалификацию. Может быть полезно всем, кто изучает вопросы создания метаинструментария и разработки компиляторов для различных операционных систем.

(для доступа требуется авторизация)

Доп.точки доступа:
Скоробогатов, С. Ю.; Чеповский, А. М.
Свободных экз. нет
Найти похожие

IPRBooks-82518

82518

Бланк, Стив
Стартап: Настольная книга основателя [Электронный ресурс] / Бланк Стив. - Москва : Альпина Паблишер, 2019. - 623 с. - ISBN 978-5-9614-1983-2 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

658.5

ББК 65.291

Кл.слова (ненормированные):
бизнес-модель -- веб-стартап -- верификация потребителя -- выявление потребителя -- настольная книга -- основатель бизнеса -- позиционирование продукта -- стартап -- управление стартапом
Аннотация: Вы держите в руках самый фундаментальный курс про управление стартапом, который только существует в мире. Революционная методика развития потребителей (customer development), созданная авторами, уже помогла тысячам предпринимателей создать новые бизнесы во многих странах мира, включая Россию. Идея метода заключается в том, чтобы как можно раньше выйти из офиса и проверить свою бизнес-модель на реальных потребителях, внося в первоначальную идею изменения, иногда весьма значительные. Книга Стива Бланка и Боба Дорфа не только описывает самый передовой опыт создания стартапов, но и дает четкую методику того, как создаются новые бизнесы, шаг за шагом. Мы дополнили оригинальный текст авторов кейсом из российской практики, чтобы показать, как методика развития потребителей работает в нашей стране. Книга обязательна к прочтению каждым, кто думает открыть свое дело или уже начал новый бизнес.

(для доступа требуется авторизация)

Доп.точки доступа:
Дорф, Боб; Гутман, Т. \пер.\; Окунькова, И. \пер.\
Свободных экз. нет
Найти похожие

IPRBooks-93449

93449

Аверина, Т. А.
Верификация численных методов решения систем со случайной структурой [Электронный ресурс] : учебное пособие / Аверина Т. А. - Новосибирск : Новосибирский государственный университет, 2015. - 178 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

517

ББК 22.1

Кл.слова (ненормированные):
алгоритм -- верификация -- задача -- математика -- случайная структура -- численный метод
Аннотация: Данное учебное пособие является продолжением учебного пособия «Построение алгоритмов статистического моделирования систем со случайной структурой» Т. А. Авериной, в котором построены численные методы решения систем со случайной структурой. В данном учебном пособии проводится верификация построенных методов и сравнение их с известными алгоритмами на решении прикладных и тестовых задач. Предназначено для специалистов по вычислительной и прикладной математике, преподавателей, аспирантов и магистрантов вузов физико-математического профиля.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-89417

89417

Маглинец, Ю. А.
Анализ требований к автоматизированным информационным системам [Электронный ресурс] : учебное пособие / Маглинец Ю. А. - Москва, Саратов : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 191 с. - ISBN 978-5-4497-0301-9 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004.41

ББК 32.97

Кл.слова (ненормированные):
автоматизация предприятия -- автоматизированная система -- анализ требования -- высокоуровневое требование -- документирование требования -- информационная система -- специфицирование требования -- управление проектом -- управление требованиями
Аннотация: Учебное пособие содержит сведения об анализе требований как об инженерной дисциплине. Подробно описаны составляющие анализа требований — выявление, специфицирование и документирование, верификация. Приводятся классификации требований, анализируются свойства требований, рассматривается методологии, стандарты, нотации, артефакты работы с требованиями. Рассматривается роль прототипов, моделей, инструментальных средств, процесс управления требованиями, процесс совершенствования работы с требованиями.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

10.

IPRBooks-62285

62285

Гатина, Л. И.
Социальное прогнозирование и проектирование в экономике [Электронный ресурс] : учебно-методическое пособие / Гатина Л. И. - Казань : Казанский национальный исследовательский технологический университет, 2015. - 84 с. - ISBN 978-5-7882-1749-9 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

332

ББК 65.23

Кл.слова (ненормированные):
верификация прогноза -- глобалистика -- инструментарий прогнозирования -- прогностическое исследование -- социальное прогнозирование -- социальное проектирование -- экономика
Аннотация: Содержит тематику лекций, планы семинарских занятий с указанием рекомендуемой литературы и вопросами для самоконтроля, задания и задачи для самостоятельной работы, примеры итогового теста. Предназначено для бакалавров направления 39.03.01 «Социология», изучающих дисциплину «Социальное прогнозирование и проектирование в экономике» (заочная форма обучения). Подготовлено на кафедре государственного, муниципального управления и социологии.

(для доступа требуется авторизация)

Доп.точки доступа:
Алексеев, С. А.
Свободных экз. нет
Найти похожие

1-10 11-17

Тематический навигатор

Статистика обращений

Статистика за 04.07.2024
Число запросов	0
Число посетителей	0
Число заказов	0

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