Formalized Probability Theory and Applications Using Theorem Proving
Sofiene Tahar, Osman Hasan
E-bok
20152 927 kr
Formalized Probability Theory and Applications Using Theorem Proving
Inbunden, Engelska, 2015
2 483 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
Del 1165
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Asad Q Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
Häftad, 2021
706 kr
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Nabil Bastaki, Falah Awwad, Osman Hasan, Asad Ahmed
E-bok
2021870 kr
Del 10383
Intelligent Computer Mathematics
Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke
Häftad, 2017
561 kr
Intelligent Computer Mathematics
Olaf Teschke, Florian Rabe, Osman Hasan, Matthew England, Herman Geuvers
E-bok
2017734 kr
Hoppa över listan
Du kanske också är intresserad av
Formalized Probability Theory and Applications Using Theorem Proving
Sofiene Tahar, Osman Hasan
E-bok
20152 927 kr
- Nyhet
Del 4
- Signerad!
- -23%
- -23%
- -19%
- 4 för 3
- 4 för 3
Del 1
- -15%
Historiens återkomst : Europa och världsordningens sammanbrott
Martin Kragh
Inbunden, 2025
219 kr259 kr
- Nyhet