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