Geometry for Sat and Act

by Oral, Tayyip; Kucuk, Osman; Tursu, Hasan

• ISBN13: 9781544853765
• ISBN10: 1544853769
• Format: Paperback

• Rental Textbook Copy Usually Ships in 3-5 Business Days
• New Textbook Copy Usually Ships in 3-5 Business Days

Probabilistic Analysis Using Theorem Proving

by Hasan, Osman; Tahar, Sofiene

• ISBN13: 9783639094725
• ISBN10: 3639094727
• Format: Paperback

• Rental Textbook Copy In Stock Usually Ships in 24 Hours
• New Textbook Copy In Stock Usually Ships in 24 Hours
• Free Shipping On Orders Over $35!

Formalized Probability Theory and Applications Using Theorem Proving

by Hasan, Osman; Tahar, Sofiène

• ISBN13: 9781466683150
• ISBN10: 1466683155
• Format: Hardcover

• Rental Textbook Copy Usually Ships in 3-5 Business Days
• New Textbook Copy Usually Ships in 3-5 Business Days
• Free Shipping On Orders Over $35!

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

by Asad Ahmed; Osman Hasan; Falah Awwad; et al.

• ISBN13: 9783030784089
• ISBN10: 3030784088
• Format: Nonspecific Binding

Intelligent Computer Mathematics

by Geuvers, Herman; England, Matthew; Hasan, Osman; et al.

• ISBN13: 9783319620749
• ISBN10: 3319620746
• Format: Paperback

Formal Techniques for Safety-Critical Systems

by Osman Hasan; ?Frédéric Mallet

• ISBN13: 9783030469016
• ISBN10: 3030469018
• Format: Nonspecific Binding

Parallel Computing for Real-time Signal Processing and Control

by M. Osman Tokhi; M. Alamgir Hossain; M. Hasan Shaheed

• ISBN13: 9781447100874
• ISBN10: 1447100875
• Format: Nonspecific Binding

Formalized Probability Theory and Applications Using Theorem Proving

by Osman Hasan; Sofiène Tahar

• ISBN13: 9781466683167
• ISBN10: 1466683163
• Format: Nonspecific Binding

Formalized Probability Theory and Applications Using Theorem Proving

by Osman Hasan; Sofiène Tahar

• ISBN13: 9781466683174
• ISBN10: 1466683171
• Format: Nonspecific Binding