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

Your search returned 2 results.

Not what you expected? Check for suggestions

		No cover image available Formal Verification of Distributed Dynamic Thermai Management schemes using HOL4 / Muhammad Usman Sardar. by Muhammad Usman Sardar \| Dr. Osman Hasan. Material type: Text Publisher: Islamabad: SEECS - NUST, 2015Online access: Click here to access online Availability: Items available for loan: Central Library (CL)Call number: 621.3 (1). Place hold Find in NUST Repository
		No cover image available Performance Evaluation of Multipath TCP using Application Layer Multicasting (ALM) in Wireless Scenarios / Bashrat Ahmed by Ahmed, Basharat \| Dr. Adnan Khalid Kiant. Material type: Text Publisher: Islamabad: SEECS - NUST, 2016Online access: Click here to access online Availability: Items available for loan: Central Library (CL)Call number: 621.3 (1). Place hold Find in NUST Repository