www.bookin.org.ru Книги Интернет магазин +79015461416

    есть на складе           
Салаты сборник рецептов

 Программная инженерия и технологии программирования сложных систем. Учебник для вузов
Наименование:

Программная инженерия и технологии программирования сложных систем. Учебник для вузов

автор Лаврищева Е.М. издательство Юрайт Разное
Cтраниц 432        твердый переплет       
Аннотация:Инженерия программного обеспечения систем представлена областями знаний стандарта SWEBOK и линиями (Product Lines) изготовления вариантов программных продуктов на основе моделей характеристик и готовых ресурсов (Reuses, Assets, Artifakts и др. ). Рассмотрены методы верификации моделей систем, конфигурационная сборка вариантов продуктов с обеспечением их правильности и надежной работы. Издание исправленное и дополненное. В настоящем учебнике подробно рассмотрена история отечественной технологии программирования, теоретические ее аспекты и парадигмы программирования: модульная, объектно-компонентная и сервисная, а также методы разработки в них отдельных элементов, их сборки в систему с проведением верификации, тестирования систем и оценки качества, обозначены перспективы развития технологий компьютерных программ в направлении нанотехнологий.
Автор: Лаврищева Е.М.
Издательство: Юрайт
Год:2018
Цена:
1443 руб
Количество
Поиск: Программная инженерия и технологии программирования сложных систем. Учебник для вузов
НОВЫЙ ГОД СИМВОЛ 2013 ГОДАУКРАШЕНИЯ
КАРНАВАЛ НА НОВЫЙ ГОД РАСПРОДАЖА
Ортомолекулярная медицина Orthomol Устрание причин заболеваний. Ортомоль это новый метод для лечения и профилактики болезней. Orthomol - ортомолекулярная медицина.
Принцип резолюции в исчислении высказываний и логике предикатов и его...

