-
Программирование: теория типов
-
Скопировать в буфер библиографическое описание
Кудрявцева, И. А. Программирование: теория типов : учебное пособие для вузов / И. А. Кудрявцева, М. В. Швецкий. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 652 с. — (Высшее образование). — ISBN 978-5-534-11088-3. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/542163 (дата обращения: 07.10.2024).
- Добавить в избранное
2-е изд., пер. и доп. Учебное пособие для вузов2024/ Гриф УМО ВОНаучная школа: Российский государственный педагогический университет имени А.И. Герцена (Герценовский университет) (г. Санкт-Петербург)Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального госуд...
-
Скопировать в буфер библиографическое описание
-
Противодействие терроризму
-
Скопировать в буфер библиографическое описание
Кафтан, В. В. Противодействие терроризму : учебное пособие для вузов / В. В. Кафтан. — 2-е изд., испр. и доп. — Москва : Издательство Юрайт, 2024. — 261 с. — (Высшее образование). — ISBN 978-5-534-00322-2. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/536401 (дата обращения: 07.10.2024).
- Добавить в избранное
2-е изд., испр. и доп. Учебное пособие для вузов2024/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Радиотехнические системы
-
Скопировать в буфер библиографическое описание
Радиотехнические системы : учебное пособие для вузов / М. Ю. Застела [и др.] ; под общей редакцией М. Ю. Застела. — 3-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 495 с. — (Высшее образование). — ISBN 978-5-534-06598-5. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/540113 (дата обращения: 07.10.2024).
- Добавить в избранное
3-е изд., пер. и доп. Учебное пособие для вузов2024/ Гриф УМО ВОНаучная школа: Казанский национальный исследовательский технический университет имени А.Н. Туполева — КАИ (г. Казань)В учебном пособии изложены основы теории радиотехнических систем. Рассмотрены модели сигналов, помех и каналов, особенности обнаружения и различения сигналов, содержатся материалы по практическому использованию полигауссовых моделей и методов, описаны возможные технические решения в области радиотехнических систем. Также в пособии рассмотрены основные структуры, харак...
-
Скопировать в буфер библиографическое описание
-
Радиоэлектроника. Формирование стабильных частот и сигналов
-
Скопировать в буфер библиографическое описание
Белов, Л. А. Радиоэлектроника. Формирование стабильных частот и сигналов : учебник для вузов / Л. А. Белов. — 3-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 268 с. — (Высшее образование). — ISBN 978-5-534-14694-3. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/539951 (дата обращения: 07.10.2024).
- Добавить в избранное
3-е изд., пер. и доп. Учебник для вузов2024/ Гриф УМО ВОНаучная школа: Национальный исследовательский университет «Московский энергетический институт» (г. Москва)Изложены основы теории сигналов, представлены принципы построения аналоговых и цифровых устройств формирования радиосигналов. Показаны варианты устройств формирования периодических колебаний негармонической формы и исследован возникающий в них эффект ангармонизма обертонов. Представлен краткий обзор моделей микросхем, узлов и устройств формирования сигналов, предлагае...
-
Скопировать в буфер библиографическое описание
-
Риск-менеджмент
-
Скопировать в буфер библиографическое описание
Вяткин, В. Н. Риск-менеджмент : учебник / В. Н. Вяткин, В. А. Гамза, Ф. В. Маевский. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 365 с. — (Высшее образование). — ISBN 978-5-9916-3502-8. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/536005 (дата обращения: 07.10.2024).
- Добавить в избранное
2-е изд., пер. и доп. Учебник2024/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Силовая электроника
-
Скопировать в буфер библиографическое описание
Розанов, Ю. К. Силовая электроника : учебник и практикум для вузов / Ю. К. Розанов, М. Г. Лепанов ; под редакцией Ю. К. Розанова. — Москва : Издательство Юрайт, 2024. — 206 с. — (Высшее образование). — ISBN 978-5-9916-9440-7. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/536504 (дата обращения: 07.10.2024).
- Добавить в избранное
Учебник и практикум для вузов2024/ Гриф УМО ВОНаучная школа: Национальный исследовательский университет «Московский энергетический институт» (г. Москва)Курс дает студентам представление о принципах действия и основных характеристиках силовых электронных приборов, а также о современных тенденциях развития данной отрасли. В курсе подробно описаны принципы регулирования и основные функциональные элементы систем управления устройствами силовой электроники. Представлены базовые схемы тиристорных преобразователей, автономн...
-
Скопировать в буфер библиографическое описание
-
Синергетика в химии и химической технологии
-
Скопировать в буфер библиографическое описание
Кольцова, Э. М. Синергетика в химии и химической технологии : учебное пособие для вузов / Э. М. Кольцова, Л. С. Гордеев. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 295 с. — (Высшее образование). — ISBN 978-5-534-07044-6. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/539933 (дата обращения: 07.10.2024).
- Добавить в избранное
2-е изд., пер. и доп. Учебное пособие для вузов2024/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Системный анализ и программно-целевой менеджмент рисков
-
Скопировать в буфер библиографическое описание
Белов, П. Г. Системный анализ и программно-целевой менеджмент рисков : учебник и практикум для вузов / П. Г. Белов. — Москва : Издательство Юрайт, 2024. — 289 с. — (Высшее образование). — ISBN 978-5-534-04690-8. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/539784 (дата обращения: 07.10.2024).
- Добавить в избранное
Учебник и практикум для вузов2024/ Гриф УМО ВОНаучная школа: Московский авиационный институт (национальный исследовательский университет) (г. Москва)В учебнике излагается методология системного анализа и программно-целевого прогнозирования рисков, сопутствующих функционированию человеко-машинных систем. По итогам изучения данного учебника студенты научатся пользоваться современными информационными технологиями, пригодными для оптимизации мероприятий по обоснованию, обеспечению, контролю и поддержанию социально-при...
-
Скопировать в буфер библиографическое описание
-
Системный анализ теории безопасности
-
Скопировать в буфер библиографическое описание
Северцев, Н. А. Системный анализ теории безопасности : учебное пособие для вузов / Н. А. Северцев, А. В. Бецков. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 456 с. — (Высшее образование). — ISBN 978-5-534-07985-2. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/540069 (дата обращения: 07.10.2024).
- Добавить в избранное
2-е изд., пер. и доп. Учебное пособие для вузов2024/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Системный анализ
-
Скопировать в буфер библиографическое описание
Заграновская, А. В. Системный анализ : учебное пособие для вузов / А. В. Заграновская, Ю. Н. Эйсснер. — Москва : Издательство Юрайт, 2024. — 424 с. — (Высшее образование). — ISBN 978-5-534-13893-1. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/543988 (дата обращения: 07.10.2024).
- Добавить в избранное
Учебное пособие для вузов2024/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
09.00.00 ИНФОРМАТИКА И ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
1672