Home Advanced Search

Advanced Search - Page 1

Mathematical Theory of Computation
  • DJVU
  • English
  • Year: 1974
  • Author: Zohar Manna
Lectures on the Logic of Computer Programming
  • DJVU
  • English
  • Year: 1980
  • Author: Zohar Manna
Temporal Verification of Reactive Systems: Safety
  • PDF
  • English
  • Year: 1995
  • Author: Zohar Manna, Amir Pnueli
The Temporal Logic of Reactive and Concurrent Systems: Specification
  • PDF
  • English
  • Year: 1992
  • Author: Zohar Manna, Amir Pnueli (auth.)
Time for Verification: Essays in Memory of Amir Pnueli
  • PDF
  • English
  • Year: 2010
  • Author: Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.)
Review of Physiology
  • PDF
  • English
  • Year: 2020
  • Author: MANNA SOUMEn, Soumen Manna
Review of Physiology
  • PDF
  • English
  • Year: 2018
  • Author: Soumen Manna
The Biography of Prophet Muhammad ﷺ from Reliable and Credibly Established Narrations, 3 volumes
  • PDF
  • English
  • Author: Mohammed Manna
A Possible Relationship of Vitamin B13 to Orotic Acid
  • PDF
  • English
  • Author: Manna, Louis
Chaldean-Arabic Dictionary
  • PDF
  • Aramaic-English
  • Author: Manna J.E.
search