Raamatud Osman Hasan
Valikule vastavaid tooteid ei leitud.
-25%
Formalized Probability Theory and Applications Using Theorem Proving
286,39 €
381,85 €
-25% koodiga BOOKS
Meie tarnija laos
-25%
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Asad Ahmed, Falah Awwad, Nabil Bastaki, Osman Hasan
82,57 €
110,09 €
-25% koodiga BOOKS
Meie tarnija laos
-25%
Probabilistic Analysis using Theorem Proving: A Higher-order Logic Based Approach
94,64 €
126,18 €
-25% koodiga BOOKS
Meie tarnija laos