Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Formal Modeling and Analysis of Timed Systems, Jean-Francois Raskin; P.S. Thiagarajan


Варианты приобретения
Цена: 10480.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Jean-Francois Raskin; P.S. Thiagarajan
Название:  Formal Modeling and Analysis of Timed Systems
ISBN: 9783540754534
Издательство: Springer
Классификация:
ISBN-10: 3540754539
Обложка/Формат: Paperback
Страницы: 379
Вес: 0.59 кг.
Дата издания: 2007
Серия: Lecture Notes in Computer Science
Язык: English
Иллюстрации: Illustrations
Размер: 234 x 156 x 20
Читательская аудитория: Postgraduate, research & scholarly
Подзаголовок: 5th international conference, formats 2007, salzburg, austria, october 3-5, 2007, proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Constitutes the proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007, held in Salzburg, Austria, in October 2007. This book covers work on foundations and semantics of timed systems including timed automata, timed Petri nets, hybrid automata, timed process algebra and max-plus algebra.


Two-Scale Stochastic Systems / Asymptotic Analysis and Control

Автор: Kabanov Yuri, Pergamenshchikov Sergei
Название: Two-Scale Stochastic Systems / Asymptotic Analysis and Control
ISBN: 3540653325 ISBN-13(EAN): 9783540653325
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Two-scale systems described by singularly perturbed SDEs have been the subject of ample literature. However, this new monograph develops subjects that were rarely addressed and could be given the collective description "Stochastic Tikhonov-Levinson theory and its applications." The book provides a mathematical apparatus designed to analyze the dynamic behaviour of a randomly perturbed system with fast and slow variables. In contrast to the deterministic Tikhonov-Levinson theory, the basic model is described in a more realistic way by stochastic differential equations. This leads to a number of new theoretical questions but simultaneously allows us to treat in a unified way a surprisingly wide spectrum of applications like fast modulations, approximate filtering, and stochastic approximation.

Modeling and Analysis of Transient Processes in Open Resonant Structures

Автор: Yuriy K. Sirenko; Staffan Str?m; Nataliya P. Yashi
Название: Modeling and Analysis of Transient Processes in Open Resonant Structures
ISBN: 1489989560 ISBN-13(EAN): 9781489989567
Издательство: Springer
Рейтинг:
Цена: 20896.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book describes a systematic approach to scattering of transient fields which can be introduced in undergraduate or graduate courses. The methods developed and the mathematical and physical results obtained provide a basis on which a modern theory for the scattering of resonant non-harmonic waves can be developed.

Mathematical Modeling of Biological Systems, Volume I Cellular Biophysics, Regulatory Networks, Development, Biomedicine, and Data Analysis

Автор: Deutsch, A.; Brusch, L.; Byrne, H.; de Vries, G.; Herzel, H. (Eds.)
Название: Mathematical Modeling of Biological Systems, Volume I Cellular Biophysics, Regulatory Networks, Development, Biomedicine, and Data Analysis
ISBN: 0817645578 ISBN-13(EAN): 9780817645571
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This edited volume contains a selection of chapters that are an outgrowth of the - ropean Conference on Mathematical and Theoretical Biology (ECMTB05, Dresden, Germany, July 2005). The peer-reviewed contributions show that mathematical and computational approaches are absolutely essential for solving central problems in the life sciences, ranging from the organizational level of individual cells to the dynamics of whole populations. The contributions indicate that theoretical and mathematical biology is a diverse and interdisciplinary ?eld, ranging from experimental research linked to mathema- cal modeling to the development of more abstract mathematical frameworks in which observations about the real world can be interpreted, and with which new hypotheses for testing can be generated. Today, much attention is also paid to the development of ef?cient algorithms for complex computation and visualisation, notably in molecular biology and genetics. The ?eld of theoretical and mathematical biology and medicine has profound connections to many current problems of great relevance to society. The medical, industrial, and social interests in its development are in fact indisputable.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия