NUST Institutions Library Catalogue catalog › Details for: Formal Verification of the Health Code System for Quarantine Management: A Case Study in China/

Normal view MARC view ISBD view

Formal Verification of the Health Code System for Quarantine Management: A Case Study in China/ Shahid Ali Khan,

TextIslamabad; SEECS NUST; 2024Description: 73,p; ill; 30,cmSubject(s): MS-Computer ScienceDDC classification: 200 Online resources: Click here to access online

Tags from this library: No tags from this library for this title. Log in to add tags.

Item type	Current location	Home library	Shelving location	Call number	Status	Date due	Barcode	Item holds
Soft Copy	Central Library (CL)	Central Library (CL)	Thesis	200 (Browse shelf)	Available		CL-T-7221

Total holds: 0

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	200 Building Bridges to Employee Productivity: Investigating the Interplay of Talent Management Practices, Psychological Safety, Person-Organization Fit, and Employee Performance in the Hospitality Sector of Pakistan/	200 Design, Development, and Evaluation of an E-Career Assessment Tool for Secondary School Students/	200 Detection of Panic Attacks Using Machine Learning Models/	200 Formal Verification of the Health Code System for Quarantine Management: A Case Study in China/	200 Pattern Reconfigurable Leaky-Wave Antenna using Liquid Material/	200 Design and Implementation of an Autonomous Device Analyser/	200 Automated detection of Glaucoma Using SegNet and Ensemble Learning/	Next

There are no comments on this title.

to post a comment.