-
Программирование. Функциональный подход
-
Скопировать в буфер библиографическое описание
Зыков, С. В. Программирование. Функциональный подход : учебник и практикум для вузов / С. В. Зыков. — 2-е изд. — Москва : Издательство Юрайт, 2026. — 150 с. — (Высшее образование). — ISBN 978-5-534-16942-3. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/584399 (дата обращения: 21.02.2026).
- Добавить в избранное
2-е изд.Учебник и практикум для вузовКурс посвящен основам функционального подхода к программированию на основе языка F#. Основной задачей данного курса является формирование точки зрения на современную теорию и практику программирования. Курс базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платфор...2026/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Ознакомиться Бесплатная доставка Бесплатная доставка при заказе ПЕЧАТНЫХ КНИГ от 3000 руб.Программирование: математическая логика
-
Скопировать в буфер библиографическое описание
Программирование: математическая логика : учебник для вузов / М. В. Швецкий, М. В. Демидов, А. В. Голанова, И. А. Кудрявцева. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2026. — 675 с. — (Высшее образование). — ISBN 978-5-534-11009-8. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/587341 (дата обращения: 21.02.2026).
- Добавить в избранное
2-е изд., пер. и доп. Учебник для вузов2026/ Гриф УМО ВОНаучная школа: Российский государственный педагогический университет имени А.И. Герцена (Герценовский университет) (г. Санкт-Петербург)Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество з...
-
Скопировать в буфер библиографическое описание
-
Программная инженерия и технологии программирования сложных систем
-
Скопировать в буфер библиографическое описание
Лаврищева, Е. М. Программная инженерия и технологии программирования сложных систем : учебник для вузов / Е. М. Лаврищева. — 2-е изд., испр. и доп. — Москва : Издательство Юрайт, 2025. — 432 с. — (Высшее образование). — ISBN 978-5-534-07604-2. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/561885 (дата обращения: 21.02.2026).
- Добавить в избранное
2-е изд., испр. и доп. Учебник для вузов2025Научная школа: Московский физико-технический институт (национальный исследовательский университет) (г. Долгопрудный)В настоящем учебнике подробно рассмотрена история отечественной технологии программирования, теоретические ее аспекты и парадигмы программирования: модульная, объектно-компонентная и сервисная, а также методы разработки в них отдельных элементов, их сборки в систему с проведением верификации, тестирования систем и оценки качества, обозначены перспективы развития техно...
-
Скопировать в буфер библиографическое описание
-
Программная инженерия. Визуальное моделирование программных систем
-
Скопировать в буфер библиографическое описание
Черткова, Е. А. Программная инженерия. Визуальное моделирование программных систем : учебник для вузов / Е. А. Черткова. — 3-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2026. — 146 с. — (Высшее образование). — ISBN 978-5-534-18197-5. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/584957 (дата обращения: 21.02.2026).
- Добавить в избранное
3-е изд., пер. и доп. Учебник для вузовВ курсе изложены ключевые понятия программной инженерии — методы, технологии, модели процесса разработки программного обеспечения. Рассмотрены инструментальные средства программной инженерии, предназначенные для автоматизации процессов разработки программного обеспечения. Описаны методы и инструментальные средства визуального моделирования программных систем с использ...2026/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Программная инженерия. Парадигмы, технологии и CASE-средства
-
Скопировать в буфер библиографическое описание
Лаврищева, Е. М. Программная инженерия. Парадигмы, технологии и CASE-средства : учебник для вузов / Е. М. Лаврищева. — 2-е изд., испр. — Москва : Издательство Юрайт, 2026. — 280 с. — (Высшее образование). — ISBN 978-5-534-01056-5. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/584533 (дата обращения: 21.02.2026).
- Добавить в избранное
2-е изд., испр. Учебник для вузов2026Научная школа: Российская академия наук (г. Москва)В учебнике рассмотрены парадигмы, технологии и Case-средства для разработки сложных компьютерных систем из готовых программных ресурсов, создаваемых в разных парадигмах программирования. В первом разделе даны базовые понятия программной инженерии и метода сборки разноязычных модулей в сложные системы, а также средства автоматизации и реинженерии ресурсов и систем. Во ...
Московский физико-технический институт (национальный исследовательский университет) (г. Долгопрудный)
-
Скопировать в буфер библиографическое описание
-
Программно-аппаратные средства защиты информации. Защита программного обеспечения
-
Скопировать в буфер библиографическое описание
Казарин, О. В. Программно-аппаратные средства защиты информации. Защита программного обеспечения : учебник и практикум для вузов / О. В. Казарин, А. С. Забабурин. — Москва : Издательство Юрайт, 2026. — 312 с. — (Высшее образование). — ISBN 978-5-9916-9043-0. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/584673 (дата обращения: 21.02.2026).
- Добавить в избранное
Учебник и практикум для вузов2026/ Гриф УМО ВОНаучная школа: Российский государственный гуманитарный университет (г. Москва)Цель настоящего учебника — овладение теоретическими знаниями и формирование практических умений и навыков в области обеспечения безопасности программного обеспечения, в том числе освоение комплекса мер, методов и способов защиты программ от различного рода деструктивных угроз в процессе их возникновения и реализации в современных информационных системах. Наряду с науч...
Московский государственный университет имени М.В. Ломоносова (г. Москва)
-
Скопировать в буфер библиографическое описание
-
Проектирование автоматизированных систем обработки информации и управления
-
Скопировать в буфер библиографическое описание
Гутгарц, Р. Д. Проектирование автоматизированных систем обработки информации и управления : учебник для вузов / Р. Д. Гутгарц. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2026. — 351 с. — (Высшее образование). — ISBN 978-5-534-15761-1. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/586718 (дата обращения: 21.02.2026).
- Добавить в избранное
2-е изд., пер. и доп. Учебник для вузовКурс содержит материалы, которые дополняют присутствующую на российском книжном рынке учебную литературу, предназначенную для использования в вузе при изучении дисциплин «Проектирование автоматизированных систем обработки информации и управления», «Проектирование информационных систем», «Корпоративные информационные системы» по программам бакалавриата. Рассмотрены мет...2026/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Проектирование и разработка web-приложений
-
Скопировать в буфер библиографическое описание
Тузовский, А. Ф. Проектирование и разработка web-приложений : учебник для вузов / А. Ф. Тузовский. — Москва : Издательство Юрайт, 2025. — 219 с. — (Высшее образование). — ISBN 978-5-534-16300-1. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/561176 (дата обращения: 21.02.2026).
- Добавить в избранное
Учебник для вузовВ пособии рассматриваются современные интернет-технологии и их использование для создания web-приложений. Поясняются основные понятия и стандарты сети Интернет и реализованной на ее основе web-сети (World Wide Web), состав программного обеспечения данной сети, логика работы web-приложений, основные подходы и технологии их разработки. В качестве примера подходов к разр...2025/ Гриф УМО -
Скопировать в буфер библиографическое описание
-
Проектирование информационных систем
-
Скопировать в буфер библиографическое описание
Проектирование информационных систем : учебник и практикум для вузов / Д. В. Чистов, П. П. Мельников, А. В. Золотарюк, Н. Б. Ничепорук. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2026. — 273 с. — (Высшее образование). — ISBN 978-5-534-20361-5. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/583207 (дата обращения: 21.02.2026).
- Добавить в избранное
2-е изд., пер. и доп. Учебник и практикум для вузовДанный курс представляет собой уникальную разработку, выполненную сотрудниками кафедры информационных технологий Финансового университета при Правительстве Российской Федерации. В курсе изложены основы проектирования, конструирования и отладки программных средств с использованием технологических и функциональных стандартов, современных моделей и методов оценки качеств...2026/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Проектирование информационных систем
-
Скопировать в буфер библиографическое описание
Грекул, В. И. Проектирование информационных систем : учебник и практикум для вузов / В. И. Грекул, Н. Л. Коровкина, Г. А. Левочкина. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2026. — 404 с. — (Высшее образование). — ISBN 978-5-534-19505-7. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/590554 (дата обращения: 21.02.2026).
- Добавить в избранное
2-е изд., пер. и доп. Учебник и практикум для вузовВ данном курсе проектирование информационных систем рассматривается как неотъемлемая часть формирования архитектуры предприятия. Представлены современные методики создания информационной системы как фрагмента общей архитектуры предприятия. Рассмотрены российские и международные стандарты, определяющие организацию работ по созданию информационных систем. Изложение теор...2026/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
11.00.00 ЭЛЕКТРОНИКА, РАДИОТЕХНИКА И СИСТЕМЫ СВЯЗИ
1438
