Formalized Probability Theory and Applications Using Theorem Proving
Sofiene Tahar, Osman Hasan
E-bok
20152 825 kr
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
Del 1165
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Asad Q Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
Häftad, 2021
711 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
565 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 825 kr
- -19%
- 4 för 3
- Signerad!
- -22%
- 4 för 3
- Nyhet
Del 8
- 4 för 3
- -23%
- -30%
Del 1