-
Программирование: теория типов
-
Скопировать в буфер библиографическое описание
Кудрявцева, И. А. Программирование: теория типов : учебное пособие для вузов / И. А. Кудрявцева, М. В. Швецкий. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 652 с. — (Высшее образование). — ISBN 978-5-534-11088-3. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/542163 (дата обращения: 05.05.2024).
- Добавить в избранное
2-е изд., пер. и доп. Учебное пособие для вузов2024/ Гриф УМО ВОНаучная школа: Российский государственный педагогический университет имени А.И. Герцена (Герценовский университет) (г. Санкт-Петербург)Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального госуд...
-
Скопировать в буфер библиографическое описание
-
Программная инженерия и технологии программирования сложных систем
-
Скопировать в буфер библиографическое описание
Лаврищева, Е. М. Программная инженерия и технологии программирования сложных систем : учебник для вузов / Е. М. Лаврищева. — 2-е изд., испр. и доп. — Москва : Издательство Юрайт, 2023. — 432 с. — (Высшее образование). — ISBN 978-5-534-07604-2. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/513067 (дата обращения: 05.05.2024).
- Добавить в избранное
2-е изд., испр. и доп. Учебник для вузов2023Научная школа: Московский физико-технический институт (национальный исследовательский университет) (г. Долгопрудный)В настоящем учебнике подробно рассмотрена история отечественной технологии программирования, теоретические ее аспекты и парадигмы программирования: модульная, объектно-компонентная и сервисная, а также методы разработки в них отдельных элементов, их сборки в систему с проведением верификации, тестирования систем и оценки качества, обозначены перспективы развития техно...
-
Скопировать в буфер библиографическое описание
-
Программная инженерия. Парадигмы, технологии и CASE-средства
-
Скопировать в буфер библиографическое описание
Лаврищева, Е. М. Программная инженерия. Парадигмы, технологии и CASE-средства : учебник для вузов / Е. М. Лаврищева. — 2-е изд., испр. — Москва : Издательство Юрайт, 2024. — 280 с. — (Высшее образование). — ISBN 978-5-534-01056-5. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/537884 (дата обращения: 05.05.2024).
- Добавить в избранное
2-е изд., испр. Учебник для вузов2024Научная школа: Российская академия наук (г. Москва)В учебнике рассмотрены парадигмы, технологии и Case-средства для разработки сложных компьютерных систем из готовых программных ресурсов, создаваемых в разных парадигмах программирования. В первом разделе даны базовые понятия программной инженерии и метода сборки разноязычных модулей в сложные системы, а также средства автоматизации и реинженерии ресурсов и систем. Во ...
Московский физико-технический институт (национальный исследовательский университет) (г. Долгопрудный)
-
Скопировать в буфер библиографическое описание
-
Проектирование автоматизированных систем обработки информации и управления
-
Скопировать в буфер библиографическое описание
Гутгарц, Р. Д. Проектирование автоматизированных систем обработки информации и управления : учебное пособие для вузов / Р. Д. Гутгарц. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 351 с. — (Высшее образование). — ISBN 978-5-534-15761-1. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/541196 (дата обращения: 05.05.2024).
- Добавить в избранное
2-е изд., пер. и доп. Учебное пособие для вузов2024/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Проектирование и разработка web-приложений
-
Скопировать в буфер библиографическое описание
Тузовский, А. Ф. Проектирование и разработка web-приложений : учебное пособие для вузов / А. Ф. Тузовский. — Москва : Издательство Юрайт, 2024. — 219 с. — (Высшее образование). — ISBN 978-5-534-16300-1. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/537106 (дата обращения: 05.05.2024).
- Добавить в избранное
Учебное пособие для вузов2024/ Гриф УМО -
Скопировать в буфер библиографическое описание
-
Проектирование информационных систем
-
Скопировать в буфер библиографическое описание
Проектирование информационных систем : учебник и практикум для вузов / Д. В. Чистов, П. П. Мельников, А. В. Золотарюк, Н. Б. Ничепорук ; под общей редакцией Д. В. Чистова. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 293 с. — (Высшее образование). — ISBN 978-5-534-15923-3. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/536195 (дата обращения: 05.05.2024).
- Добавить в избранное
2-е изд., пер. и доп. Учебник и практикум для вузов2024/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Проектное финансирование и анализ
-
Скопировать в буфер библиографическое описание
Федотова, М. А. Проектное финансирование и анализ : учебное пособие для вузов / М. А. Федотова, И. А. Никонова, Н. А. Лысова. — Москва : Издательство Юрайт, 2024. — 144 с. — (Высшее образование). — ISBN 978-5-534-09860-0. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/536452 (дата обращения: 05.05.2024).
- Добавить в избранное
Учебное пособие для вузов2024/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Промышленная токсикология
-
Скопировать в буфер библиографическое описание
Максимов, Г. Г. Промышленная токсикология : учебное пособие для вузов / Г. Г. Максимов. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 182 с. — (Высшее образование). — ISBN 978-5-534-14791-9. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/544368 (дата обращения: 05.05.2024).
- Добавить в избранное
2-е изд., пер. и доп. Учебное пособие для вузов2024/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Промышленная экология
-
Скопировать в буфер библиографическое описание
Ларионов, Н. М. Промышленная экология : учебник и практикум для вузов / Н. М. Ларионов, А. С. Рябышенков. — 4-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 472 с. — (Высшее образование). — ISBN 978-5-534-17350-5. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/535645 (дата обращения: 05.05.2024).
- Добавить в избранное
4-е изд., пер. и доп. Учебник и практикум для вузов2024/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Противодействие коррупции
-
Скопировать в буфер библиографическое описание
Противодействие коррупции : учебник и практикум для вузов / И. В. Левакин, Е. В. Охотский, И. Е. Охотский, М. В. Шедий ; под общей редакцией Е. В. Охотского. — 5-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 469 с. — (Высшее образование). — ISBN 978-5-534-18886-8. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/555025 (дата обращения: 05.05.2024).
- Добавить в избранное
5-е изд., пер. и доп. Учебник и практикум для вузов2024/ Гриф УМО ВОНаучная школа: Московский государственный институт международных отношений (университет) МИД России (г. Москва)В издании в логической последовательности и содержательной взаимосвязи рассматриваются базовые научно-теоретические и прикладные аспекты противодействия коррупции, реализации принципов законности, демократии и социальной справедливости. Особое внимание уделено исследованию правовых и организационно-управленческих механизмов и нравственных аспектов борьбы с коррупцией ...
-
Скопировать в буфер библиографическое описание
+7 495 744-00-12
По вопросам использования Образовательной платформы "Юрайт"
Email: help@urait.ru