Книжный интернет-магазин: продажа книг с доставкой, заказать книги почтой
Доставка Оплата Каталог Помощь Контакты Новости RSS
Книжный интернет-магазин Спринтер. Продажа книг, купить книгу с доставкой, заказать книгу почтой
+7 (495) 133-59-27
аудио-
книги
распродажа
 А  Б  В  Г  Д  Е  Ё  Ж  З  И  Й  К  Л  М  Н  О  П  Р  С  Т  У  Ф  Х  Ц  Ч  Ш  Щ  Э  Ю  Я 
Моя корзина
товаров: 
0
на сумму:  0 руб.
Сегодня в продаже
814211 наименований книг

Кузьмин Е.В. - Структурированные системы переходов

 /  Книги /  Научная и научно-популярная литература /  Математика /  Научная, учебная литература для специалистов / 
Кузьмин Е.В. - Структурированные системы переходов. Купить книгу. Издательство: Физматлит

Кузьмин Е.В.

В нашем книжном интернет магазине «Спринтер» Вы можете купить книгу Структурированные системы переходов Кузьмин Е.В.

В монографии рассматривается класс вполне структурированных систем помеченных переходов, представляющих собой формализм для моделирования и анализа корректности параллельных и распределенных систем, таких как вычислительные машины и комплексы с параллельной и распределённой архитектурой, параллельные программы, протоколы передачи данных, модели технологических и бизнес-процессов, при этом основное внимание уделяется разрешимости классических проблем ограниченности, достижимости, покрытия, неизбежности, поддержки управляющего состояния, останова, эквивалентности и других важных семантических и темпоральных свойств. Для научных работников, преподавателей, аспирантов и студентов, интересующихся формальными методами моделирования, анализа и верификации параллельных и распределенных систем.
Книга «Структурированные системы переходов» есть в наличии
Издательство: Физматлит
Серия: -
Год: 2006
Страниц: 176
Обложка: твердый переплет
5-9221-0692-9
Том: 1
Код Sprinter: 172962
296
руб.
Есть в наличии
оставить отзыв на книгу: «Структурированные системы переходов»
сообщение   имя    e-mail 
  (введите число на картинке)

Интернет-магазин Спринтер рекомендует:

Основы матричных вычислений

Уоткинс Д.С.    Код Sprinter: 173144
Излагаются следующие аспекты матричных вычислений: гауссово исключение, чувствительность линейных систем, метод наименьших квадратов, сингулярное разложение, собственные значения и собственные векто...
подробнее о книге: Основы матричных вычислений Уоткинс Д.С.
652
руб.
Есть в наличии

Обыкновенные дифференциальные уравнения. Справочник

Зайцев В.Ф.    Код Sprinter: 185351
Справочник содержит около 5200 обыкновенных дифференциальных уравнений с решениями (больше, чем любая другая книга). Особое внимание уделяется уравнениям общего вида, которые зависят от произвольных...
подробнее о книге: Обыкновенные дифференциальные уравнения. Справочник Зайцев В.Ф.
627
руб.
Есть в наличии

Прикладная математика для инженеров. Специальные курсы

Мышкис А.Д.    Код Sprinter: 265353
Учебное пособие для технических институтов, посвященное специальным разделам математики: теории поля, теории аналитических функций, операционному исчислению, линейной алгебре, тензорам, вариационном...
подробнее о книге: Прикладная математика для инженеров. Специальные курсы Мышкис А.Д.
748
руб.
Есть в наличии

Дискретная математика: алгоритмы и программы. Полный курс

Иванов Б.Н.    Код Sprinter: 276513
Учебное пособие по курсу дискретной математики. Изложение носит достаточно полный и строгий характер. Теоретические основы курса сопровождаются практически значимыми алгоритмами, реализованными в ко...
подробнее о книге: Дискретная математика: алгоритмы и программы. Полный курс Иванов Б.Н.
661
руб.
Есть в наличии

Интеграл Стилтьеса

Гливенко В.И.    Код Sprinter: 283463
В настоящей книге, написанной известным отечественным математиком В.И. Гливенко (1897-1940), изложена теория интегралов типа интеграла Стилтьеса как в их концепции интегралов функций одного действит...
подробнее о книге: Интеграл Стилтьеса Гливенко В.И.
378
руб.
Есть в наличии

Элементы двоичного анализа

Голубов Б.И.    Код Sprinter: 289144
В настоящей монографии изложены элементы двоичного анализа — интенсивно развивающейся области современного математического анализа, которая базируется на понятиях двоичной производной и двоичного ин...
подробнее о книге: Элементы двоичного анализа Голубов Б.И.
359
руб.
Есть в наличии

Неравенства

Полиа Г.    Код Sprinter: 309352
Вниманию читателя предлагается книга известных математиков Г. Харди, Дж. Литлвуда и Г. Полна, посвященная неравенствам как таковым. Книга будет полезна не только тем читателям, которые заинтересован...
подробнее о книге: Неравенства Полиа Г.
632
руб.
Есть в наличии

Введение в теорию алгебр

Чеботарев Н.Г.    Код Sprinter: 313827
Предлагаемая вниманию читателей книга, написанная выдающимся российским математиком Н.Г. Чеботаревым, должна была, по замыслу автора, войти в его известную работу "Теория Галуа". Однако он...
подробнее о книге: Введение в теорию алгебр Чеботарев Н.Г.
189
руб.
Есть в наличии

Теория случайных процессов в примерах и задачах

Миллер Б.М.    Код Sprinter: 321248
В книге изложены основы современной теории случайных процессов. Описаны важнейшие модели процессов с дискретным и непрерывным временем, методы их исследования и использования для решения прикладных ...
подробнее о книге: Теория случайных процессов в примерах и задачах Миллер Б.М.
522
руб.
Есть в наличии

Парето-оптимальные решения многокритериальных задач

Подиновский В.В.    Код Sprinter: 324948
Монография, ставшая классической, посвящена оптимумам по Парето, играющим базовую роль при анализе многокритериальных задач принятия решений. В ней разбирается содержательный смысл, теоретическое и ...
подробнее о книге: Парето-оптимальные решения многокритериальных задач Подиновский В.В.
551
руб.
Есть в наличии
График работы
понедельник-пятница - 9:00-19:00,
суббота-воскресенье - выходные
Проверить заказ
Важная информация
Регистрация
Как сделать заказ
Как искать
Доставка
Оплата
Подписка на новинки
© ООО «СПРИНТЕР», 2006-2015
Разработка: Web-Hand
Обратная связь: admin@sprinter.ru
Rambler's Top100
Рейтинг@Mail.ru www.webmoney.ru
Наши страницы: TwitterFacebook
главная карта сайта написать письмо перейти в корзину