 Krishna's Lineage: The Harivamsha of Vyasa's Mahabharata
Forming the final part of the Sanskrit Mahabharata, the Harivamsha's main business is to supply narrative details about the great god Vishnu's avatar Krishna Vasudeva, who has been a comparatively minor character in the previous parts of the Mahabharata, despite having taken centre stage in the Bhagavad ... |  |  Working with Different Text Types in English and Arabic
The book offers guidance on the most effective strategies used in translating different text types. It is an accessible course-book for students and practitioners of Arabic-English-Arabic translation. It incorporates both theory and application, and, as such, will be invaluable to students of translation. Based on text types, it features a... |  |  Formal Verification of Floating-Point Hardware Design
This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has... |