Del 1165
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, 2021
704 kr
Del 10383
Intelligent Computer Mathematics
Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke
Häftad, 2017
560 kr
Hoppa över listan
Du kanske också är intresserad av
Innovations in Measuring and Evaluating Scientific Information
J. John Jeyasekar, P. Saravanan
Inbunden, 2018
2 417 kr
Advances in Monolithic Microwave Integrated Circuits for Wireless Systems
Arjuna Marzuki, Ahmad Ismat Abdul Rahim, Mourad Loulou
Inbunden, 2011
2 417 kr
Recent Challenges and Advances in Geotechnical Earthquake Engineering
T.G. Sitharam, J. S. Vinod
Inbunden, 2018
2 417 kr
Intellectual, Scientific, and Educational Influences on Sustainability
Rosario Adapon Turvey, Sreekumari Kurissery
Inbunden, 2019
2 417 kr