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

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

 Вложенные алгоритмы Вложенные сети Петри Приводятся алгоритмы верификации некоторых поведенческих свойств. Дается описание формальной семантики таких сетей. В книге представлено описание
Наименование:

Вложенные сети Петри: моделирование и анализ распределенных систем с объективной структурой

автор Ломазова И.А. издательство Научный мир Разное
Cтраниц 208        твердый переплет       
Аннотация:Приводятся алгоритмы верификации некоторых поведенческих свойств. Дается описание формальной семантики таких сетей. В книге представлено описание формализма вложенных сетей Петри, предназначенного для моделирования и анализа поведения распределенных систем со сложной объектной структурой. Вложенные сети Петри представляют собой расширение стандартного формализма сетей Петри, в котором фишки, представляющие локальные ресурсы в позициях сети, сами могут быть сложными объектами с сетевой структурой. Книга предназначена для научных работников, преподавателей, аспирантов и студентов, интересующихся формальными моделями параллельных и распределенных систем.
Автор: Ломазова И.А.
Издательство: Научный мир
Год:2004
Цена:
4 руб
Нет в наличии
Поиск: Вложенные сети Петри: моделирование и анализ распределенных систем с объективной структурой
НОВЫЙ ГОД СИМВОЛ 2013 ГОДАУКРАШЕНИЯ
КАРНАВАЛ НА НОВЫЙ ГОД РАСПРОДАЖА
Ортомолекулярная медицина Orthomol Устрание причин заболеваний. Ортомоль это новый метод для лечения и профилактики болезней. Orthomol - ортомолекулярная медицина.
Использование сетей Петри в математическом...

