NUST Institutions Library Catalogue

Your search returned 5 results.

Not what you expected? Check for suggestions
No cover image available
Formalization of transform methods using higher-order-logic theorem proving / Adnan Rashid

by Rashid, Adnan | Supervisor:Dr Osman Hasan.

Material type: Text Text Publisher: Islamabad: SEECS - NUST, 2019Online access: Click here to access online Availability: Items available for loan: Central Library (CL)Call number: 200 (3).
Place hold Find in NUST Repository
No cover image available
Formal Dependability Analysis using Higher-order-logic Theorem Proving / Waqar Ahmad.

by Ahmad, Waqar | Supervisor:Dr. Osman Hasan.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Islamabad: SEECS - NUST, 2017Online access: Click here to access online Availability: Items available for loan: Central Library (CL)Call number: 200 (3).
Place hold Find in NUST Repository
No cover image available
Hardware Trojan Detection in Approximate Circuits Using Side Channel Analysis / Manal Fatima

by Fatima, Manal | Supervisor: Dr. Osman Hasan.

Material type: Text Text Islamabad : SEECS, NUST, 2022Online 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
Formal Analysis of Power Electronics Circuits using Theorem Proving/ Asad Ahmad,

by Ahmad, Asad | Supervisor:Dr.Osman Hasan.

Material type: Text Text Islamabad; SEECS NUST; 2022Online access: Click here to access online Availability: Items available for loan: Central Library (CL)Call number: 200 (2).
Place hold Find in NUST Repository
No cover image available
Formal Verification of Dynamic Thermal Management for Many Core Systems/ Syed Ali Asadullah Bukhari

by Bukhari Syed Ali Asadullah | Supervisor Dr. Osman Hasan.

Material type: Text Text Islamabad; SEECS NUST; 2022Online 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.