Importe total (1 artículo artículos):
Destino del pedido:
probabilistic analysis using theorem de hasan osman (9 resultados)
Autor :
hasan osman
,
Título :
probabilistic analysis using theorem
Refinar con la Búsqueda avanzada
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (9)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (8)
- Como nuevo, Excelente o Muy bueno (1)
- Bueno o Aceptable (No hay ningún otro resultado que coincida con este filtro.)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
- Todas
- Tapa dura (No hay ningún otro resultado que coincida con este filtro.)
- Tapa blanda (9)
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (3)
- No impresión bajo demanda (5)
Idioma (1)
Precio
- Cualquier precio
- Menos de EUR 20 (No hay ningún otro resultado que coincida con este filtro.)
- EUR 20 a EUR 45 (No hay ningún otro resultado que coincida con este filtro.)
- Más de EUR 45
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Probabilistic Analysis using Theorem Proving: A Higher-order Logic Based Approach
Librería: Best Price, Torrance, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 58,09
EUR 7,77 gastos de envío en Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. SUPER FAST SHIPPING.
-
Probabilistic Analysis using Theorem Proving: A Higher-order Logic Based Approach
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 61,36
EUR 13,65 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Probabilistic Analysis using Theorem Proving: A Higher-order Logic Based Approach
Publicado por VDM Verlag Dr. M�ller 2008-11-07, 2008
ISBN 10: 3639094727 ISBN 13: 9783639094725
Idioma: Inglés
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 61,13
EUR 17,65 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
-
Probabilistic Analysis using Theorem Proving | A Higher-order Logic Based Approach
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 58,00
EUR 70,00 gastos de envío desde Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Probabilistic Analysis using Theorem Proving | A Higher-order Logic Based Approach | Osman Hasan | Taschenbuch | Kartoniert / Broschiert | Englisch | 2013 | VDM Verlag Dr. Müller | EAN 9783639094725 | Verantwortliche Person für die EU: OmniScriptum GmbH & Co. KG, Bahnhofstr. 28, 66111 Saarbrücken, info[at]akademikerverlag[dot]de | Anbieter: preigu.
-
Probabilistic Analysis using Theorem Proving: A Higher-order Logic Based Approach
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 132,66
EUR 28,49 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. Like New. book.
-
Probabilistic Analysis using Theorem Proving A Higherorder Logic Based Approach
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 70,16
Gratis gastos de envío en Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Probabilistic Analysis using Theorem Proving A Higherorder Logic Based Approach
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 66,01
EUR 4,74 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Probabilistic Analysis using Theorem Proving
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 62,08
EUR 48,99 gastos de envío desde Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoKartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Traditionally, computer simulation techniques areused to perform probabilistic analysis. However, theyprovide less accurate results and cannot handlelarge-scale problems due to their enormous CPU timerequirements. Recently, a signifi.
-
Probabilistic Analysis using Theorem Proving : A Higher-order Logic Based Approach
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 70,47
EUR 65,00 gastos de envío desde Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Traditionally, computer simulation techniques areused to perform probabilistic analysis. However, theyprovide less accurate results and cannot handlelarge-scale problems due to their enormous CPU timerequirements. Recently, a significant amount offormalization has been done in higher-order logicthat allows us to conduct precise probabilisticanalysis using theorem proving and thus overcome thelimitations of the simulation based probabilisticanalysis approach. Some major contributions includethe formalization of both discrete and continuousrandom variables and the verification of corresponding probabilistic and statisticalproperties. This book presents a concise descriptionof the infrastructures behind these capabilities andtheir utilization to conduct the probabilisticanalysis of real-world systems. The case studies ofthe round-off error of a digital processor, theCoupon Collector''s problem and the Stop-and-Waitprotocol are used to illustrate the proposed analysisapproach. Designed as an independent research tool, the bookpresents a well-thought-out treatment of a rapidlyemerging multidisciplinary field across Mathematics,Computer Science and Engineering.
