-
Программирование: комбинаторная логика
-
Скопировать в буфер библиографическое описание
Кудрявцева, И. А. Программирование: комбинаторная логика : учебник для вузов / И. А. Кудрявцева, М. В. Швецкий. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2026. — 524 с. — (Высшее образование). — ISBN 978-5-534-10620-6. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/587151 (дата обращения: 03.06.2026).
- Добавить в избранное
2-е изд., пер. и доп. Учебник для вузов2026/ Гриф УМО ВОНаучная школа: Российский государственный педагогический университет имени А.И. Герцена (Герценовский университет) (г. Санкт-Петербург)Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения. В пособии размещены программы на языке Haskell: интерпретатор ?-функций, представленных ?-термами, и программа ...
-
Скопировать в буфер библиографическое описание
-
Ознакомиться Бесплатная доставка Бесплатная доставка при заказе ПЕЧАТНЫХ КНИГ от 3000 руб.Программирование: теория типов
-
Скопировать в буфер библиографическое описание
Кудрявцева, И. А. Программирование: теория типов : учебник для вузов / И. А. Кудрявцева, М. В. Швецкий. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2026. — 652 с. — (Высшее образование). — ISBN 978-5-534-11088-3. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/587340 (дата обращения: 03.06.2026).
- Добавить в избранное
2-е изд., пер. и доп. Учебник для вузов2026/ Гриф УМО ВОНаучная школа: Российский государственный педагогический университет имени А.И. Герцена (Герценовский университет) (г. Санкт-Петербург)Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального госуд...
-
Скопировать в буфер библиографическое описание
-
Программная инженерия. Визуальное моделирование программных систем
-
Скопировать в буфер библиографическое описание
Черткова, Е. А. Программная инженерия. Визуальное моделирование программных систем : учебник для вузов / Е. А. Черткова. — 3-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2026. — 146 с. — (Высшее образование). — ISBN 978-5-534-18197-5. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/584957 (дата обращения: 03.06.2026).
- Добавить в избранное
3-е изд., пер. и доп. Учебник для вузовИзложены ключевые понятия программной инженерии — методы, технологии, модели процесса разработки программного обеспечения. Рассмотрены инструментальные средства программной инженерии, предназначенные для автоматизации процессов разработки программного обеспечения. Описаны методы и инструментальные средства визуального моделирования программных систем с использованием ...2026/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Проектирование информационных систем
-
Скопировать в буфер библиографическое описание
Зараменских, Е. П. Проектирование информационных систем : учебник и практикум для вузов / Е. П. Зараменских. — 2-е изд. — Москва : Издательство Юрайт, 2025. — 119 с. — (Высшее образование). — ISBN 978-5-534-21418-5. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/571331 (дата обращения: 03.06.2026).
- Добавить в избранное
2-е изд.Учебник и практикум для вузовВ курсе рассматривается история и современное состояние информационных систем, а именно этап проектирования в жизненном цикле. Подробно разбирается теория и практика управления жизненным циклом информационных систем, а также основы управления проектами. Особый интерес представляют практические примеры, которые содержат пошаговые инструкции по анализу бизнес-кейса, а т...2025/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Прокурорский надзор
-
Скопировать в буфер библиографическое описание
Бобров, В. К. Прокурорский надзор : учебник для вузов / В. К. Бобров. — 8-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2026. — 191 с. — (Высшее образование). — ISBN 978-5-534-20538-1. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/582878 (дата обращения: 03.06.2026).
- Добавить в избранное
8-е изд., пер. и доп. Учебник для вузовКурс предназначен для изучения дисциплины «Прокурорский надзор». Он включает все темы, предусмотренные учебными вузовскими программами по курсу «Прокурорский надзор». На основе современного развития научных взглядов на роль и место прокуратуры Российской Федерации в системе государственного механизма рассматриваются вопросы, касающиеся ее системы, организации и деятел...2026/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Прокурорский надзор. Практикум
-
Скопировать в буфер библиографическое описание
Винокуров, А. Ю. Прокурорский надзор. Практикум : учебник для вузов / А. Ю. Винокуров, Ю. Е. Винокуров ; под общей редакцией А. Ю. Винокурова. — 3-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2026. — 197 с. — (Высшее образование). — ISBN 978-5-534-18202-6. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/582885 (дата обращения: 03.06.2026).
- Добавить в избранное
3-е изд., пер. и доп. Учебник для вузовНастоящий практикум подготовлен авторами, длительное время работавшими в органах и учреждениях прокуратуры РФ. Он предназначен для углубленного усвоения студентами пройденных тем, самостоятельной подготовки к семинарским и практическим занятиям по дисциплине «Прокурорский надзор», служит цели приобретения первичных навыков в организации и осуществлении прокурорской де...2026/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Промышленный (B2B) маркетинг
-
Скопировать в буфер библиографическое описание
Чернышева, А. М. Промышленный (B2B) маркетинг : учебник и практикум для вузов / А. М. Чернышева, Т. Н. Якубова. — 2-е изд. — Москва : Издательство Юрайт, 2026. — 472 с. — (Высшее образование). — ISBN 978-5-534-13680-7. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/583395 (дата обращения: 03.06.2026).
- Добавить в избранное
2-е изд.Учебник и практикум для вузовВ издании подробно рассматриваются теоретические и практические вопросы промышленного маркетинга, его современное понимание и особенности применения, методы товарной, ценовой и распределительной политики, а также инструменты продвижения товаров и услуг для предприятий, работающих на В2В-рынке. Учебник содержит большое количество интересных примеров, иллюстрирующих реа...2026/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Противодействие терроризму
-
Скопировать в буфер библиографическое описание
Окутина, Н. Н. Противодействие терроризму : учебное пособие для вузов / Н. Н. Окутина. — 2-е изд. — Москва : Издательство Юрайт, 2026. — 173 с. — (Высшее образование). — ISBN 978-5-534-19243-8. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/589443 (дата обращения: 03.06.2026).
- Добавить в избранное
2-е изд.Учебное пособие для вузов2026/ Гриф УМО ВОНаучная школа: Ульяновский государственный университет (г. Ульяновск)В курсе подробно рассматривается понятие «терроризм», изучаются его виды, представлена уголовно-правовая характеристика отдельных видов преступлений террористического характера, дополненная материалами судебной практики. Особое внимание уделяется криминологическим особенностям терроризма, его состоянию и тенденциям, причинам и условиям, особенностям личности преступни...
Российская академия народного хозяйства и государственной службы при Президенте РФ (г. Москва)
-
Скопировать в буфер библиографическое описание
-
Противодействие терроризму
-
Скопировать в буфер библиографическое описание
Кафтан, В. В. Противодействие терроризму : учебник для вузов / В. В. Кафтан. — 2-е изд., испр. и доп. — Москва : Издательство Юрайт, 2026. — 261 с. — (Высшее образование). — ISBN 978-5-534-00322-2. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/583336 (дата обращения: 03.06.2026).
- Добавить в избранное
2-е изд., испр. и доп. Учебник для вузовВ издании разработаны основные положения учебной дисциплины «Противодействие терроризму», посвященной научно-практическому исследованию проблем противоборства с угрозой современного терроризма. Здесь изложено авторское видение сущностных и содержательных элементов современного терроризма, его причин, организационно-практических основ, потенциала личности, общества, го...2026/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Профессиональная этика и служебный этикет в полиции России
-
Скопировать в буфер библиографическое описание
Талынев, В. Е. Профессиональная этика и служебный этикет в полиции России : учебник для вузов / В. Е. Талынев. — 2-е изд. — Москва : Издательство Юрайт, 2026. — 153 с. — (Высшее образование). — ISBN 978-5-534-11170-5. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/587381 (дата обращения: 03.06.2026).
- Добавить в избранное
2-е изд.Учебник для вузовВ пособии рассматривается содержание основных компонентов профессиональной этики сотрудников органов внутренних дел, лежащих в основе формирования служебного этикета сотрудника полиции, раскрывается специфика профессионального общения полицейского с различными категориями граждан и анализируются особенности бесконфликтного взаимодействия и общения в конфликтных ситуац...2026/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
38.00.00 ЭКОНОМИКА И УПРАВЛЕНИЕ
3293
