NUST Institutions Library Catalogue catalog › Details for: Formal Verification of Dynamic Thermal Management for Many Core Systems/

Normal view MARC view ISBD view

Formal Verification of Dynamic Thermal Management for Many Core Systems/ Syed Ali Asadullah Bukhari

TextIslamabad; SEECS NUST; 2022Description: 124,p; ill; 30cmSubject(s): PhD-Electrical EngineeringDDC 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		CLPT-38

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 Modelling and Analysis of Age of Information in IoT Networks/	200 UAV-Assisted mmWave and THz-Enabled Hybrid Heterogeneous Network/	200 Initial Access in Millimeter Wave Systems/	200 Formal Verification of Dynamic Thermal Management for Many Core Systems/	200 Blind image quality assessment using feature selection algorithms /	200 Spatial Modulation in Massive MIMO Systems/	200 Spatial Modulation in Massive MIMO Systems/	Next

There are no comments on this title.

to post a comment.