-
Программирование: математическая логика
-
Скопировать в буфер библиографическое описание
Программирование: математическая логика : учебное пособие для вузов / М. В. Швецкий, М. В. Демидов, А. В. Голанова, И. А. Кудрявцева. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 675 с. — (Высшее образование). — ISBN 978-5-534-11009-8. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/542164 (дата обращения: 18.05.2024).
- Добавить в избранное
2-е изд., пер. и доп. Учебное пособие для вузов2024/ Гриф УМО ВОНаучная школа: Российский государственный педагогический университет имени А.И. Герцена (Герценовский университет) (г. Санкт-Петербург)Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество з...
-
Скопировать в буфер библиографическое описание
-
Программирование: теория типов
-
Скопировать в буфер библиографическое описание
Кудрявцева, И. А. Программирование: теория типов : учебное пособие для вузов / И. А. Кудрявцева, М. В. Швецкий. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 652 с. — (Высшее образование). — ISBN 978-5-534-11088-3. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/542163 (дата обращения: 18.05.2024).
- Добавить в избранное
2-е изд., пер. и доп. Учебное пособие для вузов2024/ Гриф УМО ВОНаучная школа: Российский государственный педагогический университет имени А.И. Герцена (Герценовский университет) (г. Санкт-Петербург)Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального госуд...
-
Скопировать в буфер библиографическое описание
-
Программная инженерия и технологии программирования сложных систем
-
Скопировать в буфер библиографическое описание
Лаврищева, Е. М. Программная инженерия и технологии программирования сложных систем : учебник для вузов / Е. М. Лаврищева. — 2-е изд., испр. и доп. — Москва : Издательство Юрайт, 2023. — 432 с. — (Высшее образование). — ISBN 978-5-534-07604-2. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/513067 (дата обращения: 18.05.2024).
- Добавить в избранное
2-е изд., испр. и доп. Учебник для вузов2023Научная школа: Московский физико-технический институт (национальный исследовательский университет) (г. Долгопрудный)В настоящем учебнике подробно рассмотрена история отечественной технологии программирования, теоретические ее аспекты и парадигмы программирования: модульная, объектно-компонентная и сервисная, а также методы разработки в них отдельных элементов, их сборки в систему с проведением верификации, тестирования систем и оценки качества, обозначены перспективы развития техно...
-
Скопировать в буфер библиографическое описание
-
Программная инженерия. Парадигмы, технологии и CASE-средства
-
Скопировать в буфер библиографическое описание
Лаврищева, Е. М. Программная инженерия. Парадигмы, технологии и CASE-средства : учебник для вузов / Е. М. Лаврищева. — 2-е изд., испр. — Москва : Издательство Юрайт, 2024. — 280 с. — (Высшее образование). — ISBN 978-5-534-01056-5. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/537884 (дата обращения: 18.05.2024).
- Добавить в избранное
2-е изд., испр. Учебник для вузов2024Научная школа: Российская академия наук (г. Москва)В учебнике рассмотрены парадигмы, технологии и Case-средства для разработки сложных компьютерных систем из готовых программных ресурсов, создаваемых в разных парадигмах программирования. В первом разделе даны базовые понятия программной инженерии и метода сборки разноязычных модулей в сложные системы, а также средства автоматизации и реинженерии ресурсов и систем. Во ...
Московский физико-технический институт (национальный исследовательский университет) (г. Долгопрудный)
-
Скопировать в буфер библиографическое описание
-
Программно-аппаратные средства защиты информации. Защита программного обеспечения
-
Скопировать в буфер библиографическое описание
Казарин, О. В. Программно-аппаратные средства защиты информации. Защита программного обеспечения : учебник и практикум для вузов / О. В. Казарин, А. С. Забабурин. — Москва : Издательство Юрайт, 2024. — 312 с. — (Высшее образование). — ISBN 978-5-9916-9043-0. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/538066 (дата обращения: 18.05.2024).
- Добавить в избранное
Учебник и практикум для вузов2024/ Гриф УМО ВОНаучная школа: Российский государственный гуманитарный университет (г. Москва)Цель настоящего учебника — овладение теоретическими знаниями и формирование практических умений и навыков в области обеспечения безопасности программного обеспечения, в том числе освоение комплекса мер, методов и способов защиты программ от различного рода деструктивных угроз в процессе их возникновения и реализации в современных информационных системах. Наряду с науч...
Московский государственный университет имени М.В. Ломоносова (г. Москва)
-
Скопировать в буфер библиографическое описание
-
Проектирование автоматизированных систем обработки информации и управления
-
Скопировать в буфер библиографическое описание
Гутгарц, Р. Д. Проектирование автоматизированных систем обработки информации и управления : учебное пособие для вузов / Р. Д. Гутгарц. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 351 с. — (Высшее образование). — ISBN 978-5-534-15761-1. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/541196 (дата обращения: 18.05.2024).
- Добавить в избранное
2-е изд., пер. и доп. Учебное пособие для вузов2024/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Проектирование информационных систем
-
Скопировать в буфер библиографическое описание
Проектирование информационных систем : учебник и практикум для вузов / Д. В. Чистов, П. П. Мельников, А. В. Золотарюк, Н. Б. Ничепорук ; под общей редакцией Д. В. Чистова. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 293 с. — (Высшее образование). — ISBN 978-5-534-15923-3. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/536195 (дата обращения: 18.05.2024).
- Добавить в избранное
2-е изд., пер. и доп. Учебник и практикум для вузов2024/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Проектирование предприятий общественного питания. Доготовочные цеха и торговые помещения
-
Скопировать в буфер библиографическое описание
Пасько, О. В. Проектирование предприятий общественного питания. Доготовочные цеха и торговые помещения : учебное пособие для вузов / О. В. Пасько, О. В. Автюхова. — 2-е изд., испр. и доп. — Москва : Издательство Юрайт, 2024. — 231 с. — (Высшее образование). — ISBN 978-5-534-07510-6. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/538549 (дата обращения: 18.05.2024).
- Добавить в избранное
2-е изд., испр. и доп. Учебное пособие для вузов2024 -
Скопировать в буфер библиографическое описание
-
Проектирование электрических машин
-
Скопировать в буфер библиографическое описание
Копылов, И. П. Проектирование электрических машин : учебник для вузов / И. П. Копылов. — 4-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 828 с. — (Высшее образование). — ISBN 978-5-534-11700-4. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/542473 (дата обращения: 18.05.2024).
- Добавить в избранное
4-е изд., пер. и доп. Учебник для вузов2024/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Проектное финансирование и анализ
-
Скопировать в буфер библиографическое описание
Федотова, М. А. Проектное финансирование и анализ : учебное пособие для вузов / М. А. Федотова, И. А. Никонова, Н. А. Лысова. — Москва : Издательство Юрайт, 2024. — 144 с. — (Высшее образование). — ISBN 978-5-534-09860-0. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/536452 (дата обращения: 18.05.2024).
- Добавить в избранное
Учебное пособие для вузов2024/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
+7 495 744-00-12
По вопросам использования Образовательной платформы "Юрайт"
Email: help@urait.ru