-
Ознакомиться Бесплатная доставка Бесплатная доставка при заказе ПЕЧАТНЫХ КНИГ от 3000 руб.Программирование: теория типов
-
Скопировать в буфер библиографическое описание
Кудрявцева, И. А. Программирование: теория типов : учебник для вузов / И. А. Кудрявцева, М. В. Швецкий. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2026. — 652 с. — (Высшее образование). — ISBN 978-5-534-11088-3. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/587340 (дата обращения: 22.02.2026).
- Добавить в избранное
2-е изд., пер. и доп. Учебник для вузов2026/ Гриф УМО ВОНаучная школа: Российский государственный педагогический университет имени А.И. Герцена (Герценовский университет) (г. Санкт-Петербург)Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального госуд...
-
Скопировать в буфер библиографическое описание
-
Программная инженерия. Парадигмы, технологии и CASE-средства
-
Скопировать в буфер библиографическое описание
Лаврищева, Е. М. Программная инженерия. Парадигмы, технологии и CASE-средства : учебник для вузов / Е. М. Лаврищева. — 2-е изд., испр. — Москва : Издательство Юрайт, 2026. — 280 с. — (Высшее образование). — ISBN 978-5-534-01056-5. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/584533 (дата обращения: 22.02.2026).
- Добавить в избранное
2-е изд., испр. Учебник для вузов2026Научная школа: Российская академия наук (г. Москва)В учебнике рассмотрены парадигмы, технологии и Case-средства для разработки сложных компьютерных систем из готовых программных ресурсов, создаваемых в разных парадигмах программирования. В первом разделе даны базовые понятия программной инженерии и метода сборки разноязычных модулей в сложные системы, а также средства автоматизации и реинженерии ресурсов и систем. Во ...
Московский физико-технический институт (национальный исследовательский университет) (г. Долгопрудный)
-
Скопировать в буфер библиографическое описание
-
Промышленная токсикология
-
Скопировать в буфер библиографическое описание
Максимов, Г. Г. Промышленная токсикология : учебник для вузов / Г. Г. Максимов. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2026. — 182 с. — (Высшее образование). — ISBN 978-5-534-14791-9. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/588810 (дата обращения: 22.02.2026).
- Добавить в избранное
2-е изд., пер. и доп. Учебник для вузовКурс посвящен теоретическим и прикладным аспектам отечественной промышленной токсикологии — важному разделу профилактической токсикологии и медицины труда. Изложены история научной дисциплины, классификации химических веществ, количественная оценка токсичности и опасности токсикантов в воздухе рабочей зоны, избирательное, комплексное и комбинированное воздействие на о...2026/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Промышленная экология
-
Скопировать в буфер библиографическое описание
Ларионов, Н. М. Промышленная экология : учебник и практикум для вузов / Н. М. Ларионов, А. С. Рябышенков. — 4-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2026. — 472 с. — (Высшее образование). — ISBN 978-5-534-17350-5. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/582687 (дата обращения: 22.02.2026).
- Добавить в избранное
4-е изд., пер. и доп. Учебник и практикум для вузовВ курсе рассмотрены вопросы обеспечения экологической безопасности, приведены источники и масштабы загрязнения окружающей среды. Описаны процессы образования токсичных веществ различными источниками, даны зависимости образования и распространения вредных примесей в пространстве. Представлены методики оценки и контроля вредных веществ различного агрегатного состояния, ...2026/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Психодиагностика персонала
-
Скопировать в буфер библиографическое описание
Васильева, И. В. Психодиагностика персонала : учебник для вузов / И. В. Васильева. — 2-е изд., стер. — Москва : Издательство Юрайт, 2025. — 120 с. — (Высшее образование). — ISBN 978-5-534-18481-5. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/566198 (дата обращения: 22.02.2026).
- Добавить в избранное
2-е изд., стер. Учебник для вузовВ курсе рассматриваются вопросы психологической оценки персонала в организациях и способы психологической оптимизации работы людей. Приводятся научно обоснованные методики и методы психологической оценки когнитивных, мотивационно-волевых, коммуникативных профессионально важных качеств сотрудников организаций. Описываются психотехнологии обучения, стресс-менеджмента и ...2025 -
Скопировать в буфер библиографическое описание
-
Радиотехнические системы: основы теории
-
Скопировать в буфер библиографическое описание
Берикашвили, В. Ш. Радиотехнические системы: основы теории : учебник для вузов / В. Ш. Берикашвили. — 2-е изд., испр. и доп. — Москва : Издательство Юрайт, 2026. — 105 с. — (Высшее образование). — ISBN 978-5-534-09917-1. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/585945 (дата обращения: 22.02.2026).
- Добавить в избранное
2-е изд., испр. и доп. Учебник для вузовРадиотехнические системы - быстро растущая область знаний. Постоянно раширяется сфера их применения на практике, а вместе с тем и их сложность. В курсе рассматриваются основные типы радиотехнических систем, дается их классификация по используемым частотам (длинам волн), типу модуляции, назначению, методам обработки информации, функциональным особенностям. Уделено вним...2026/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Распознавание образов
-
Скопировать в буфер библиографическое описание
Кудрявцев, В. Б. Распознавание образов : учебное пособие для вузов / В. Б. Кудрявцев, Э. Э. Гасанов, А. С. Подколзин. — 2-е изд. — Москва : Издательство Юрайт, 2026. — 101 с. — (Высшее образование). — ISBN 978-5-534-21049-1. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/589089 (дата обращения: 22.02.2026).
- Добавить в избранное
2-е изд.Учебное пособие для вузовПредлагаемый курс основан на материале специальных курсов «Распознавание образов», «Интеллектуальные системы», читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ имени М. В. Ломоносова.2026/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Регионалистика. Классические и современные подходы
-
Скопировать в буфер библиографическое описание
Михайленко, Е. Б. Регионалистика. Классические и современные подходы : учебное пособие для вузов / Е. Б. Михайленко ; под научной редакцией М. М. Лебедевой. — Москва : Издательство Юрайт, 2025. — 104 с. — (Высшее образование). — ISBN 978-5-534-17652-0. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/533488 (дата обращения: 22.02.2026).
- Добавить в избранное
Учебное пособие для вузов2025/ Гриф УМО ВОНаучная школа: Уральский федеральный университет имени первого Президента России Б.Н. Ельцина (г. Екатеринбург)Курс поможет студентам понять, что представляют собой регионы мира сегодня, опираясь на новую методологическую и теоретическую модель исследования. В нем рассматриваются особенности регионализации современных международных отношений, образование регионов и теоретическое измерение этих процессов теоретиками «старого» и «нового» регионализма. На примерах «европейского» ...
-
Скопировать в буфер библиографическое описание
-
Речной сток и гидрологические расчеты. Компьютерный практикум
-
Скопировать в буфер библиографическое описание
Магрицкий, Д. В. Речной сток и гидрологические расчеты. Компьютерный практикум : учебник для вузов / Д. В. Магрицкий. — 2-е изд., испр. и доп. — Москва : Издательство Юрайт, 2026. — 184 с. — (Высшее образование). — ISBN 978-5-534-04788-2. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/585544 (дата обращения: 22.02.2026).
- Добавить в избранное
2-е изд., испр. и доп. Учебник для вузовВ учебном пособии представлены приемы расчетов речного стока с использованием специализированных компьютерных программ. В нем подробно описана работа с программами Microsoft Excel, StokStat, HydroStatCalc и «Гидрорасчеты», а также методы расчетных гидрологических характеристик при отсутствии данных гидрометрических наблюдений. Книга включает текстовое описание структу...2026 -
Скопировать в буфер библиографическое описание
-
Семеноведение полевых культур. Практический курс
-
Скопировать в буфер библиографическое описание
Таланов, И. П. Семеноведение полевых культур. Практический курс : учебное пособие для академического бакалавриата / И. П. Таланов. — 2-е изд., испр. и доп. — Москва : Издательство Юрайт, 2025. — 281 с. — (Высшее образование). — ISBN 978-5-534-20432-2. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/558151 (дата обращения: 22.02.2026).
- Добавить в избранное
2-е изд., испр. и доп. Учебное пособие для академического бакалавриатаПредставлены ботаническая и морфологическая характеристики основных полевых культур. Большое внимание уделено семеноведению. Описаны технологические приемы производства продукции растениеводства. Дана методика выполнения лабораторных работ и практических занятий.2025 -
Скопировать в буфер библиографическое описание
06.00.00 БИОЛОГИЧЕСКИЕ НАУКИ
1292
