-
Программирование: теория типов
-
Скопировать в буфер библиографическое описание
Кудрявцева, И. А. Программирование: теория типов : учебное пособие для вузов / И. А. Кудрявцева, М. В. Швецкий. — 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-средства для разработки сложных компьютерных систем из готовых программных ресурсов, создаваемых в разных парадигмах программирования. В первом разделе даны базовые понятия программной инженерии и метода сборки разноязычных модулей в сложные системы, а также средства автоматизации и реинженерии ресурсов и систем. Во ...
Московский физико-технический институт (национальный исследовательский университет) (г. Долгопрудный)
-
Скопировать в буфер библиографическое описание
-
Проектирование электрических машин
-
Скопировать в буфер библиографическое описание
Копылов, И. П. Проектирование электрических машин : учебник для вузов / И. П. Копылов. — 4-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 828 с. — (Высшее образование). — ISBN 978-5-534-11700-4. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/542473 (дата обращения: 30.09.2024).
- Добавить в избранное
4-е изд., пер. и доп. Учебник для вузов2024/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Процессы и аппараты биотехнологии: ферментационные аппараты
-
Скопировать в буфер библиографическое описание
Процессы и аппараты биотехнологии: ферментационные аппараты : учебное пособие для вузов / А. Ю. Винаров [и др.] ; под редакцией В. А. Быкова. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 274 с. — (Высшее образование). — ISBN 978-5-534-10765-4. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/539934 (дата обращения: 30.09.2024).
- Добавить в избранное
2-е изд., пер. и доп. Учебное пособие для вузов2024 -
Скопировать в буфер библиографическое описание
-
Радиоавтоматика: коррекция систем
-
Скопировать в буфер библиографическое описание
Самусевич, Г. А. Радиоавтоматика: коррекция систем : учебное пособие для вузов / Г. А. Самусевич ; под научной редакцией Д. В. Астрецова. — Москва : Издательство Юрайт, 2024 ; Екатеринбург : Изд-во Урал. ун-та. — 139 с. — (Высшее образование). — ISBN 978-5-534-02907-9 (Издательство Юрайт). — ISBN 978-5-7996-1833-9 (Изд-во Урал. ун-та). — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/534425 (дата обращения: 30.09.2024).
- Добавить в избранное
Учебное пособие для вузов2024Научная школа: Уральский федеральный университет имени первого Президента России Б.Н. Ельцина (г. Екатеринбург)Учебное пособие содержит материал, необходимый для практического изучения непрерывных систем и систем с прерывистым режимом работы. Приведено подробное описание особенностей анализа и коррекции, проиллюстрированное на многочисленных примерах систем радиоавтоматики, аналогичных примерам индивидуальных заданий. Демонстрируется применение коррекции в тех случаях, когда а...
-
Скопировать в буфер библиографическое описание
-
Радиотехнические системы
-
Скопировать в буфер библиографическое описание
Радиотехнические системы : учебное пособие для вузов / М. Ю. Застела [и др.] ; под общей редакцией М. Ю. Застела. — 3-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 495 с. — (Высшее образование). — ISBN 978-5-534-06598-5. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/540113 (дата обращения: 30.09.2024).
- Добавить в избранное
3-е изд., пер. и доп. Учебное пособие для вузов2024/ Гриф УМО ВОНаучная школа: Казанский национальный исследовательский технический университет имени А.Н. Туполева — КАИ (г. Казань)В учебном пособии изложены основы теории радиотехнических систем. Рассмотрены модели сигналов, помех и каналов, особенности обнаружения и различения сигналов, содержатся материалы по практическому использованию полигауссовых моделей и методов, описаны возможные технические решения в области радиотехнических систем. Также в пособии рассмотрены основные структуры, харак...
-
Скопировать в буфер библиографическое описание
-
Силовая электроника
-
Скопировать в буфер библиографическое описание
Розанов, Ю. К. Силовая электроника : учебник и практикум для вузов / Ю. К. Розанов, М. Г. Лепанов ; под редакцией Ю. К. Розанова. — Москва : Издательство Юрайт, 2024. — 206 с. — (Высшее образование). — ISBN 978-5-9916-9440-7. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/536504 (дата обращения: 30.09.2024).
- Добавить в избранное
Учебник и практикум для вузов2024/ Гриф УМО ВОНаучная школа: Национальный исследовательский университет «Московский энергетический институт» (г. Москва)Курс дает студентам представление о принципах действия и основных характеристиках силовых электронных приборов, а также о современных тенденциях развития данной отрасли. В курсе подробно описаны принципы регулирования и основные функциональные элементы систем управления устройствами силовой электроники. Представлены базовые схемы тиристорных преобразователей, автономн...
-
Скопировать в буфер библиографическое описание
-
Синергетика в химии и химической технологии
-
Скопировать в буфер библиографическое описание
Кольцова, Э. М. Синергетика в химии и химической технологии : учебное пособие для вузов / Э. М. Кольцова, Л. С. Гордеев. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 295 с. — (Высшее образование). — ISBN 978-5-534-07044-6. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/539933 (дата обращения: 30.09.2024).
- Добавить в избранное
2-е изд., пер. и доп. Учебное пособие для вузов2024/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Системный анализ теории безопасности
-
Скопировать в буфер библиографическое описание
Северцев, Н. А. Системный анализ теории безопасности : учебное пособие для вузов / Н. А. Северцев, А. В. Бецков. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 456 с. — (Высшее образование). — ISBN 978-5-534-07985-2. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/540069 (дата обращения: 30.09.2024).
- Добавить в избранное
2-е изд., пер. и доп. Учебное пособие для вузов2024/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Системы автоматического управления при случайных воздействиях
-
Скопировать в буфер библиографическое описание
Коломейцева, М. Б. Системы автоматического управления при случайных воздействиях : учебное пособие для вузов / М. Б. Коломейцева, В. М. Беседин. — 2-е изд., испр. и доп. — Москва : Издательство Юрайт, 2024. — 104 с. — (Высшее образование). — ISBN 978-5-534-11166-8. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/540797 (дата обращения: 30.09.2024).
- Добавить в избранное
2-е изд., испр. и доп. Учебное пособие для вузов2024/ Гриф УМО ВОНаучная школа: Национальный исследовательский университет «Московский энергетический институт» (г. Москва)В пособии рассматриваются вопросы исследования линейных и нелинейных систем автоматического управления при случайных воздействиях. Приводится описание случайных процессов и их характеристик. Для проведения анализа систем автоматического управления выведены соотношения для расчета вероятностных характеристик на выходе системы. Представлены методы оптимального синтеза. ...
-
Скопировать в буфер библиографическое описание
12.00.00 ФОТОНИКА, ПРИБОРОСТРОЕНИЕ, ОПТИЧЕСКИЕ И БИОТЕХНИЧЕСКИЕ СИСТЕМЫ И ТЕХНОЛОГИИ
1479