Asad Ahmed – författare
Visar alla böcker från författaren Asad Ahmed. Handla med fri frakt och snabb leverans.
2 produkter
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Av Nabil Bastaki, Falah Awwad m. fl.
E-bok, 2021
877 kr
Lägg i varukorg
This book describes an accurate analysis technique for energy systems based on formal methods—computer-based mathematical logic techniques for the specification, validation, and verification of the systems. Correctness and accuracy of the financial, operational, and implementation analysis are of …
Islamic Scholarly Tradition
Studies in History, Law, and Thought in Honor of Professor Michael Allan Cook
Av Asad Ahmed
Inbunden, 2011
3300 kr
Lägg i varukorg
The volume contains highly original articles on Islamic history, law, and thought, each either proposing new hypotheses or readjusting existing ones. The contributions range from studies in the formulation of the pre-Islamic Arabian calendar to notes on the "blood-money group" in Islamic law, and …
