NUST Institutions Library Catalogue catalog › Results of search for 'an:"18520"'

Your search returned 3 results.

Not what you expected? Check for suggestions

		No cover image available Formal Dependability analysis using higher-order-logic theorem proving/ Waqar Ahmad by Ahmad Waqar \| Supervisors:Dr. Osman Hasan. Source: Formal Dependability Analysis using Higher-order-logic Theorem Proving /Material type: Text; Format: print ; Literary form: Not fiction Publisher: Islamabad NUST-SEECS 2017Online access: Click here to access online Availability: No items available : Place hold Find in NUST Repository
		No cover image available Formal Dependability Analysis using Higher-order-logic Theorem Proving / Waqar Ahmad. by Ahmad, Waqar \| Supervisor:Dr. Osman Hasan. Material type: Text; Format: print ; Literary form: Not fiction Publisher: Islamabad: SEECS - NUST, 2017Online access: Click here to access online Availability: Items available for loan: Central Library (CL)Call number: 200 (3). Place hold Find in NUST Repository
		No cover image available Forensic Medicine & Toxicology / Shahbaz Ahmad. by Ahmad, Shahbaz \| Ahmad, Waqar \| Khan, M. Imran. Edition: Sixth Edition.Material type: Text Publisher: Multan : Nishter Publications Multan , 2017Other title: Shahbaz Forensic Medicine and Toxicology /.Availability: No items available : Checked out (1). Place hold Find in NUST Repository