Formalized Probability Theory and Applications Using Theorem Proving

Inbunden, Engelska, 2015

Av Osman Hasan, Sofiène Tahar

3 179 kr

Beställningsvara. Skickas inom 5-8 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum2015-03-31
Mått152 x 229 x 21 mm
Vikt769 g
FormatInbunden
SpråkEngelska
Antal sidor312
FörlagIdea Group,U.S.
ISBN9781466683150

Tillhör följande kategorier

Matematisk statistik inom Naturvetenskap och teknik

Du kanske också är intresserad av

Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

Otmane Ait Mohamed, César Munoz, Sofiène Tahar

729 kr

Vackra pappersblommor : skapa eviga buketter med färdiga blomblad

Vackra pappersblommor : skapa eviga buketter med färdiga blomblad

Prudence Rogers

199 kr

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Asad Q Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki, Asad Ahmed

919 kr

Pappaskämt : den ultimata humorn

Pappaskämt : den ultimata humorn

49 kr79 kr

Intelligent Computer Mathematics

Intelligent Computer Mathematics

Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke

729 kr

Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems

Osman Hasan, Frédéric Mallet, Frederic Mallet

729 kr

Formal Methods and Software Engineering

Del 14308

Formal Methods and Software Engineering

Yi Li, Sofiène Tahar, Sofiene Tahar

939 kr

Theorem Proving in Higher Order Logics

Del 2410

Theorem Proving in Higher Order Logics

Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar

729 kr

Snön faller tät på Mistletoe Square

Nyhet

Snön faller tät på Mistletoe Square

79 kr125 kr

Verification and Evaluation of Computer and Communication Systems

Verification and Evaluation of Computer and Communication Systems

Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiene Tahar

729 kr