All Departments
Departments
Dailydeals
My Orders
Help
Sell On Loot
Filter by Category
All Departments
Books
Filter by Price
Min Price
Max Price
Clear
Apply
Status
Available to order
On special
Brand
Idea Group,U.S.
Springer International Publishing AG
Springer Nature Switzerland AG
VDM Verlag Dr. Mueller E.K.
Filter Results
Showing 4 of 4 Results in All Departments
Relevance
Formalized Probability Theory and Applications Using Theorem Proving (Hardcover)
Osman Hasan
,
Sofiene Tahar
List Price
R
5,456
R
5,452
Add to Cart
Ships in 12 - 17 working days
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (Paperback, 1st ed. 2022)
Asad Ahmed
,
Osman Hasan
,
Falah Awwad
,
Nabil Bastaki
R
1,905
Add to Cart
Ships in 10 - 15 working days
Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings (Paperback, 1st ed. 2017)
R
2,751
Add to Cart
Ships in 10 - 15 working days
Probabilistic Analysis using Theorem Proving (Paperback)
Osman Hasan
,
Sofiene Tahar
R
1,798
Add to Cart
Ships in 10 - 15 working days