Formalized Probability Theory and Applications Using Theorem Proving
Inbunden, Engelska, 2015
2 417 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Produktinformation
Utforska kategorier
Hoppa över listan
Mer från samma författare
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Asad Q Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
Häftad
703 kr
Del 10383
Intelligent Computer Mathematics
Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke
Häftad
559 kr
Hoppa över listan
Du kanske också är intresserad av
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Asad Q Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
Häftad
703 kr
Del 10383
Intelligent Computer Mathematics
Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke
Häftad
559 kr
Del 10466
Verification and Evaluation of Computer and Communication Systems
Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar
Häftad
559 kr
Del 14308
- Signerad!
Del 2
- Nyhet
Del 1