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

Process Algebra and Probabilistic Methods: Performance Modeling and Verification, Holger Hermanns; Roberto Segala


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

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

Автор: Holger Hermanns; Roberto Segala
Название:  Process Algebra and Probabilistic Methods: Performance Modeling and Verification
ISBN: 9783540439134
Издательство: Springer
Классификация:



ISBN-10: 3540439137
Обложка/Формат: Paperback
Страницы: 222
Вес: 0.33 кг.
Дата издания: 10.07.2002
Серия: Lecture Notes in Computer Science
Язык: English
Размер: 234 x 156 x 12
Основная тема: Mathematics
Подзаголовок: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Constitutes the proceedings of the Joint International Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, held in Denmark in 2002. The 10 papers cover fault-tolerant systems, security analysis, probabilistic protocols, reduction refinement, and more.


Probabilistic and Stochastic Methods in Analysis, with Applications

Автор: J.S. Byrnes; Kathryn A. Hargreaves; Karl Berry
Название: Probabilistic and Stochastic Methods in Analysis, with Applications
ISBN: 0792318048 ISBN-13(EAN): 9780792318040
Издательство: Springer
Рейтинг:
Цена: 65685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Contains three expositions on wavelets, frames and their applications. This book includes the relation between probability and partial differential equations, including probabilistic representations of solutions to elliptic and parabolic PDEs.

Process Algebra and Probabilistic Methods. Performance Modelling and Verification

Автор: Luca de Alfaro; Stephen Gilmore
Название: Process Algebra and Probabilistic Methods. Performance Modelling and Verification
ISBN: 354042556X ISBN-13(EAN): 9783540425564
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001.The 12 revised full papers presented together with one invited paper were carefully reviewed and selected from 23 submissions.

Heavy-Tail Phenomena: Probabilistic And Statistical Modeling

Название: Heavy-Tail Phenomena: Probabilistic And Statistical Modeling
ISBN: 1441920242 ISBN-13(EAN): 9781441920249
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text gives an interesting and useful blend of the mathematical, probabilistic and statistical tools used in heavy-tail analysis. It is uniquely devoted to heavy-tails and emphasizes both probability modeling and statistical methods for fitting models.

Probabilistic Reasoning and Decision Making in Sensory-Motor Systems

Автор: Pierre Bessi?re; Christian Laugier; Roland Siegwar
Название: Probabilistic Reasoning and Decision Making in Sensory-Motor Systems
ISBN: 3642097847 ISBN-13(EAN): 9783642097843
Издательство: Springer
Рейтинг:
Цена: 26120.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The chapters contain a sizable segment of cognitive systems research in Europe. Contributions come from leading academic institutions within the European projects Bayesian Inspired Brain and Artifact (BIBA) and Bayesian Approach to Cognitive Systems (BACS).

Probabilistic Models of Population Evolution

Автор: Pardoux
Название: Probabilistic Models of Population Evolution
ISBN: 3319303260 ISBN-13(EAN): 9783319303260
Издательство: Springer
Рейтинг:
Цена: 4611.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This expository book presents the mathematical description of evolutionary models of populations subject to interactions (e.g. competition) within the population. The author includes both models of finite populations, and limiting models as the size of the population tends to infinity. The size of the population is described as a random function of time and of the initial population (the ancestors at time 0). The genealogical tree of such a population is given. Most models imply that the population is bound to go extinct in finite time. It is explained when the interaction is strong enough so that the extinction time remains finite, when the ancestral population at time 0 goes to infinity. The material could be used for teaching stochastic processes, together with their applications.

?tienne Pardoux is Professor at Aix-Marseille University, working in the field of Stochastic Analysis, stochastic partial differential equations, and probabilistic models in evolutionary biology and population genetics. He obtained his PhD in 1975 at University of Paris-Sud.
Probabilistic Forecasting and Bayesian Data Assimilation

Автор: Reich
Название: Probabilistic Forecasting and Bayesian Data Assimilation
ISBN: 1107663911 ISBN-13(EAN): 9781107663916
Издательство: Cambridge Academ
Рейтинг:
Цена: 7445.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book focuses on the Bayesian approach to data assimilation, outlining the subject`s key ideas and concepts, and explaining how to implement specific data assimilation algorithms. It is an ideal introduction for graduate students in applied mathematics, computer science, engineering, geoscience and other emerging application areas.

Probabilistic Number Theory I

Автор: P.D.T.A. Elliott
Название: Probabilistic Number Theory I
ISBN: 1461299918 ISBN-13(EAN): 9781461299912
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In 1791 Gauss made the following assertions (collected works, Vol. 10, p.ll, Teubner, Leipzig 1917): Primzahlen unter a ( = 00 ) a la Zahlen aus zwei Factoren lla- a la (warsch.) aus 3 Factoren 1 (lla)2a --- 2 la et sic in info In more modern notation, let 1tk(X) denote the number of integers not exceeding x which are made up of k distinct prime factors, k = 1, 2, .... Then his assertions amount to the asymptotic estimate x (log log X)k-l ( ) 1tk X '" --"';"'-"---" --: -'-, - (x-..oo). log x (k-1) The case k = 1, known as the Prime Number Theorem, was independently established by Hadamard and de la Vallee Poussin in 1896, just over a hundred years later. The general case was deduced by Landau in 1900; it needs only an integration by parts. Nevertheless, one can scarcely say that Probabilistic Number Theory began with Gauss. In 1914 the Indian original mathematician Srinivasa Ramanujan arrived in England. Six years of his short life remained to him during which he wrote, amongst other things, five papers and two notes jointly with G. H. Hardy.

Advances in Probabilistic Databases for Uncertain Information Management

Автор: Zongmin Ma; Li Yan
Название: Advances in Probabilistic Databases for Uncertain Information Management
ISBN: 3642375081 ISBN-13(EAN): 9783642375088
Издательство: Springer
Рейтинг:
Цена: 18284.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

1 Research in Probabilistic Spatiotemporal Databases:
The SPOT Framework.-

2 A Probabilistic Object-Oriented Database Model with
Fuzzy Measures.-

3 Probabilistic XML: Models and Complexity.-

4 Uncertain Data: Representations, Query Processing,
and Applications.-

5 A Theoretically-Sound Approach for OLAPing Uncertain
and Imprecise Multidimensional Data Streams.-

6 Tractable Probabilistic Description Logic Programs.

Probabilistic Forecasting and Bayesian Data Assimilation

Автор: Reich
Название: Probabilistic Forecasting and Bayesian Data Assimilation
ISBN: 1107069394 ISBN-13(EAN): 9781107069398
Издательство: Cambridge Academ
Рейтинг:
Цена: 19325.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book focuses on the Bayesian approach to data assimilation, outlining the subject`s key ideas and concepts, and explaining how to implement specific data assimilation algorithms. It is an ideal introduction for graduate students in applied mathematics, computer science, engineering, geoscience and other emerging application areas.

Scenario Logic and Probabilistic Management of Risk in Business and Engineering

Автор: Evgueni D. Solojentsev
Название: Scenario Logic and Probabilistic Management of Risk in Business and Engineering
ISBN: 144194608X ISBN-13(EAN): 9781441946089
Издательство: Springer
Рейтинг:
Цена: 24456.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This unique book proposes a uniform logic and probabilistic (LP) approach to risk estimation and analysis in engineering and economics. It includes clear definitions and notations, revised chapters, an extended list of references, and a new subject index.


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