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 491 b
203.01 €
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 21.54 €
Wiersze dla dzieci Julian Tuwim / Áudio CD de áudio
common.buy 6.36 €
ANNA KARENINA LEON TOLSTOI / Livro Capa mole
common.buy 11.52 €
Theatre Complet de M. Eugene Scribe. Tome 10 Eugene Scribe / Livro Capa mole
common.buy 33.57 €
Heiter bis wolkig wetterwendische Geschichten fur alle Tage Peter Marquardt / Livro Capa mole
common.buy 10.00 €
Em breve
Penny Pepper - Chaos in der Schule Ulrike Rylance / Livro Capa mole
common.buy 11.83 €
Populophobie - Pourquoi il faut remplacer la classe dirigeante française Guillaume Bigot / Livro Capa mole
common.buy 24.17 €
Principal
Práce na sobě Diagnostika karmy 6 S.N. Lazarev / Livro Capa mole
common.buy 14.86 €
Russian Grammar L. Babalova / Livro Capa mole
common.buy 33.07 €

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 308.42 €
Spanish American Poetry after 1950 Donald L. Shaw / Livro Livro de capa dura
common.buy 126.03 €
HowExpert Guide to Currency Collecting HowExpert / Livro Capa mole
common.buy 23.86 €
Principal
How Food Really Works Smil / Livro Capa mole
common.buy 15.26 €
Stand Up for Sportsmanship Frank Murphy / Livro Livro de capa dura
common.buy 27.30 €
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 32.77 €
Kautilya's Arthashastra Kautilya's Arthashastra / Livro Capa mole
common.buy 25.99 €
Treatise on Levelling, Topography and Higher Surveying WILLIAM M GILLESPIE / Livro Capa mole
common.buy 16.98 €
Barriers to Global Stock Listing Among African Companies Dr Emmanuel Asoluka Ihejirika / Livro Capa mole
common.buy 23.86 €
Antinomies of Modernity Vasant Kaiwar / Livro Livro de capa dura
common.buy 131.70 €
Complicities Mark Sanders / Livro Livro de capa dura
common.buy 125.93 €
Avaliacao dos documentos de licenciamento do uso de fontes radioativas C Gorender Ana / Livro Capa mole
common.buy 44.50 €
Place of Science in a World of Values and Facts Loucas G. Christophorou / Livro Capa mole
common.buy 51.68 €
This Simian World Clarence Day / Livro Capa mole
common.buy 8.18 €
Andy the Acrobat Peter T. Harkness / Livro Livro de capa dura
common.buy 20.52 €
Aerodynamics Theodore von Karman / Livro Capa mole
common.buy 12.74 €
Sage 50 Accounts For Dummies 4th UK Edition Jane E. Kelly / Livro Capa mole
common.buy 18.91 €
Rural Energy Development in China Robert P. Taylor / Livro Livro de capa dura
common.buy 140.40 €
Energy from Water Nancy Dickman / Livro Capa mole
common.buy 9.70 €
Life Changes Grace Milline / Livro Capa mole
common.buy 15.67 €
Shamanism and Spirituality in Therapeutic Practice Christa Mackinnon / Livro Capa mole
common.buy 51.38 €

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
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?