Приложение
для AndroidПолное описание
| УДК | |
| 004 |
| ББК | |
| 3297 |
| РУБ | |
| 09.03.01 | |
| 09.03.02 | |
| 09.03.03 |
Рубрики:
Информатика. Вычислительная техника
Аннотация: В монографии предложен комплекс математических моделей и алгоритмов анализа надежности программного обеспечения сложных систем с учетом их многоуровневости и распределенности архитектуры. Представлена система построения трансляторов мультисинтаксических языков программирования мультиверсионного программного обеспечения сложных систем. Предназначена специалистам работающим в области проектирования и разработки программного обеспечения а также аспирантам и докторантам. Материалы монографии рекомендуются к использованию при проведении лекционных и практических занятий у магистрантов укрупненных групп 220000 «Автоматика и управление» 230000 «Информатика и вычислительная техника».
Доп. точки доступа:
Ченцов, Сергей Васильевич
Царев, Роман Юрьевич
Электронная библиотечная система ZNANIUM
Держатели документа:
ЭБС Znanium : 127282, г. Москва, ул. Полярная, д.31В, стр.1 (Шифр в БД-источнике (ZNANIUM): RU\infra-m\znanium\bibl\2142308)
Шифр в сводном ЭК: 2af3a75b3dc97aa946dc55ea3b13f829
Царев, Роман Юрьевич. Программирование на языке СИ : учеб. пособие / Р. Ю. Царев, 2014. - 106 с. (Введено оглавление). - Текст : непосредственный.Кузнецов, Александр Сергеевич. Многоэтапный анализ архитектурной надежности и синтез отказоустойчивого программного обеспечения сложных систем / А. С. Кузнецов, С. В. Ченцов, Р. Ю. Царев, 2013. - 142 с. (Введено оглавление). - Текст : электронный.Прокопенко, Александр Владимирович. Синтез систем реального времени с гарантированной доступностью программно-информационных ресурсов / А. В. Прокопенко, М. А. Русаков, Р. Ю. Царев, 2013. - 91 с. (Введено оглавление). - Текст : непосредственный.Царев, Роман Юрьевич. Основы распределенной обработки информации : учеб. пособие / Р. Ю. Царев, А. В. Прокопенко, А. Ю. Никифоров, 2015. - 179 с. (Введено оглавление). - Текст : непосредственный.Царев, Роман Юрьевич. Оценка и повышение надежности программно-информационных технологий : учеб. пособие / Р. Ю. Царев, А. В. Прокопенко, А. Н. Князьков, 2015. - 172 с. (Введено оглавление). - Текст : непосредственный.Горенский, Борис Михайлович. Информационные технологии в цветной металлургии : учеб. пособие / Б. М. Горенский, О. В. Кирякова, С. В. Ченцов, 2012. - 186 с. - Текст : непосредственный.Пупков, Александр Николаевич. Управление хранением и обработкой информации в образовательных средах дистанционного обучения / А. Н. Пупков, Р. Ю. Царев, Д. В. Капулин, 2012. - 129 с. (Введено оглавление). - Текст : непосредственный.Кукарцев, Владислав Викторович. Теория баз данных : Учебник / В.В. Кукарцев, 2017. - 180 с. (Введено оглавление). - Текст : электронный.Кузнецов, Александр Сергеевич. Системное программирование : Учебное пособие / А.С. Кузнецов, 2018. - 170 с. (Введено оглавление). - Текст : электронный.Царев, Роман Юрьевич. Программные и аппаратные средства информатики : Учебник / Царев Р. Ю., 2015. - 160 с. - Текст : электронный.Царев, Роман Юрьевич. Теоретические основы информатики : Учебник / Царев Р. Ю., 2015. - 176 с. - Текст : электронный.Кузнецов, Александр Сергеевич. Теория вычислительных процессов : Учебник / Кузнецов А. С., 2015. - 184 с. - Текст : электронный.Капулин, Денис Владимирович. Информационная структура предприятия : Учебное пособие / Капулин Д. В., 2014. - 186 с. - Текст : электронный.Горенский, Борис Михайлович. Информационные технологии в управлении технологическими процессами цветной металлургии : Учебное пособие / Б. М. Горенский, О. В. Кирякова, Л. А. Лапина, С. В. Ченцов, 2012. - 148 с. - Текст : электронный.Царев, Роман Юрьевич. Мультиверсионное программное обеспечение. Алгоритмы голосования и оценка надёжности : Монография / Сибирский федеральный университет, 2013. - 120 с. - Текст : электронный.Царев, Роман Юрьевич. Алгоритмы и структуры данных (CDIO) : Учебник / Сибирский федеральный университет, 2016. - 204 с. - Текст : электронный.Кузнецов, Александр Сергеевич. Многоэтапный анализ архитектурной надежности и синтез отказоустойчивого программного обеспечения сложных систем : Монография / А. С. Кузнецов, С. В. Ченцов, Р. Ю. Царев, 2020. - 143 с. - Текст : электронный.Кузнецов, Александр Сергеевич. Магнитные фазовые переходы и магнитокалорический эффект в соединениях на основе Dy и Mn в сильных магнитных полях : специальность 1.3.12 - "Физика магнитных явлений": автореферат диссертации на соискание ученой степени кандидата физико-математических наук / Кузнецов Александр Сергеевич, 2025. - 24 с. - Текст : непосредственный.
Кузнецов, Александр Сергеевич. Многоэтапный анализ архитектурной надежности и синтез отказоустойчивого программного обеспечения сложных систем / А. С. Кузнецов, С. В. Ченцов, Р. Ю. Царев, 2013. - 142 с. (Введено оглавление). - Текст : электронный.Кузнецов, Александр Сергеевич. Многоэтапный анализ архитектурной надежности и синтез отказоустойчивого программного обеспечения сложных систем : Монография / А. С. Кузнецов, С. В. Ченцов, Р. Ю. Царев, 2020. - 143 с. - Текст : электронный.
Аренков И.А. Управление бизнесом в цифровой экономике. Вызовы и решения / И. Ю. Аверин, И. А. Аренков, Ж. С. Беляева [и др.]; под редакцией И. А. Аренкова [и др.], 2019. - 359 с. (Введено оглавление). - Текст : непосредственный.Тапскотт Д. Викиномика : как массовое сотрудничество изменяет все / Дон Тапскотт, Энтони Д. Уильямс; перевод с английского П. Миронов при участии Г. Василенко; редактор Т. Бурмыкина, 2020. - 454, [1] с. (Введено оглавление). - Текст : непосредственный.Болотова, Юлия Александровна. Методы и алгоритмы интеллектуальной обработки цифровых изображений : Учебное пособие / Ю.А. Болотова, 2016. - 208 с. (Введено оглавление). - Текст : непосредственный.Соколов, Артем Викторович. Криптографические конструкции на основе функций многозначной логики : Монография / А.В. Соколов, 2020. - 192 с. (Введено оглавление). - Текст : непосредственный.Философская аналитика цифровой эпохи : Сборник / Санкт-Петербургский государственный университет, 2020. - 368 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Полищук, Юрий Владимирович. Базы данных и их безопасность : Учебное пособие / Ю.В. Полищук, 2022. - 210 с. (Введено оглавление). - Текст : непосредственный.Преображенская, Тамара Викторовна. Информационный менеджмент : Учебник / Т.В. Преображенская, 2011. - 244 с. - Текст : электронный.Леонидова, Галина Федоровна. Настольные издательские системы : Учебное пособие / Г.Ф. Леонидова, 2017. - 136 с. (Введено оглавление). - Текст : электронный.Обуховский, Александр Дмитриевич. Геометрическое моделирование аэродинамических обводов : Учебное пособие / А.Д. Обуховский, 2018. - 66 с. (Введено оглавление). - Текст : электронный.Гребенников, Валерий Федотович. Архитектура средств вычислительной техники. Общие сведения об ЭВМ. Процессоры и устройства управления : Учебное пособие / В.Ф. Гребенников, 2019. - 76 с. (Введено оглавление). - Текст : электронный.Проблеми iнформацiйних технологiй. - Журнал. - Текст : электронный.Андреева, Екатерина. Прогрессивные информационные технологии в современном образовательном процессе : Учебное пособие / Е. Андреева, 2011. - 256 с. (Введено оглавление). - Текст : электронный.Кочетурова, Наталья Александровна. Телекоммуникационные проекты в обучении иностранному языку : Учебное пособие / Н.А. Кочетурова, 2010. - 64 с. (Введено оглавление). - Текст : электронный.Курейчик, Виктор Михайлович. Основы теории эволюционных вычислений : Монография / В.М. Курейчик, 2010. - 222 с. (Введено оглавление). - Текст : электронный.Кальницкая, Наталья Ивановна. Создание твердотельных моделей и чертежей в среде AutoCAD : Учебное пособие / Н.И. Кальницкая, 2009. - 52 с. (Введено оглавление). - Текст : электронный.Трошина, Галина Васильевна. Моделирование сложных поверхностей : Учебное пособие / Г.В. Трошина, 2015. - 91 с. (Введено оглавление). - Текст : электронный.Минин, Игорь Владиленович. Защита конфиденциальной информации при электронном документообороте : Учебное пособие / И.В. Минин, 2011. - 20 с. - Текст : электронный.Гаврилова, Зинаида Павловна. Информационные технологии : Учебное пособие / З.П. Гаврилова, 2011. - 90 с. (Введено оглавление). - Текст : электронный.Алымова, Елена Владимировна. Конечные автоматы и формальные языки : Учебник / Е.В. Алымова, 2018. - 292 с. (Введено оглавление). - Текст : электронный.Гуськова, Ольга Ивановна. Объектно ориентированное программирование в Java : Учебное пособие / О.И. Гуськова, 2018. - 240 с. (Введено оглавление). - Текст : электронный.
Показать все результатыМартин Д. Организация баз данных в вычислительных системах : монография / Д. Мартин, 1980. - 662 с. - Текст : непосредственный.Дроздов Е.А. Электронные вычислительные машины единой системы / Е. А. Дроздов, В. А. Комарницкий, А. П. Пятибратов, 1976. - 672 с. - Текст : непосредственный.Баженова И.Ю. Visual FoxPro 6.0 / И. Ю. Баженова, 2000. - 416 с. - Текст : непосредственный.BASIC, 1992. - 97 с. - Текст : непосредственный.Вострикова З.П. Сервисная программа Norton Commander / З. П. Вострикова, О. Ю. Вострикова, А. П. Овчинникова, 1992. - 78 с. - Текст : непосредственный.Семененко В.А. Справочник по электронной вычислительной технике / В. А. Семененко, Ю. В. Ступин, 1993. - 222 с. - Текст : непосредственный.Лима Т. Введение в dBase IV / Т. Лима, 1993. - 299 с. - Текст : непосредственный.Электронные устройства для "Sinclair ZX Spectrum" : монография, 1992. - 80 с. - Текст : непосредственный.Юшин А.М. Цифровые микросхемы для электронных устройств / А. М. Юшин, 1993. - 176 c. - Текст : непосредственный.Бейсик ZX SPECTRUM / "ВА Принт", фирма (Москва), 1993. - 96 с. - Текст : непосредственный.Эпштейн М.С. Программирование на языке С : учебное пособие / М. С. Эпштейн, 2011. - 335 с. - Текст : непосредственный.Гливенко Е.В. Параллельный процессор первичной обработки информации / Е. В. Гливенко, 1992. - 105 с. - Текст : непосредственный.Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный.Обслуживание и сопровождение NetWare / "Микроинформ", совместное предприятие (Москва), 1992. - 286 с. - Текст : непосредственный.Буянова Л.Н. Система управления базой данных Rebus / Л. Н. Буянова, 1996. - 50 с. - Текст : непосредственный.Мурынин А.Б. Принципы оптимизации информативных признаков в задаче автоматического распознавания лица человека компьютерной системой / А. Б. Мурынин, В. И. Цурков, 1997. - 34 с.ил. - Текст : непосредственный.Ботыгин И.А. Универсальный дискретный интерфейс на базе микроконтроллера КМ 1816ВЕ51 / И. А. Ботыгин, В. К. Погребной, М. А. Сонькин, 1996. - 95 с. - Текст : непосредственный.Сборник задач по дисциплине "Математические основы информатики и моделирования" / Российская академия упр. (Москва), 1996. - 55 с. - Текст : непосредственный.Кенин А.М. IBM PC для пользователей или как научиться работать на компьютере / А. М. Кенин, Н. С. Печенкина, 1997. - 491 с. - Текст : непосредственный.Штайнер Й. Windows 95 / Й. Штайнер, Р. Валентин, 1997. - 344 с. - Текст : непосредственный.
Показать все результатыПросмотр издания ЭБС ZNANIUM