-
Ознакомиться Бесплатная доставка Бесплатная доставка при заказе ПЕЧАТНЫХ КНИГ от 3000 руб.Программирование: теория типов
-
Скопировать в буфер библиографическое описание
Кудрявцева, И. А. Программирование: теория типов : учебник для вузов / И. А. Кудрявцева, М. В. Швецкий. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2026. — 652 с. — (Высшее образование). — ISBN 978-5-534-11088-3. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/587340 (дата обращения: 10.06.2026).
- Добавить в избранное
2-е изд., пер. и доп. Учебник для вузов2026/ Гриф УМО ВОНаучная школа: Российский государственный педагогический университет имени А.И. Герцена (Герценовский университет) (г. Санкт-Петербург)Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального госуд...
-
Скопировать в буфер библиографическое описание
-
Структурное программирование
-
Скопировать в буфер библиографическое описание
Якимов, С. П. Структурное программирование : учебник для вузов / С. П. Якимов. — Москва : Издательство Юрайт, 2026. — 342 с. — (Высшее образование). — ISBN 978-5-534-14885-5. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/588771 (дата обращения: 10.06.2026).
- Добавить в избранное
Учебник для вузовВ курсе освещены основные аспекты структурного программирования с примерами на языке Pascal. Каждый раздел содержит задания различной сложности для самостоятельного выполнения и контрольные примеры для проверки правильности выполнения. Уделено внимание технологии программирования и стандартам стилевого оформления программного кода. Основой данного курса послужили мате...2026/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Концепции современного программирования
-
Скопировать в буфер библиографическое описание
Малов, А. В. Концепции современного программирования : учебник для вузов / А. В. Малов, С. В. Родионов. — Москва : Издательство Юрайт, 2026. — 96 с. — (Высшее образование). — ISBN 978-5-534-14911-1. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/588973 (дата обращения: 10.06.2026).
- Добавить в избранное
Учебник для вузов2026/ Гриф УМО ВОНаучная школа: Санкт-Петербургский государственный электротехнический университет ЛЭТИ имени В.И. Ульянова (Ленина) (г. Санкт-Петербург)В первой части данного курса представлен обзор существующих парадигм и языков программирования, рассматривается возможный подход к их структуризации, построению их иерархии. Анализируются особенности парадигм и языков программирования, области их применения. Вторая и третья части посвящены основам работы с языками Prolog и Common Lisp, базирующимися не на традиционной...
-
Скопировать в буфер библиографическое описание
-
Статистические методы обработки данных в геологии и геохимии
-
Скопировать в буфер библиографическое описание
Воробьев, С. А. Статистические методы обработки данных в геологии и геохимии : учебник для вузов / С. А. Воробьев. — 2-е изд. — Москва : Издательство Юрайт, 2026. — 213 с. — (Высшее образование). — ISBN 978-5-534-14948-7. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/588951 (дата обращения: 10.06.2026).
- Добавить в избранное
2-е изд.Учебник для вузов2026/ Гриф УМО ВОНаучная школа: Российский университет дружбы народов имени Патриса Лумумбы (г. Москва)Рассмотрены основные типы математических моделей, их взаимосвязи и применимость при описании геологических процессов. Изложены приемы математической обработки данных, получившие наибольшее распространение в практике геохимических съемок: оценка параметров геохимического фона, критерии выделения геохимических аномалий, фильтрация случайных помех, методы классификации п...
Московский государственный университет имени М.В. Ломоносова (г. Москва)
-
Скопировать в буфер библиографическое описание
-
Анализ и проектирование систем с использованием UML
-
Скопировать в буфер библиографическое описание
Галиаскаров, Э. Г. Анализ и проектирование систем с использованием UML : учебник для вузов / Э. Г. Галиаскаров, А. С. Воробьев. — Москва : Издательство Юрайт, 2026. — 125 с. — (Высшее образование). — ISBN 978-5-534-14903-6. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/588976 (дата обращения: 10.06.2026).
- Добавить в избранное
Учебник для вузовДанное пособие представляет собой практическое руководство по использованию UML для разработки программных систем. Оно позволит научиться выявлять основные понятия предметной области и разрабатывать красивые диаграммы классов, описывать функциональные требования в виде спецификаций вариантов использования и превращать их в правильные проектные решения. Дополнительно в...2026/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Ознакомиться Бесплатная доставка Бесплатная доставка при заказе ПЕЧАТНЫХ КНИГ от 3000 руб.Теория систем и системный анализ
-
Скопировать в буфер библиографическое описание
Волкова, В. Н. Теория систем и системный анализ : учебник для вузов / В. Н. Волкова, А. А. Денисов. — 3-е изд. — Москва : Издательство Юрайт, 2026. — 562 с. — (Высшее образование). — ISBN 978-5-534-14945-6. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/582538 (дата обращения: 10.06.2026).
- Добавить в избранное
3-е изд.Учебник для вузовВ курсе даются основные понятия теории систем и системного анализа. Определено их место среди других научных направлений. Показана принципиальная ограниченность формализованного описания развивающихся систем с активными элементами. Рассмотрены классификации систем, закономерности их функционирования и развития, методы моделирования и анализа. Приведены примеры разрабо...2026/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Дисперсионный анализ экспериментальных данных
-
Скопировать в буфер библиографическое описание
Горленко, О. А. Дисперсионный анализ экспериментальных данных : учебник для вузов / О. А. Горленко, Н. М. Борбаць, Т. П. Можаева. — 2-е изд., испр. и доп. — Москва : Издательство Юрайт, 2026. — 132 с. — (Высшее образование). — ISBN 978-5-534-14677-6. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/587557 (дата обращения: 10.06.2026).
- Добавить в избранное
2-е изд., испр. и доп. Учебник для вузовРассматривается один из эффективных математико-статистических методов анализа экспериментальных данных — дисперсионный анализ одно- и многофакторных экспериментов с фиксированными уровнями факторов без ограничений на рандомизацию. Излагаются также основы ковариационного анализа на примере обработки одно- и двухфакторных экспериментов. Для студентов направлений подгото...2026/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Компьютерное моделирование динамических систем в среде Rand Model Designer
-
Скопировать в буфер библиографическое описание
Маликов, Р. Ф. Компьютерное моделирование динамических систем в среде Rand Model Designer : учебник для вузов / Р. Ф. Маликов. — Москва : Издательство Юрайт, 2026. — 219 с. — (Высшее образование). — ISBN 978-5-534-14575-5. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/588748 (дата обращения: 10.06.2026).
- Добавить в избранное
Учебник для вузовВ настоящем курсе даны основные сведения по системе визуального моделирования Rand Model Designer. Рассмотрены технологии разработки компьютерных моделей динамических, гибридных систем. Приведена методология исследования линейных и нелинейных динамических систем. Исследованы сложные нелинейные динамические системы как лазеры на квантовых точках и оптический отклик от ...2026/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Управление данными
-
Скопировать в буфер библиографическое описание
Толстобров, А. П. Управление данными : учебник для вузов / А. П. Толстобров. — 3-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2026. — 272 с. — (Высшее образование). — ISBN 978-5-534-14162-7. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/588522 (дата обращения: 10.06.2026).
- Добавить в избранное
3-е изд., пер. и доп. Учебник для вузовКурс предназначен для изучения основ построения информационных систем с базами данных. В нем рассматриваются вопросы описания предметной области в форме ER-диаграмм, ключевые вопросы реляционной модели данных и проектирования на ее основе правильной структуры базы данных, вопросы доступа к данным, реализации системы управления транзакциями, архитектур распределенных с...2026/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Математические расчеты в среде Mathcad
-
Скопировать в буфер библиографическое описание
Черняк, А. А. Математические расчеты в среде Mathcad : учебник для вузов / А. А. Черняк, Ж. А. Черняк ; под общей редакцией А. А. Черняк. — 3-е изд., испр. и доп. — Москва : Издательство Юрайт, 2026. — 163 с. — (Высшее образование). — ISBN 978-5-534-14675-2. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/585680 (дата обращения: 10.06.2026).
- Добавить в избранное
3-е изд., испр. и доп. Учебник для вузов2026/ Гриф УМО ВОНаучная школа: Белорусский государственный педагогический университет имени Максима Танка (г. Минск)В настоящем курсе разработан оригинальный лекционно-лабораторный комплекс для преподавания высшей математики на базе Mathcad. Каждый пункт курса состоит из следующих разделов: «теоретический минимум», который служит кратким справочным материалом; подготовительный практикум, оставляющий возможность решения ряда задач «вручную»; практикум на Mathcad: к нему прилагаются ...
-
Скопировать в буфер библиографическое описание
Компьютерные и информационные науки
261
