Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7 707 857-29-98
  +7(7172) 448953
  10:00-18:00 пн-пт
  shop@logobook.kz
   
    Поиск книг                        
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Бестселлеры | |
 

Formalized Probability Theory And Applications Using Theorem Proving, Hasan & Tahar


Варианты приобретения
Цена: 165750T
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: 125 шт.  
При оформлении заказа до: 28 апр 2024
Ориентировочная дата поставки: начало Июня
При условии наличия книги у поставщика.

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

Автор: Hasan & Tahar
Название:  Formalized Probability Theory And Applications Using Theorem Proving
Издательство: Eurospan
Классификация:
ISBN: 1466683155
ISBN-13(EAN): 9781466683150
Обложка/Формат: Hardback
Страницы: 300
Вес: 0.757 кг.
Дата издания: 30.04.2015
Серия: Mathematics
Язык: English
Иллюстрации: Black & white illustrations
Размер: 254 x 178 x 19
Читательская аудитория: Postgraduate, research & scholarly
Рейтинг:
Поставляется из: Англии
Описание: Scientists and engineers often have to deal with systems that exhibit random or unpredictable elements and must effectively evaluate probabilities in each situation. Computer simulations, while the traditional tool used to solve such problems, are limited in the scale and complexity of the problems they can solve.Formalized Probability Theory and Applications Using Theorem Proving discusses some of the limitations inherent in computer systems when applied to problems of probabilistic analysis, and presents a novel solution to these limitations, combining higher-order logic with computer-based theorem proving. Combining practical application with theoretical discussion, this book is an important reference tool for mathematicians, scientists, engineers, and researchers in all STEM fields.

A History of the Central Limit Theorem

Автор: Hans Fischer
Название: A History of the Central Limit Theorem
ISBN: 1461427010 ISBN-13(EAN): 9781461427018
Издательство: Springer
Рейтинг:
Цена: 115290 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This study discusses the history of the central limit theorem and related probabilistic limit theorems from about 1810 through 1950. Coverage extends to the historical development of analytical probability theory and its tools.


Казахстан, 010000 Нур-султан(Астана) р-он Сарыарка, ул. Маскеу, 40 , офис 202
ТОО "Логобук" Тел:+7(7172) 448953 , +7 707 857-29-98 www.logobook.kz
Kaspi QR
   В Контакте     В Контакте Мед  Мобильная версия