-
Программирование: теория типов
-
Скопировать в буфер библиографическое описание
Кудрявцева, И. А. Программирование: теория типов : учебное пособие для вузов / И. А. Кудрявцева, М. В. Швецкий. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 652 с. — (Высшее образование). — ISBN 978-5-534-11088-3. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/542163 (дата обращения: 30.09.2024).
- Добавить в избранное
2-е изд., пер. и доп. Учебное пособие для вузов2024/ Гриф УМО ВОНаучная школа: Российский государственный педагогический университет имени А.И. Герцена (Герценовский университет) (г. Санкт-Петербург)Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального госуд...
-
Скопировать в буфер библиографическое описание
-
Программная инженерия. Парадигмы, технологии и CASE-средства
-
Скопировать в буфер библиографическое описание
Лаврищева, Е. М. Программная инженерия. Парадигмы, технологии и CASE-средства : учебник для вузов / Е. М. Лаврищева. — 2-е изд., испр. — Москва : Издательство Юрайт, 2024. — 280 с. — (Высшее образование). — ISBN 978-5-534-01056-5. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/537884 (дата обращения: 30.09.2024).
- Добавить в избранное
2-е изд., испр. Учебник для вузов2024Научная школа: Российская академия наук (г. Москва)В учебнике рассмотрены парадигмы, технологии и Case-средства для разработки сложных компьютерных систем из готовых программных ресурсов, создаваемых в разных парадигмах программирования. В первом разделе даны базовые понятия программной инженерии и метода сборки разноязычных модулей в сложные системы, а также средства автоматизации и реинженерии ресурсов и систем. Во ...
Московский физико-технический институт (национальный исследовательский университет) (г. Долгопрудный)
-
Скопировать в буфер библиографическое описание
-
Промышленная токсикология
-
Скопировать в буфер библиографическое описание
Максимов, Г. Г. Промышленная токсикология : учебное пособие для вузов / Г. Г. Максимов. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 182 с. — (Высшее образование). — ISBN 978-5-534-14791-9. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/544368 (дата обращения: 30.09.2024).
- Добавить в избранное
2-е изд., пер. и доп. Учебное пособие для вузов2024/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Процессы и аппараты защиты окружающей среды
-
Скопировать в буфер библиографическое описание
Каракеян, В. И. Процессы и аппараты защиты окружающей среды : учебник и практикум для вузов / В. И. Каракеян, В. Б. Кольцов, О. В. Кондратьева ; под общей редакцией В. И. Каракеяна. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 544 с. — (Высшее образование). — ISBN 978-5-534-16354-4. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/544913 (дата обращения: 30.09.2024).
- Добавить в избранное
2-е изд., пер. и доп. Учебник и практикум для вузов2024/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Радиотехнические системы: основы теории
-
Скопировать в буфер библиографическое описание
Берикашвили, В. Ш. Радиотехнические системы: основы теории : учебное пособие для вузов / В. Ш. Берикашвили. — 2-е изд., испр. и доп. — Москва : Издательство Юрайт, 2024. — 105 с. — (Высшее образование). — ISBN 978-5-534-09917-1. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/539832 (дата обращения: 30.09.2024).
- Добавить в избранное
2-е изд., испр. и доп. Учебное пособие для вузов2024/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Распознавание образов
-
Скопировать в буфер библиографическое описание
Кудрявцев, В. Б. Распознавание образов : учебное пособие для вузов / В. Б. Кудрявцев, Э. Э. Гасанов, А. С. Подколзин. — 2-е изд. — Москва : Издательство Юрайт, 2024. — 107 с. — (Высшее образование). — ISBN 978-5-534-15338-5. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/544689 (дата обращения: 30.09.2024).
- Добавить в избранное
2-е изд.Учебное пособие для вузов2024/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Растениеводство. Практикум
-
Скопировать в буфер библиографическое описание
Таланов, И. П. Растениеводство. Практикум : учебное пособие для вузов / И. П. Таланов. — 2-е изд., испр. и доп. — Москва : Издательство Юрайт, 2024. — 328 с. — (Высшее образование). — ISBN 978-5-534-07344-7. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/538712 (дата обращения: 30.09.2024).
- Добавить в избранное
2-е изд., испр. и доп. Учебное пособие для вузов2024 -
Скопировать в буфер библиографическое описание
-
Регионалистика. Классические и современные подходы
-
Скопировать в буфер библиографическое описание
Михайленко, Е. Б. Регионалистика. Классические и современные подходы : учебное пособие для вузов / Е. Б. Михайленко ; под научной редакцией М. М. Лебедевой. — Москва : Издательство Юрайт, 2022. — 116 с. — (Высшее образование). — ISBN 978-5-534-09920-1. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/493492 (дата обращения: 30.09.2024).
- Добавить в избранное
Учебное пособие для вузов2022Научная школа: Уральский федеральный университет имени первого Президента России Б.Н. Ельцина (г. Екатеринбург)Пособие поможет студентам понять, что представляют собой регионы мира сегодня, опираясь на новую методологическую и теоретическую модель исследования. В нем рассматриваются особенности регионализации современных международных отношений, образование регионов и теоретическое измерение этих процессов теоретиками «старого» и «нового» регионализма. На примерах «европейског...
-
Скопировать в буфер библиографическое описание
-
Речной сток и гидрологические расчеты. Компьютерный практикум
-
Скопировать в буфер библиографическое описание
Магрицкий, Д. В. Речной сток и гидрологические расчеты. Компьютерный практикум : учебное пособие для вузов / Д. В. Магрицкий. — 2-е изд., испр. и доп. — Москва : Издательство Юрайт, 2024. — 184 с. — (Высшее образование). — ISBN 978-5-534-04788-2. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/539246 (дата обращения: 30.09.2024).
- Добавить в избранное
2-е изд., испр. и доп. Учебное пособие для вузов2024 -
Скопировать в буфер библиографическое описание
-
Сельскохозяйственная фитопатология
-
Скопировать в буфер библиографическое описание
Левитин, М. М. Сельскохозяйственная фитопатология : учебное пособие для вузов / М. М. Левитин. — 3-е изд., испр. — Москва : Издательство Юрайт, 2024. — 283 с. — (Высшее образование). — ISBN 978-5-534-15188-6. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/536399 (дата обращения: 30.09.2024).
- Добавить в избранное
3-е изд., испр. Учебное пособие для вузов2024/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
06.00.00 БИОЛОГИЧЕСКИЕ НАУКИ
1272