-
Программирование. Функциональный подход
-
Скопировать в буфер библиографическое описание
Зыков, С. В. Программирование. Функциональный подход : учебник и практикум для вузов / С. В. Зыков. — 2-е изд. — Москва : Издательство Юрайт, 2026. — 150 с. — (Высшее образование). — ISBN 978-5-534-16942-3. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/584399 (дата обращения: 21.02.2026).
- Добавить в избранное
2-е изд.Учебник и практикум для вузовКурс посвящен основам функционального подхода к программированию на основе языка F#. Основной задачей данного курса является формирование точки зрения на современную теорию и практику программирования. Курс базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платфор...2026/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Программирование: комбинаторная логика
-
Скопировать в буфер библиографическое описание
Кудрявцева, И. А. Программирование: комбинаторная логика : учебник для вузов / И. А. Кудрявцева, М. В. Швецкий. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2026. — 524 с. — (Высшее образование). — ISBN 978-5-534-10620-6. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/587151 (дата обращения: 21.02.2026).
- Добавить в избранное
2-е изд., пер. и доп. Учебник для вузов2026/ Гриф УМО ВОНаучная школа: Российский государственный педагогический университет имени А.И. Герцена (Герценовский университет) (г. Санкт-Петербург)Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения. В пособии размещены программы на языке Haskell: интерпретатор ?-функций, представленных ?-термами, и программа ...
-
Скопировать в буфер библиографическое описание
-
Ознакомиться Бесплатная доставка Бесплатная доставка при заказе ПЕЧАТНЫХ КНИГ от 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/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Проектирование автомобильных дорог и элементов обустройства
-
Скопировать в буфер библиографическое описание
Бондарева, Э. Д. Проектирование автомобильных дорог и элементов обустройства : учебник для вузов / Э. Д. Бондарева, М. П. Клековкина. — 3-е изд., испр. и доп. — Москва : Издательство Юрайт, 2026. — 398 с. — (Высшее образование). — ISBN 978-5-534-14963-0. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/584994 (дата обращения: 21.02.2026).
- Добавить в избранное
3-е изд., испр. и доп. Учебник для вузов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/ Гриф УМО -
Скопировать в буфер библиографическое описание
09.00.00 ИНФОРМАТИКА И ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
1747
