Hallo! Tracked shipping to Netherlands with Delivery Duty Paid for just €7 

Ship to
Netherlands
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

    You are in:
  1. Home 
  2. Books 
  3. Books 

Osman Hasan Books

We found 10 Books for osman hasan

Formal Techniques for Safety-Critical Systems: 7th International Workshop, Ftscs 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers

Formal Techniques for Safety-Critical Systems: 7th International Workshop, Ftscs 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers

Hasan, Osman ; Mallet, Frédéric
Springer, Paperback, New

€ 54,82
Sindrom "Alisa w strane chudes": osnowanyj na prawdiwoj istorii (in Russian)

Sindrom "Alisa w strane chudes": osnowanyj na prawdiwoj istorii (in Russian)

Hasan Osman
, 2020, Paperback, New

€ 23,99
Sindrom Alisy w strane chudes: osnowano na real'noj istorii (in Russian)

Sindrom Alisy w strane chudes: osnowano na real'noj istorii (in Russian)

Hasan Osman
, 2022, Paperback, New

€ 23,99
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Ahmed, Asad ; Hasan, Osman ; Awwad, Falah
Springer, Paperback, New

€ 67,19
Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, Uk, July 17-21, 2017, Proceedings

Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, Uk, July 17-21, 2017, Proceedings

Geuvers, Herman ; England, Matthew ; Hasan, Osman
Springer, Paperback, New

€ 54,82
probabilistic analysis using theorem proving

probabilistic analysis using theorem proving

osman hasan
lightning source inc, New

€ 74,50
Formalized Probability Theory and Applications Using Theorem Proving

Formalized Probability Theory and Applications Using Theorem Proving

Osman Hasan
IGI Global, Hardcover, New

€ 197,09
Parallel Computing for Real-Time Signal Processing and Control

Parallel Computing for Real-Time Signal Processing and Control

Tokhi, M. Osman ; Hossain, M. Alamgir ; Shaheed, M. Hasan
Springer, 2003, Paperback, New

€ 54,82
Abbâsîlerde Dİplomasİ (M. 750-850 / H. 132-235) (in Turco)

Abbâsîlerde Dİplomasİ (M. 750-850 / H. 132-235) (in Turco)

Sharafanİ, Masood Osman Hasan; Yildirim, Taner
LAP Lambert Academic Publishing, Paperback, New

€ 65,86
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Ahmed,Osman Hasan, Hasan,Falah Awwad, Awwad Asad Ahmed
Springer Nature B.V., 2021, Paperback, New

€ 60,33

Few books have been found. You can Repeat Search without requiring all the searched terms to be present..