Hasan Osman Hasan

Hasan Osman Hasan

9 results found
List viewGrid view
Sort By:
1.
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving37 %
Available
Ships within 12-14 Days Explain..
2.
Formal Techniques for Safety-Critical Systems37 %
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
01 Jul 2020
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Parallel Computing for Real-Time Signal Processing and Control54 %
Available
Ships within 1-2 Days Explain..
4.
Intelligent Computer Mathematics37 %
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
02 Aug 2017
Language:
English
Available
Ships within 12-14 Days Explain..
8.
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving4 % NR
No Review Yet
₹4,239
₹4,069
Binding:
Paperback
Release:
18 Aug 2021
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found