NUST Institutions Library Catalogue

Your search returned 2 results.

Not what you expected? Check for suggestions
No cover image available
Formal Verification of the Health Code System for Quarantine Management: A Case Study in China/ Shahid Ali Khan,

by Khan, Shahid Ali | Supervisor: Dr. Aimal Tariq Rextin.

Material type: Text Text Islamabad; SEECS NUST; 2024Online access: Click here to access online Availability: Items available for loan: Central Library (CL)Call number: 200 (1).
Place hold Find in NUST Repository
No cover image available
Synthetic Population and Household Generation using Graph Neural Networks/ Shah, Syed Saad Ullah

by Syed Saad Ullah Shah | Supervisor: Dr. Aimal Tariq Rextin.

Material type: Text Text Islamabad: SEECS NUST. 2026Online access: Click here to access online Availability: Items available for loan: Central Library (CL)Call number: 200 (1).
Place hold Find in NUST Repository
© 2023 Central Library, National University of Sciences and Technology. All Rights Reserved.