везде Расширенный поиск
книги Наука, техника, медицина Техника Транспорт Воздушный транспорт

Osman Hasan

Probabilistic Analysis using Theorem Proving. A Higher-order Logic Based Approach

Код 918758

Бумажная книга

Нет в продаже

Сообщить о появлении

Аннотация к книге "Probabilistic Analysis using Theorem Proving. A Higher-order Logic Based Approach"

Traditionally, computer simulation techniques are used to perform probabilistic analysis. However, they provide less accurate results and cannot handle large-scale problems due to their enormous CPU time requirements. Recently, a significant amount of formalization has been done in higher-order logic that allows us to conduct precise probabilistic analysis using theorem proving and thus overcome the limitations of the simulation based probabilistic analysis approach. Some major contributions...

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-3-6390-9472-5
Объём: 164 страниц
Масса: 270 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

Вместе с этой книгой покупают

-18%
Революционный невроз
Революционный невроз бумажная книга
Огюстен Кабанес
11.81 USD 9.68 USD
В корзину
-12%
Истребление персиян
Истребление персиян бумажная книга
Татьяна Толстая
10.56 USD 9.3 USD
В корзину
Большая книга развития от 0 до 3 лет!
Большая книга развития от 0 до 3 лет! бумажная книга
Лариса Суркова
Нет в продаже
Студия Нины Прудниковой.Частные интерьеры & декорирование
Студия Нины Прудниковой.Частные интерьеры &... бумажная книга
Татьяна Кубенская
Нет в продаже
Развиваем мышление, сообразительность, интеллект. Книга-тренажер
Развиваем мышление, сообразительность,... бумажная книга
Виктор Павлович Шейнов
Нет в продаже
Успешный аккуант: кратко, ясно, просто
Успешный аккуант: кратко, ясно, просто бумажная книга
Франсес Лири
9.57 USD
В корзину