Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

Formalized Probability Theory and Applications Using Theorem Proving

Língua InglêsInglês
Livro Livro de capa dura
Livro Formalized Probability Theory and Applications Using Theorem Proving SofiYne Tahar
Código Libristo: 03180012
Editoras Idea Group,U.S., março 2015
Discusses some of the limitations inherent in computer systems when applied to problems of probabili... Descrição completa
? points 516 b
212.95 €
Armazenamento externo Envio em 10-18 dias

Até 30 dias para devoluções

Os clientes também compraram

Tatíčku, vrať se k nám! 3 Jiří Bureš / Livro Capa mole
common.buy 22.83 €
Srbština slovníček / Livro Capa mole
common.buy 10.00 €
Práce na sobě Diagnostika karmy 6 S.N. Lazarev / Livro Capa mole
common.buy 17.17 €
Theatre Complet de M. Eugene Scribe. Tome 10 Eugene Scribe / Livro Capa mole
common.buy 35.16 €
NEIL YOUNG : HARVEST (NOUVELLE EDITION) PIRENNE Livro Capa mole
common.buy 12.73 €
Populophobie - Pourquoi il faut remplacer la classe dirigeante française Guillaume Bigot / Livro Capa mole
common.buy 24.85 €
Le Layon, Le Role Economique de Sa Canalisation Sous Le Nom de Canal de Monsieur Alfred Bouchard / Livro Capa mole
common.buy 14.54 €
Abriss Der Europäischen Staats- Und Rechtsgeschichte Friedrich Schuler von Libloy / Livro Livro de capa dura
common.buy 33.55 €
Heiter bis wolkig wetterwendische Geschichten fur alle Tage Peter Marquardt / Livro Capa mole
common.buy 10.60 €
ANNA KARENINA LEON TOLSTOI / Livro Capa mole
common.buy 12.02 €
Wiersze dla dzieci Julian Tuwim / Áudio CD de áudio
common.buy 6.66 €
Penny Pepper - Chaos in der Schule Ulrike Rylance / Livro Capa mole
common.buy 12.42 €
Russian Grammar L. Babalova / Livro Capa mole
common.buy 34.86 €

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. It combines practical application with theoretical discussion.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Formalized Probability Theory and Applications Using Theorem Proving
Autor SofiYne Tahar
Língua Inglês
Encadernação Livro - Livro de capa dura
Data de emissão 2015
Número de páginas 300
EAN 9781466683150
ISBN 9781466683150
Código Libristo 03180012
Editoras Idea Group,U.S.
Peso 787
Dimensões 152 x 229 x 21

Categorias

Matemática & ciência > Matemática > Probabilidade e estatística
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

IUTAM Symposium on Scaling Laws in Ice Mechanics and Ice Dynamics J.P. Dempsey / Livro Capa mole
common.buy 324.84 €
Novo
Translanguaging in English Language Classrooms Jason Anderson / Livro Capa mole
common.buy 34.15 €
Stand Up for Sportsmanship Frank Murphy / Livro Livro de capa dura
common.buy 31.02 €
Works of the Late Dr. Benjamin Franklin. Consisting of His Life, Written by Himself. Together with Essays, Humorous, Moral, and Literary; Chiefly in t Benjamin Franklin / Livro Livro de capa dura
common.buy 34.46 €
Modeling Pressure Dependent Mechanical Properties of GaAsSb Alloys Mazin Othman / Livro Capa mole
common.buy 43.35 €
Don't Give Up In Your Storm GWENDOLYN DIC BOWEN / Livro Capa mole
common.buy 8.38 €
Kautilya's Arthashastra Kautilya's Arthashastra / Livro Capa mole
common.buy 27.38 €
Treatise on Levelling, Topography and Higher Surveying WILLIAM M GILLESPIE / Livro Capa mole
common.buy 17.98 €
Flight to Fight M L Buchman / Livro Capa mole
common.buy 5.45 €
Barriers to Global Stock Listing Among African Companies Dr Emmanuel Asoluka Ihejirika / Livro Capa mole
common.buy 25.06 €
How Food Really Works Smil / Livro Capa mole
common.buy 16.26 €
Political and Military Sociology III McDonald / Livro Capa mole
common.buy 78.22 €
Spanish American Poetry after 1950 Donald L. Shaw / Livro Livro de capa dura
common.buy 131.49 €
Antinomies of Modernity Vasant Kaiwar / Livro Livro de capa dura
common.buy 139.98 €
Shamanism and Spirituality in Therapeutic Practice Christa Mackinnon / Livro Capa mole
common.buy 50.63 €
HowExpert Guide to Currency Collecting HowExpert / Livro Capa mole
common.buy 25.06 €
Place of Science in a World of Values and Facts Loucas G. Christophorou / Livro Capa mole
common.buy 54.37 €
This Simian World Clarence Day / Livro Capa mole
common.buy 8.58 €
Andy the Acrobat Peter T. Harkness / Livro Livro de capa dura
common.buy 21.72 €
Principal
Aerodynamics Theodore von Karman / Livro Capa mole
common.buy 13.53 €
Sage 50 Accounts For Dummies 4th UK Edition Jane E. Kelly / Livro Capa mole
common.buy 20.20 €
Rural Energy Development in China Robert P. Taylor / Livro Livro de capa dura
common.buy 174.65 €
Energy from Water Nancy Dickman / Livro Capa mole
common.buy 10.20 €
Life Changes Grace Milline / Livro Capa mole
common.buy 16.47 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo