Formalized Probability Theory and Applications Using Theorem Proving
Sofiene Tahar, Osman Hasan
E-bok
20152 950 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
720 kr
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Nabil Bastaki, Falah Awwad, Osman Hasan, Asad Ahmed
E-bok
2021877 kr
Del 10383
Intelligent Computer Mathematics
Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke
Häftad, 2017
572 kr
Intelligent Computer Mathematics
Olaf Teschke, Florian Rabe, Osman Hasan, Matthew England, Herman Geuvers
E-bok
2017739 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 950 kr
Del 14308
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Asad Q Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
Häftad, 2021
720 kr
Del 10383
Intelligent Computer Mathematics
Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke
Häftad, 2017
572 kr
Theorem Proving in Higher Order Logics
Otmane Ait Mohamed, César Munoz, Sofiène Tahar
Häftad, 2008
572 kr
Del 10466
Verification and Evaluation of Computer and Communication Systems
Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar
Häftad, 2017
572 kr
Del 1165
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Nabil Bastaki, Falah Awwad, Osman Hasan, Asad Ahmed
E-bok
2021877 kr
Intelligent Computer Mathematics
Olaf Teschke, Florian Rabe, Osman Hasan, Matthew England, Herman Geuvers
E-bok
2017739 kr