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

Your search returned 2 results.

Not what you expected? Check for suggestions

		No cover image available Formalization of transform methods using higher-order-logic theorem proving / Adnan Rashid by Rashid, Adnan \| Supervisor:Dr Osman Hasan. Material type: Text Publisher: Islamabad: SEECS - NUST, 2019Online 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 Formal Analysis of Homogeneous Linear Differential Equations Using Theorem Proving / Muhammad Usman Sanwal. by Muhammad Usman Sanwal \| Dr. Osman Hasan. Material type: Text Publisher: Islamabad : RCMS - NUST, 2012Availability: Items available for loan: Central Library (CL)Call number: 004 (1). Place hold Find in NUST Repository