| 000 | 00569nam a22001697a 4500 | ||
|---|---|---|---|
| 003 | NUST | ||
| 038 | _aNusrat Nadeem | ||
| 082 | _a200 | ||
| 100 |
_aBukhari Syed Ali Asadullah _9124798 |
||
| 245 |
_aFormal Verification of Dynamic Thermal Management for Many Core Systems/ _cSyed Ali Asadullah Bukhari |
||
| 264 |
_aIslamabad; _bSEECS NUST; _c2022. |
||
| 300 |
_a124,p; _bill; _c30cm. |
||
| 650 |
_aPhD-Electrical Engineering _984162 |
||
| 700 |
_aSupervisor Dr. Osman Hasan _997781 |
||
| 856 | _uhttp://10.250.8.41:8080/xmlui/handle/123456789/34128 | ||
| 942 |
_2ddc _cSC |
||
| 999 |
_c610589 _d610589 |
||