Курсовая работа на тему: Использование сетей Петри в математическом моделировании ОглавлениеВведение §1. О сетях Петри §2. Сетевое планирование §3. Математические модели с использованием сетей Петри §4. Построение динамической модели на основе сети Петри §5. Применение сетевых моделей для описания параллельных процессов §6. Моделирование процесса обучения с помощью вложенных сетей Петри Заключение Список используемой литературы ВведениеРазвитие ЭВМ и программного обеспечения приводит к ускорению и облегчению выполнения каждого шага моделирования. Увеличение быстродействия ЭВМ и развитие графического интерфейса позволяет получать и отображать результаты в графическом виде в темпе решения. При системном подходе к моделированию должен рассматриваться весь комплекс вопросов: планирование, проведение и обработка результатов вычислительного эксперимента. Важной задачей является обработка результатов вычислений. На этом этапе используются методы, хорошо зарекомендовавшие себя при экспериментах с реальными объектами. Современные пакеты подготовки печатной продукции включают средства оформления текста, подготовки математических формул, графиков, схем, таблиц.
Часы шахматные.
Механизм: механический кварцевый. Материал: пластик. Размеры: 18 x 11,3 x 5,6 см.
2023 руб
Раздел: Прочее
Пепельница S.Quire круглая c откидной крышкой, сталь, покрытие никель и черная краска, 67 мм.
Материал: нержавеющая сталь, покрытие никель, черная краска. Диаметр 67 мм, высота 102 мм.
350 руб
Раздел: Пепельницы
Антистрессовая подушка под шею "Микс".
Удобная подушка под шею создана специально для поездок и перелётов. Её можно использовать и на работе, чтобы приятно расслабиться во время
330 руб
Раздел: Дорожные пледы, подушки
В 3-х частях. Часть 1: Алгоритмы и протоколы каналов и сетей передачи данных Алгоритмы телекоммуникационных сетей.В 3-х частях. Часть 1: Алгоритмы и протоколы каналов и сетей передачи данных Алгоритмы телекоммуникационных сетей.
Семенов Ю.А. Бином. Лаборатория знаний Основы информационных технологий 
481 руб
Алгоритмы телекоммуникационных сетей. Часть 3Алгоритмы телекоммуникационных сетей. Часть 3
Книга предназначена для студентов, специализирующихся в области телекоммуникаций, а также широкого круга любознательных читателей, которые хотят понять, как работают современные сети, использовать их более Семенов Ю.А. Интернет-Университет Информационных Технологий (ИНТУИТ)  
478 руб
Корпоративные сети: технологии, протоколы, алгоритмыКорпоративные сети: технологии, протоколы, алгоритмы
Для специалистов в области разработки и внедрения информационных систем, администраторов корпоративных сетей, будет полезна студентам и аспирантам инфокоммуникационных и информационных специальностей. Корячко В.П. Горячая линия - Телеком  
456 руб
Копирайтинг: по зову Сети Из солдат в генералыКопирайтинг: по зову Сети Из солдат в генералы
Рекомендуется самому широкому кругу читателей. Петр П. Написано пером  
314 руб
Книжный магазин bookin.org.ruСети соблазна (пер. с англ. Кузнецовой И.) - 320 с. {Шарм-мини: Коллекция} ISBN 5-17-009388-8 ~91.10.08 711
Ибо есть ли на этой земле соблазн неодолимее, чем надежда на новое счастье - счастье подлинной, нежной, страстной любви? . . Однако клятвы были забыты, когда судьба подарила ему встречу с юной и прелестной Мэддан Рейни - девушкой, что, сама того не Бэлоу М. М:АСТ  
69 руб
Орфография и пунктуация. Справочные таблицы и алгоритмыОрфография и пунктуация. Справочные таблицы и алгоритмы
Шклярова Грамотей Справочная литература 
78 руб
Химия: Выполнение заданий и решение задач повышенной сложности с комментариями и ответами для подготовки к единому государственному экзамену: Алгоритмы выполнения заданий и способы решения задач Химия: Выполнение заданий и решение задач повышенной сложности с комментариями и ответами для подготовки к единому государственному экзамену: Алгоритмы
Волгоград:Учитель  
36 руб
Кризис в созависимых отношениях: принципы и алгоритмы консультированияКризис в созависимых отношениях: принципы и алгоритмы консультирования
Емельянова Е.В. Речь Современный учебник 
197 руб
Розничные торговые сети в современной экономике - 80 с. ISBN 5-354-00632-5 ~94.02.06 218Розничные торговые сети в современной экономике - 80 с. ISBN 5-354-00632-5 ~94.02.06 218
Хасис Л.А. М: Едиториал УРСС  
198 руб
Книжный магазин bookin.org.ruВремя, деньги, сети, пространство, коммуникации, информации, социалгигиена, рефлексия, инициатива (пер. с нем. Малова Н. В. ) Management & Consulting Искусство
Бэкман А. Духовное познание Management & Consulting 
199 руб
Книжный магазин bookin.org.ruАлгоритмы решения краевых задач; Результаты расчетов (под ред. Георгиевского В. П. ) - 160 с. Классические формы оболочек; Метод функционального нормирования
Виноградов Ю.И., Меньков Г.Б. М: Эдиториал УРСС  
217 руб
Книжный магазин bookin.org.ruМаршевый и параллельный алгоритмы интегрирования уравнений Навье-Стокса для газа и жидкости: Монография - 168 с. ISBN 5-288-03447-8 ~54.00.00
Скурин Л.И. СПб: СПбГУ  
309 руб
Вычислительные системы, сети и телекоммуникации: Учебник для вузов Изд. 2-е, перераб., доп.Вычислительные системы, сети и телекоммуникации: Учебник для вузов Изд. 2-е, перераб., доп.
Рассматриваются их программное обеспечение, функционирование, эффективность и перспективы развития. Пятибратов А.П.,Кириченко А.А.,Гудыно Л.П. Финансы и статистика  
249 руб
Оптимизация экономических систем. Гриф УМО ВУЗов России Примеры и алгоритмы в среде Mathcad.Оптимизация экономических систем. Гриф УМО ВУЗов России Примеры и алгоритмы в среде Mathcad.
Для студентов высших учебных заведений по специальности 351400 "Прикладная информатика (по областям)", а также для всех, кто интересуется применением математических методов в экономике. Охорзин В.А. Финансы и статистика  
97 руб
Создание уникальных систем навигации по сайту; Самоучитель: Создание системы голосования - 240 с. {Самоучитель} Решение математических задач в сети и вне ее; Создание конференции, доски объявлений, гостевых книг, форумов; Flash и PHP:Создание уникальных систем навигации по сайту; Самоучитель: Создание системы голосования - 240 с. {Самоучитель} Решение математических задач в сети и вне ее;
В книге рассматриваются актуальные практические задачи, Самоучитель содержит уроки для начинающих веб-мастеров по созданию FLASH-клипов, а также по написанию и применению PHP-сценариев. $1ного внимания уделено установке и настройке редактора Черный А.И. СПб: Питер  
137 руб
Использование устойчивости Linix Unix при работе в Windows; Многообразие конфигурации; Samba: Интеграция Linix Unix - компьютеров в сети Windows: Стратегия уверенности и безопасности Использование устойчивости Linix Unix при работе в Windows; Многообразие конфигурации; Samba: Интеграция Linix Unix - компьютеров в сети Windows: Стратегия
Кюнель Й. М: Новое знание  
319 руб
Искусство программирования. Том 2. Получисленные алгоритмыИскусство программирования. Том 2. Получисленные алгоритмы
В книге даны основы теории получисленных алгоритмов, а также их основные примеры. Кнут Д. Диалектика / Вильямс  
3043 руб
Книжный магазин bookin.org.ruМассивы и списки; Хеширование и др. (пер. с англ. ) - 560 с. Фундаментальные алгоритмы и структуры данных в Delphi: Очереди и деревья; Сортировка; Поиск;
Бакнелл Дж.М. СПб: ДиаСофтЮП  
379 руб
Антихакинг в сети. ТрюкиАнтихакинг в сети. Трюки
Книга рассчитана на пользователей с опытом работы в сети Интернет, но будет интересна всем, кто заботится о своей информационной безопасности. Локхарт Э. Питер Информационные технологии. Вычислительная техника 
297 руб
Книжный магазин bookin.org.ruСпособы подключения к сети; Грамотный поиск в интернете; Интернет: Настольная книга пользователя: Защита компьютера от вирусов и
Орлов А.А.,Богданов-Катьков Н.В. Сова,Эксмо  
148 руб
Книжный магазин bookin.org.ruКомпьютерные сети и Internet: Разработка приложений для Internet (пер. с англ. Птицына К.А.) Изд. 3-е + CD-Rom - 640 с. ISBN 5-8459-0255-Х 0-13-091449-5
Полностью пересмотренное и дополненное издание, в которое вошли следующие новые главы и мультимедийный CD-ROM. - Глава 3, Сетевое программирование и сетевые приложения. Камер Д.Э. М: ИД Вильямс  
589 руб
Учебное пособие по администрированию локальных и объединенных сетей Компьютерные сети:Учебное пособие по администрированию локальных и объединенных сетей Компьютерные сети:
В конце книги приведен простой пример работы локальной сети, состоящей из двух компьютеров, а также глоссарий сетевых терминов. Велихов А.В. Новый издательский дом  
497 руб
Методы и модели экспертизы объектов интеллектуальной собственности в сети INTERNETМетоды и модели экспертизы объектов интеллектуальной собственности в сети INTERNET
Разработаны графо-аналитические методы визуализации области допустимых решений распределенных в сети динамических процессов, объектно-ориентированная технология экспертизы многорежимных систем интерактивного Ботуз С.П. Солон-пресс Аспекты защиты 
149 руб
Протоколы Internet для электронной торговли  - 740 с. {Сети и сетевые технологии} ISBN 5-93517-123-6 ~93.05.21 704Протоколы Internet для электронной торговли - 740 с. {Сети и сетевые технологии} ISBN 5-93517-123-6 ~93.05.21
Семенов Ю.А. М: Горячая линия-Телеком  
719 руб
Книжный магазин bookin.org.ruСети TCP IP: Т. 1: Принципы, протоколы и структура (пер. с англ. Бойко А., Стрелец Л.) Изд. 4-е - 880 с. ISBN 5-8459-0419-6 0-13-018380-9 ~93.04.18
Камер Д.Э. К,М,СПб: Вильямс  
379 руб
Книжный магазин bookin.org.ruЭффективные технологии работы в сети Интернет: Учебное пособие для вузов
Калиногорский Н.А.,Галевский Г.В. Наука,Флинта  
109 руб
Книжный магазин bookin.org.ruПодробные комментарии к исходным текстам; Радиолюбительские конструкции на PIC-микроконтроллерах: Выпуск 22 - 368 с. {Die Sammlung} Справочные данные: Алгоритмы
Заец Н.И. М: СОЛОН-Пресс  
243 руб
Методы, алгоритмы, применение Искусство помехоустойчивого кодирования.Методы, алгоритмы, применение Искусство помехоустойчивого кодирования.
Помимо классических алгоритмов декодирования блоковых и сверточных кодов детально рассмотрены современные идеи декодирования с «мягким решением» и итеративного декодирования. Морелос-Сарагоса Р. Техносфера  
309 руб
Основные положения; Резервуарные и баллонные установки ОСТ 153-39. 3-051-2003 Основные положения; Резервуарные и баллонные установки ОСТ 153-39. 3-051-2003 (введен в действие с 27 июня 2003 г. ) Безопасность труда России
Деан Безопасность труда России 
219 руб
Учебное пособие для студентов средних специальных учебных заведений и колледжей Учебное пособие для студентов средних специальных учебных заведений и колледжей (под ред. Мацынина С. Н. ) - 640 с. {Среднее профессиональное образование}
Бейербах В.А. Ростов: Феникс  
153 руб
Книжный магазин bookin.org.ruСети 'Небо на земле' [CD] { } ~54.00.00 11377
МистерияЗвука  
118 руб
Компьютерные сети. Принципы, технологии, протоколыКомпьютерные сети. Принципы, технологии, протоколы
Рекомендовано Министерством образования Российской Федерации в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлению 552800 - "Информатика и вычислительная техника" и по специальностям 220100 - Олифер В.Г. Питер  
395 руб
Книжный магазин bookin.org.ruАдминистрирование сети
Предполагается, что читатель имеет опыт работы с компьютером на уровне опытного пользователя. Поляк-Брагинский БХВ-Петербург  
228 руб
Беспроводные сети. Первый шагБеспроводные сети. Первый шаг
Рассмотрены все разновидности беспроводных сетей — персональные, локальные, региональные и глобальные, рассказано об особенностях их структур, компонентов и методах применения. Гейер Дж. Диалектика / Вильямс Первый шаг 
178 руб
Общение в сети Интернет: Просто как дважды дваОбщение в сети Интернет: Просто как дважды два
В книге подробно описано использование электронной почты и приведены краткие, но емкие и полезные рекомендации по борьбе с рекламными рассылками (спамом). Аксак В.А. Эксмо Просто как дважды два 
63 руб
Все сетевые технологии в одной книге: Установка, наладка, настройка сетей; Компьютерные сети: Впервые - беспроводные сети! Серверы и совместный доступ в интернет;Все сетевые технологии в одной книге: Установка, наладка, настройка сетей; Компьютерные сети: Впервые - беспроводные сети! Серверы и совместный доступ в
В полном объеме рассмотрены как традиционные, так и беспроводные сети, оборудование для них, протоколы передачи данных, настройка сетей и серверов под различными ОС - Wi\ ndows XP, 2000, 98. Отдельное внимание уделено встраиванию в сети и Заика А.А. Олма-Пресс Стань ПРОФИ 
184 руб
Книжный магазин bookin.org.ruУчебное пособие для вузов Учебники НГТУ Защита тяговой сети от токов короткого замыкания:
Рассмотрены примеры многоступенчатых и многопараметрических защит, дана оценка надёжности их работы и предложения по дальнейшему совершенствованию. <p>Изложены способы защиты устройств электротехнического комплекса: тяговая подстанция - Кузнецов С.М. изд-во НГТУ Учебники НГТУ 
426 руб
Хитрости: Интернет: Как справиться с самыми неприятными проблемами глобальной сети Хитрости: Интернет: Как справиться с самыми неприятными проблемами глобальной сети (пер. с англ. Вильчинского Н., Шрага
В частности, вы научитесь настраивать надежное и безопасное соединение, отражать хакерские атаки, обеспечивать безопасность своего компьютера, предохраняя его от вирусов, избегать назойливой рекламы, максимизировать эффективность работы в Сети, Гралла П. Питер  
226 руб
Книжный магазин bookin.org.ruНаглядное пособие: Алгоритмы решения задач на распознавание веществ
Яшукова А.В.,Габриелян О.С. Дрофа  
128 руб
Операционные системы: распределенные системы, сети, безопасностьОперационные системы: распределенные системы, сети, безопасность
В отдельной главе рассматриваются проблемы безопасности (права доступа, закрытие информации, надежные протоколы обмена). Дейтел Х.М. Бином. Лаборатория знаний  
605 руб


на главную


+7 (495) 105-96-52

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