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

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

Главная

ИРБИС64+

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

Описание

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС IPRBooks

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

ЭБС Юрайт

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

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

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

ВКР

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

в найденном

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

ВКР (2)

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

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

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

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

1-10 11-17

Вид документа : Однотомное издание
Шифр издания : 93449
Автор(ы) : Аверина Т. А.
Заглавие : Верификация численных методов решения систем со случайной структурой : Учебное пособие
Выходные данные : Новосибирск: Новосибирский государственный университет, 2015
Колич.характеристики :178 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 517
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): алгоритм--верификация--задача--математика--случайная структура--численный метод
Аннотация: Данное учебное пособие является продолжением учебного пособия «Построение алгоритмов статистического моделирования систем со случайной структурой» Т. А. Авериной, в котором построены численные методы решения систем со случайной структурой. В данном учебном пособии проводится верификация построенных методов и сравнение их с известными алгоритмами на решении прикладных и тестовых задач. Предназначено для специалистов по вычислительной и прикладной математике, преподавателей, аспирантов и магистрантов вузов физико-математического профиля.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 82518
Автор(ы) : Бланк Стив, Дорф Боб
Заглавие : Стартап: Настольная книга основателя
Выходные данные : Москва: Альпина Паблишер, 2019
Колич.характеристики :623 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-9614-1983-2: Б.ц.
УДК : 658.5
ББК : 65.291
Ключевые слова (''Своб.индексиров.''): бизнес-модель--веб-стартап--верификация потребителя--выявление потребителя--настольная книга--основатель бизнеса--позиционирование продукта--стартап--управление стартапом
Аннотация: Вы держите в руках самый фундаментальный курс про управление стартапом, который только существует в мире. Революционная методика развития потребителей (customer development), созданная авторами, уже помогла тысячам предпринимателей создать новые бизнесы во многих странах мира, включая Россию. Идея метода заключается в том, чтобы как можно раньше выйти из офиса и проверить свою бизнес-модель на реальных потребителях, внося в первоначальную идею изменения, иногда весьма значительные. Книга Стива Бланка и Боба Дорфа не только описывает самый передовой опыт создания стартапов, но и дает четкую методику того, как создаются новые бизнесы, шаг за шагом. Мы дополнили оригинальный текст авторов кейсом из российской практики, чтобы показать, как методика развития потребителей работает в нашей стране. Книга обязательна к прочтению каждым, кто думает открыть свое дело или уже начал новый бизнес.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 65818
Автор(ы) : Вельдер С. Э., Вельдер С. Э., Лукин М. А., Шалыто А. А., Яминов Б. Р.
Заглавие : Верификация автоматных программ
Выходные данные : Санкт-Петербург: Университет ИТМО, 2011
Колич.характеристики :245 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 00
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): автоматная программа--валидация--верификатор--верификация--по--темпоральная логика
Аннотация: В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным методом. Математический аппарат и прикладные инструменты данной области позволяют создавать качественное программное обеспечение для ответственных систем и получать надежные подтверждения их правильности. Учебное пособие посвящено концепциям, алгоритмам и инструментам для проверки моделей программ. В нем излагаются теоретические вопросы проверки моделей, вводятся различные спецификационные формализмы и описываются алгоритмы проверки моделей для спецификаций, выраженных в этих формализмах. Алгоритмы проверки моделей демонстрируются на примерах конкретных инструментальных средств. Материал учебного пособия предназначен для специалистов в области программирования, информатики, вычислительной техники и систем управления, а также студентов и аспирантов, обучающихся по специальностям «Прикладная математика и информатика», «Управление и информатика в технических системах» и «Вычислительные машины, системы, комплексы и сети». Предполагается знакомство читателя с основными понятиями математической логики, дискретной математики, теории графов и теории алгоритмов.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 89876
Автор(ы) : Верещага А. Н., Чернышев А. К.
Заглавие : Моделирование распространения ядерного оружия и возможности его глубокого сокращения на основе метода нечеткой логики
Выходные данные : Саров: Российский федеральный ядерный центр – ВНИИЭФ, 2016
Колич.характеристики :256 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-9515-0331-2: Б.ц.
УДК : 519.6
ББК : 22.9
Ключевые слова (''Своб.индексиров.''): вооружение--распространение--сокращение--ядерное оружие
Аннотация: В книге описаны нечетко-логические математические модели процессов распространения и возможности сокращения ядерного оружия. Приводится историческая информация о формировании современного подхода к анализу процесса распространения, создании государством ядерного оружия вследствие его научно-технических возможностей, внутри- и внешнеполитических обстоятельств, характеристикой которых являются индексы, используемые в моделях. Верификация моделей показала достаточную адекватность получаемых результатов. Проанализировано влияние различных факторов на процессы распространения и сокращения ядерного оружия. Книга может быть полезной для специалистов по контролю над вооружением, аспирантов и студентов, специализирующихся по тематике о нераспространении ядерного оружия.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 15608
Автор(ы) : Волкова Е. В.
Заглавие : Психология специальных способностей. Дифференционно-интеграционный подход
Выходные данные : Москва: Институт психологии РАН, 2011
Колич.характеристики :320 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-9270-0210-8: Б.ц.
УДК : 159.9
ББК : 88.4
Ключевые слова (''Своб.индексиров.''): дифференционно-интеграционный подход--ментальная структура--монография--психология--специальная способность
Аннотация: Монография посвящена разработке методологии дифференционно-интеграционного подхода к исследованию природы специальных способностей. Психическим носителем общих и специальных способностей являются ментальные структуры, закономерности организации и формирования которых подчиняются дифференционно-интеграционному принципу развития. Теоретико-экспериментальная верификация данного подхода реализуется на примере многоуровневого обоснования (макро-, мезо- и микрогенез) онтологического статуса специальных химических способностей. Закономерности организации и формирования специальных химических способностей рассматриваются с позиций теории, эксперимента и практики. В работе представлен оригинальный инструментарий для выявления и исследования специальных способностей и диагностики показателей зрелости ментальных структур, лежащих в их основе.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 62285
Автор(ы) : Гатина Л. И., Алексеев С. А.
Заглавие : Социальное прогнозирование и проектирование в экономике : Учебно-методическое пособие
Выходные данные : Казань: Казанский национальный исследовательский технологический университет, 2015
Колич.характеристики :84 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7882-1749-9: Б.ц.
УДК : 332
ББК : 65.23
Ключевые слова (''Своб.индексиров.''): верификация прогноза--глобалистика--инструментарий прогнозирования--прогностическое исследование--социальное прогнозирование--социальное проектирование--экономика
Аннотация: Содержит тематику лекций, планы семинарских занятий с указанием рекомендуемой литературы и вопросами для самоконтроля, задания и задачи для самостоятельной работы, примеры итогового теста. Предназначено для бакалавров направления 39.03.01 «Социология», изучающих дисциплину «Социальное прогнозирование и проектирование в экономике» (заочная форма обучения). Подготовлено на кафедре государственного, муниципального управления и социологии.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 91683
Автор(ы) : Долозов Н. Л., Гультяева Т. А.
Заглавие : Программные средства защиты информации : Конспект лекций
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2015
Колич.характеристики :63 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-2753-8: Б.ц.
УДК : 004.056
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): аутентификация личности--биометрическая верификация--защита информации--защита сети--криптографическая хэш-функция--криптография--криптология--программное средство--симметричное шифрование--электронная подпись
Аннотация: Конспект лекций посвящен рассмотрению вопросов, связанных с основами программных средств защиты информации, и охватывает широкий круг вопросов, позволяющих получить студентам базовые знания по курсу. Он также может быть полезен для студентов и сотрудников, осваивающих программные средства защиты информации и знакомящихся с основными методами и средствами защиты информации.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 89417
Автор(ы) : Маглинец Ю. А.
Заглавие : Анализ требований к автоматизированным информационным системам : Учебное пособие
Выходные данные : Москва, Саратов: Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020
Колич.характеристики :191 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4497-0301-9: Б.ц.
УДК : 004.41
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): автоматизация предприятия--автоматизированная система--анализ требования--высокоуровневое требование--документирование требования--информационная система--специфицирование требования--управление проектом--управление требованиями
Аннотация: Учебное пособие содержит сведения об анализе требований как об инженерной дисциплине. Подробно описаны составляющие анализа требований — выявление, специфицирование и документирование, верификация. Приводятся классификации требований, анализируются свойства требований, рассматривается методологии, стандарты, нотации, артефакты работы с требованиями. Рассматривается роль прототипов, моделей, инструментальных средств, процесс управления требованиями, процесс совершенствования работы с требованиями.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 89403
Автор(ы) : Макаров А. В., Скоробогатов С. Ю., Чеповский А. М.
Заглавие : Common Intermediate Language и системное программирование в Microsoft.NET : Учебное пособие
Выходные данные : Москва, Саратов: Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020
Колич.характеристики :397 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4497-0293-7: Б.ц.
УДК : 004.72
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): microsoft.net--автоматическое управление--анализ кода--верификация cil-кода--генерация кода--динамическая генерация--разработка приложения--системное программирование--управление памятью--язык cil
Аннотация: Учебное пособие посвящено системному программированию в .NET. В нем описана архитектура платформы .NET и промежуточный язык этой платформы — Common Intermediate Language (сокращенно CIL). Подробно рассмотрен прием программирования, называемый динамической генерацией кода. Дано введение в многозадачность и описаны подходы к разработке параллельных приложений на базе платформы .NET. Учебное пособие предназначено для студентов и преподавателей университетов, а также для специалистов, повышающих свою квалификацию. Может быть полезно всем, кто изучает вопросы создания метаинструментария и разработки компиляторов для различных операционных систем.
(для доступа требуется авторизация)

Найти похожие

10.

Вид документа : Однотомное издание
Шифр издания : 87438
Автор(ы) : Рунова Л. П.
Заглавие : Методы бизнес-прогнозирования : Учебное пособие
Выходные данные : Ростов-на-Дону, Таганрог: Издательство Южного федерального университета, 2018
Колич.характеристики :109 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-9275-2553-9: Б.ц.
УДК : 338.27
ББК : 65.23
Ключевые слова (''Своб.индексиров.''): бизнес-менеджмент--верификация прогноза--матричный метод--метод бизнес-прогнозирования--метод дельфи--нейронная сеть--прогнозная интерполяция--регрессионная модель--экономическая модель--экспертный метод
Аннотация: Учебное пособие содержит основы теории и практики бизнес-прогнозирования. При этом делается упор на возможность применения математических методов и моделей для решения задач прогнозирования бизнес-процессов. Пособие разработано на основе нормативных документов Министерства образования и науки Российской Федерации, теории образовательной квалиметрии и современных технологий дидактического обеспечения учебного процесса. Адресовано студентам, магистрантам, аспирантам, работникам высшей школы, специализирующимся в области бизнес-информатики, экономики и менеджмента.
(для доступа требуется авторизация)

1-10 11-17

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

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

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

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