Buy Used and New OsmanHasan Books

Results for OsmanHasan

Showing 1 to 2 of 2 results
Formalized Probability Theory and Applications Using Theorem Proving Formalized Probability Theory and Applications Using Theorem Proving by Osman Hasan,Sofiène Tahar

Formalized Probability Theory and Applications Using Theorem Proving

by Osman Hasan,Sofiène Tahar


ISBN 13: 9781466683150

Format: Illustrated (300 pages)
Publisher: IGI Global
Published: 26 Mar 2015

Save for later

 
New : $208.90  
New : $208.90
Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings: 10383 (Lecture Notes in Computer Science) Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings: 10383 (Lecture Notes in Computer Science) by Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke

Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings: 10383 (Lecture Notes in Computer Science)

by Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke


ISBN 13: 9783319620749

Format: Paperback (396 pages)
Publisher: Springer
Published: 29 Jun 2017

Save for later

 
New : $61.26  
New : $61.26