CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 8 of 8 Results
1.
Probabilistic Analysis Using Theorem Proving
Probabilistic Analysis Using Theorem Proving by Hasan, Osman, Tahar, SofiFne ISBN: 9783639094725 List Price: $89.00
$63.56 (Save 28%)
2.
Lykaonia Bolgesi Kaya Mezarlari (Kucuk Muhsine)
Lykaonia Bolgesi Kaya Mezarlari (Kucuk Muhsine) by Hasan Tutar, Gungor Karaugu... ISBN: 9789758867325

OUT OF STOCK

See Availability on Amazon
3.
Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shen...
Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shen... by Hasan, Osman, Mallet, �d�ric ISBN: 9783030469016 List Price: $74.99

OUT OF STOCK

See Availability on Amazon
4.
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving by Ahmed, Asad, Hasan, Osman, ... ISBN: 9783030784089
$64.90
5.
Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, ...
Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, ... by Geuvers, Herman, England, M... ISBN: 9783319620749 List Price: $84.00
$51.31 (Save 38%)
6.
Formalized Probability Theory and Applications Using Theorem Proving
Formalized Probability Theory and Applications Using Theorem Proving by Hasan, Osman, Tahar, Sofiene ISBN: 9781466683150 List Price: $195.00
$190.77 (Save 2%)
7.
GEOMETRY for SAT and ACT: 555 Geometry Questions With Answer (555 Math books series) (Volume 1)
GEOMETRY for SAT and ACT: 555 Geometry Questions With Answer (555 Math books series) (Volume 1) by oral, tayyip, Kucuk, Osman,... ISBN: 9781544853765 List Price: $5.50
$17.34
8.
Blocked Out
Blocked Out by Osman, Hasan ISBN: 9781388715489 List Price: $2.29

OUT OF STOCK

See Availability on Amazon