Содержание. Введение . .3 1. Основные производители .5 2. История возникновения и развития языка ПРОЛОГ . .6 3. Исчисление высказываний . 9 3.1. Исчисление предикатов .11 3.2. Программирование на ПРОЛОГЕ 14 3.3. Принцип резолюций . 16 3.4. Поиск доказательства в системе резолюций . .18 Заключение .22 Список литературы . . 24 Введение. Программные средства, базирующиеся на технологии и методах искусственного интеллекта, получили значительное распространение в мире. Их важность, и, в первую очередь, экспертных систем и нейронных сетей, состоит в том, что данные технологии существенно расширяют круг практически значимых задач, которые можно решать на компьютерах, и их решение приносит значительный экономический эффект. В то же время, технология экспертных систем является важнейшим средством в решении глобальных проблем традиционного программирования: длительность и, следовательно, высокая стоимость разработки приложений; высокая стоимость сопровождения сложных систем; повторная используемость программ и т.п. Кроме того, объединение технологий экспертных систем и нейронных сетей с технологией традиционного программирования добавляет новые качества к коммерческим продуктам за счет обеспечения динамической модификации приложений пользователем, а не программистом, большей ,2000 7. Мендельсон Э. Введение в математическую логику. М., 1976 8. Нечаев В.В., Панченко В.М., Свиридов А.П. Исследование операцийи теория систем.
Кружка "Лучшая Мама в мире", с рисунком.
Качественные керамические кружки с оригинальным рисунком, выполненным в процессе производства (подглазурное нанесение). Упаковка: белый
372 руб
Раздел: Кружки
Доска магнитно-маркерная, 90x120 см, алюминиевая рамка, полочка.
Доска магнитно-маркерная, размер 90x120 см. Картонная основа. Имеет универсальную поверхность, позволяющую наносить информацию
2380 руб
Раздел: Доски магнитно-маркерные
Умные кубики. Уши, лапы и хвосты. 50 игр для развития интеллекта.
IQ-кубики «Уши, лапы и хвосты» — это универсальный набор для развития дошкольника. Выполняя игровые задания, ребёнок учится
306 руб
Раздел: Развивающие игры с кубиками
Книжный магазин bookin.org.ruТехнологии Пентагона на службе российских программистов: Программная инженерия - 222 с. ISBN 5-318-00103-3 ~93.06.18
Бобровский С.И. СПб: Питер  
144 руб
Учебник для СПО Программная инженерия. Визуальное моделирование программных систем.Учебник для СПО Программная инженерия. Визуальное моделирование программных систем.
Описаны методы и инструментальные средства визуального моделирования программных систем с использованием объектно-ориентированного подхода. Черткова Е.А. Юрайт Профессиональное образование 
552 руб
Книжный магазин bookin.org.ruТехнологии программирования C++
В пособие и компакт-диск включены демонстрационные программы, вопросы и упражнения для самопроверки с ответами, тесты и задания для курсового проектирования, а также справочная информация по C++. Давыдов В.Г. БХВ-Петербург Учебное пособие 
348 руб
Методическое пособие по курсу "Моделирование и анализ функционирования сложных систем"Методическое пособие по курсу "Моделирование и анализ функционирования сложных систем"
Кривоножко В.Е. URSS  
193 руб
Методические рекомендации по определению совокупной стоимости разработки и внедрения информационно-технических комплексов сложных систем на ранних этапах проектированияМетодические рекомендации по определению совокупной стоимости разработки и внедрения информационно-технических комплексов сложных систем на ранних этапах
Книга предназначается специалистам, работающим в области информационных технологий, и разработчикам больших автоматизированных систем. Славин О.А.,Шустов А.В. ЛЕНАНД  
258 руб
Гриф УМО вузов России Системная и программная инженерия. Учебное пособие для вузов. Словарь-справочник.Гриф УМО вузов России Системная и программная инженерия. Учебное пособие для вузов. Словарь-справочник.
Издание предназначено для студентов высших учебных заведений, обучающихся по направлению 230200 "Информационные системы", 230100 "Информатика и вычислительная техника" и 220100 "Системный анализ и управление", а также Батоврин В.К. ДМК Пресс  
244 руб
Синергетика сложных систем. Феноменология и статистическая теорияСинергетика сложных систем. Феноменология и статистическая теория
Изложенный материал представляет интерес для научных сотрудников, аспирантов и студентов старших курсов физико-математических, естественно-научных, инженерных и экономических специальностей. Олемской А.И. Либроком Синергетика: от прошлого к будущему 
382 руб
Технологии программирования и хранения данных. Том 45, 2009Технологии программирования и хранения данных. Том 45, 2009
Арлазаров В.Л. Ленанд Труды Института системного анализа РАН 
524 руб
Оценка эффективности сложных систем управленияОценка эффективности сложных систем управления
Проанализированы методы обработки результатов измерений. Железнов И. Белые альвы  
94 руб
От фракталов до скейлинг-поведения Статистическая физика сложных систем.От фракталов до скейлинг-поведения Статистическая физика сложных систем.
Многообразие происходящих в природе явлений, на первый взгляд, не подчиняется каким-то унифицированным принципам, и каждое явление требует введения своих законов описания поведения. Абаимов С.Г. Либроком Синергетика: от прошлого к будущему 
732 руб
Методы исследования динамики сложных систем электроприводаМетоды исследования динамики сложных систем электропривода
Книга рассчитана на инженерно-технических работников, занимающихся проектированием, наладкой и эксплуатацией сложных систем автоматизированного электропривода в различных отраслях промышленности, а также может быть полезна студентам старших курсов Борцов Ю.А. ЁЁ Медиа  
778 руб
Новый подход к обеспечению надежности сложных системНовый подход к обеспечению надежности сложных систем
Для специалистов, работающих в области исследования, создания и эксплуатации изделий машиностроения, преподавателей и студентов вузов. Труханов В.М. Спектр  
697 руб
Исследование сложных систем по частям - диакоптикаИсследование сложных систем по частям - диакоптика
Г. К. ЁЁ Медиа  
1504 руб
Введение в термодинамику сложных систем. Принципы математического моделирования и некоторые приложенияВведение в термодинамику сложных систем. Принципы математического моделирования и некоторые приложения
Мы исходим из того, что сложные системы существуют в термодинамически неравновесных состояниях, для описания которых необходимы феноменологические внутренние переменные, ответственные за динамику системы, и содержанием исследования конкретной Покровский В.Н. URSS Физика 
826 руб
Синергетика сложных систем. Феноменология и статистическая теория. Выпуск №45Синергетика сложных систем. Феноменология и статистическая теория. Выпуск №45
Развиты статистическая теория самоподобных систем, теория сложных сетей, обладающих иерархической структурой, и статистическая теория временных рядов. Олемской А.И. URSS Синергетика: от прошлого к будущему 
638 руб
От нелинейных колебаний до искусственных нейронов и сложных систем. Книга 2 Теоретическая физика и анализ сложных систем. Математические модели.От нелинейных колебаний до искусственных нейронов и сложных систем. Книга 2 Теоретическая физика и анализ сложных систем. Математические
Данная книга, представляющая собой вторую часть монографии, посвящена моделям нелинейных и сложных систем и состоит из двух разделов. Головинский П.А. URSS  
838 руб
Учебное пособие для академического бакалавриата Теория надежности сложных систем в отработке и эксплуатации.Учебное пособие для академического бакалавриата Теория надежности сложных систем в отработке и эксплуатации.
Издание переработанное и дополненное. Северцев Н.А. Юрайт Бакалавр. Академический курс 
1457 руб
Книжный магазин bookin.org.ruТехнология программирования: Учебник для вузов Изд. 2-е, стереотип. - 320 с. {Информатика в техническом университете} ISBN 5-7038-2077-4 ~93.02.20
Иванова Г.С. М: МГТУ им. Н.Э.Баумана  
309 руб
Технология программирования на C++. Гриф УМО ВУЗов России Начальный курс.Технология программирования на C++. Гриф УМО ВУЗов России Начальный курс.
Уделено особое внимание использованию стандартной библиотеки шаблонов STL. Литвиненко Н.А. БХВ-Петербург  
126 руб
Технология программирования. УчебникТехнология программирования. Учебник
Может быть интересен всем изучающим программирование самостоятельно. Иванова Г.С. КноРус  
338 руб
Технология программирования. Гриф УМО МО РФТехнология программирования. Гриф УМО МО РФ
Для студентов, обучающихся по специальности «Математическое обеспечение и администрирование информационных систем». Терехов А.Н. Бином. Лаборатория знаний Информационные технологии от первого лица 
166 руб
Технология разработки экспертных систем на языке Visual Prolog 7.5Технология разработки экспертных систем на языке Visual Prolog 7.5
Книга может быть полезной как студентам, изучающим дисциплины, связанные с искусственным интеллектом, так и разработчикам экспертных систем. Цуканова Н.И. КУРС  
887 руб
Автоматизированное моделирование программных систем: Учебное пособие по курсу 'Технология разработки программных систем'Автоматизированное моделирование программных систем: Учебное пособие по курсу 'Технология разработки программных
Приведён пример их использования для решения учебной задачи. Дзюба Д.В.,Крылов С.С. Вузовская книга  
221 руб
Технология разработки и моделирования вариантов программных систем. Монография для вузовТехнология разработки и моделирования вариантов программных систем. Монография для вузов
Лаврищева Е.М. Юрайт Университеты России 
1443 руб
Книжный магазин bookin.org.ruИсследование систем управления: Учебно-практическое пособие - 256 с. {Новые технологии} ISBN 5-241-00235-9 ~93.11.19
Долятовский В.А., Долятовская В.Н. М,Ростов: МарТ  
153 руб
Объектно-ориентированное конструирование программных систем Объектно-ориентированное конструирование программных систем (+ CD-ROM)
Основное внимание уделяется вопросам качества, повторного использования и расширяемости проектируемых систем. Мейер Б. Русская Редакция  
648 руб
Книжный магазин bookin.org.ruТехническое и программное обеспечение распределенных систем управления: Учебное пособие для вузов (под ред. Харазов
Кадыров Э.Д.,Анашкин А.С.,Харазов В.Г. Р-2,П-2,Иван Федоров  
529 руб
Книжный магазин bookin.org.ruУстановка Windows на чистый винчестер; Установка и переустановка Windows: Автоматическая установка Windows; Установка нескольких операционных систем на один
Отдельно рассмотрена переустановка, установка и настройка Wi\ ndows 98, Wi\ ndows XP и 2000. Кроме этого, в книге описано, как можно автоматизировать установку Wi\ ndows - сделать ее автоматической. Кузнецова Н.А. Наука и техника Просто о сложном 
83 руб
Книжный магазин bookin.org.ruПараллельное программирование для многопроцессорных вычислительных систем - 400 с. {Мастер программ} ISBN 5-94157-188-7 ~92.10.28
Немнюгин С.А., Стесик О.Л. СПб: БХВ-Петербург  
179 руб
Безопасность глобальных сетевых технологий Изд. 2-е - 368 с. {Мастер систем} ISBN 5-94157-213-1             ~92.12.02 033Безопасность глобальных сетевых технологий Изд. 2-е - 368 с. {Мастер систем} ISBN 5-94157-213-1 ~92.12.02
Поясняются принципы функционирования различных сегевых служб, влияющих на информационно-компьютерную безопасность. Зима В.М., Молдовян А.А., Молдовян Н.А. СПб: БХВ-Петербург  
204 руб
Концептуальное проектирование баз данных; Организация работы Web-приложений в программном окружении: Администрирование баз данных; Базы данных: Языки программирования баз данных; Принцип построения баз данных и СУБД; Основы, проектирование, использование: Реляционное модель данных; Учебное пособие для вузовКонцептуальное проектирование баз данных; Организация работы Web-приложений в программном окружении: Администрирование баз данных; Базы данных: Языки
Малыхина М.П. БХВ-Петербург Учебное пособие 
228 руб
Для инженеров, занимающихся разработкой систем обнаружения сигналов Изд. 2-е, перераб. , доп. Обнаружение, классификация и оценивание сигналов: Последовательные процедуры:Для инженеров, занимающихся разработкой систем обнаружения сигналов Изд. 2-е, перераб. , доп. Обнаружение, классификация и оценивание сигналов: Последовательные
В пособии дано систематизированное изложение основных фактов и событий истории России с древнейших времен до настоящего времени, необходимых для успешной сдачи выпускных экзаменов за курс средней школы и вступительных экзаменов в высшие учебные Розов А.К. Политехника  
169 руб
Книжный магазин bookin.org.ruТеплоиспользующие и газовые холодильные машины; Холодильное оборудование и насосы; Учебник для вузов - 360 с. {Специалист} Низкотемпературные технологии в
Румянцев Ю.Д., Калюнов В.С. СПб: Профессия  
299 руб
Отделочные материалы; Строитель: Справочник специалиста стройиндустрии: 2005/ 2: Потолки: Материалы и технологии: Облицовочные материалы для потолочных систем и др. Материалы для подготовки поверхностей под отделку;Отделочные материалы; Строитель: Справочник специалиста стройиндустрии: 2005/ 2: Потолки: Материалы и технологии: Облицовочные материалы для потолочных систем и
Стройинформ  
397 руб
Разработка гетерогенных систем в Интернет-ориентированной среде. Гриф УМО МО РФ Основы современного программирования.Разработка гетерогенных систем в Интернет-ориентированной среде. Гриф УМО МО РФ Основы современного программирования.
NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Зыков С.В. Горячая линия - Телеком Специальность 
230 руб
Основы организации систем цифровых связей в сложных информационно-измерительных комплексахОсновы организации систем цифровых связей в сложных информационно-измерительных комплексах
В книге изложены принципы организации каналов проводных связей для помехоустойчивой последовательной передачи цифровой информации в системах управления объектами. Энергоатомиздат Библиотека энергетика 
86 руб
Книжный магазин bookin.org.ruУправление обеспечением стойкости сложных технических систем
На примере летательных аппаратов рассмотрена процедура расчетно-экспериментальной оценки стойкости. Бакулин Физматлит  
258 руб
Проектирование, разработка и анализ программного обеспечения систем реального времени Проектирование, разработка и анализ программного обеспечения систем реального времени (+ CD-ROM)
Компакт-диск содержит trial-версии программ, которые используются для части рассматриваемых практических упражнений (QNX SDP, Aicas JamaicaVM, а также MinGW). Зыль С.Н. БХВ-Петербург  
356 руб
Анализ и сокращение рисков проектов сложных программных средствАнализ и сокращение рисков проектов сложных программных средств
Липаев В.В. СИНТЕГ  
197 руб
Гриф МО Республики Беларусь Математическое программирование: Информационные технологии оптимальных решений.Гриф МО Республики Беларусь Математическое программирование: Информационные технологии оптимальных решений.
Некоторые решения реализованы с помощью электронных таблиц Microsoft Excel. Костевич Л.С. Новое знание  
4 руб


на главную


+7 (495) 105-96-52

Киниги почтой www.bookin.org.ru Книжный интернет магазин bookin.org.ru доставка книг почтой