NUST Institutions Library Catalogue

Refine your search

Your search returned 19 results.

Not what you expected? Check for suggestions
No cover image available
Integration of ASM with event-B RODIN/ Innayatullah

by Innayatullah | Supervisors: Dr. Osman Hasan, Dr. Abdul Ghafoor, Dr. Sohail Iqbal, Dr. Atif Mashkoor.

Material type: Text Text Publisher: Islamabad NUST-SEECS 2015Online access: Click here to access online Availability: Items available for loan: Central Library (CL)Call number: MSCCS-4 INN (2).
Place hold Find in NUST Repository
No cover image available
MS/Thesis:Formal Kinematics Analysis of Two Link Planar Robot Binyameen

by Binyameen | [Dr.Osman Hasan (Supervisor)].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Islamabad RCMS NUST 2014Availability: Items available for loan: School of Interdisciplinary Engineering and Sciences (SINES)Call number: 004.12 BIN (1), Central Library (CL)Call number: 004 (1).
Place hold Find in NUST Repository
No cover image available
Formal Dependability analysis using higher-order-logic theorem proving/ Waqar Ahmad

by Ahmad Waqar | Supervisors:Dr. Osman Hasan.

Source: Formal Dependability Analysis using Higher-order-logic Theorem Proving /Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Islamabad NUST-SEECS 2017Online access: Click here to access online Availability: No items available :
Place hold Find in NUST Repository
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
On-sensor approximate computing for IoT based ultra-low power Body Area Networks / Ayesha Siddique

by Siddique, Ayesha | Dr. Osman Hasan.

Material type: Text Text Publisher: Islamabad: SEECS - NUST, 2018Online access: Click here to access online Availability: Items available for loan: Central Library (CL)Call number: 621.3 (2).
Place hold Find in NUST Repository
No cover image available
Formal Verification of Distributed Dynamic Thermai Management schemes using HOL4 / Muhammad Usman Sardar.

by Muhammad Usman Sardar | Dr. Osman Hasan.

Material type: Text Text Publisher: Islamabad: SEECS - NUST, 2015Online access: Click here to access online Availability: Items available for loan: Central Library (CL)Call number: 621.3 (1).
Place hold Find in NUST Repository
No cover image available
Formal Verification of Demand Response Management Systems in Smart Grid / Adnan Yaqoob Salik

by Yaqoob Salik, Adnan | Dr. Osman Hasan.

Material type: Text Text Publisher: Islamabad: SEECS - NUST, 2018Online access: Click here to access online Availability: Items available for loan: Central Library (CL)Call number: 621.3 (2).
Place hold Find in NUST Repository
No cover image available
Integration of ASM with Event-B RODIN / Innayat Ullah

by Innayat Ullah | Dr. Osman Hasan.

Material type: Text Text Publisher: Islamabad: SEECS - NUST, 2015Online access: Click here to access online Availability: Items available for loan: Central Library (CL)Call number: 005 (1).
Place hold Find in NUST Repository
No cover image available
Towards the Higher-Order-Logic Formalization of MATLAB Functions / Ayesha Gauhar.

by Gauhar, Ayesha | Dr. Osman Hasan.

Material type: Text Text Publisher: Islamabad: SEECS - NUST, 2018Online access: Click here to access online Availability: Items available for loan: Central Library (CL)Call number: 621.3 (1).
Place hold Find in NUST Repository
No cover image available
Formal Quantitative Fault Attack Vulnerability Evaluation of Sequential Circuits Talha Habib Peracha.

by Peracha, Talha Habib | Dr, Osman Hasan.

Material type: Text Text Publisher: Islamabad: SEECS - NUST, 2018Online access: Click here to access online Availability: Items available for loan: Central Library (CL)Call number: 621.3 (2).
Place hold Find in NUST Repository
No cover image available
Formal Analysis of Homogeneous Linear Differential Equations Using Theorem Proving / Muhammad Usman Sanwal.

by Muhammad Usman Sanwal | Dr. Osman Hasan.

Material type: Text Text Publisher: Islamabad : RCMS - NUST, 2012Availability: Items available for loan: Central Library (CL)Call number: 004 (1).
Place hold Find in NUST Repository
No cover image available
Battery' Doctor Real time Battery' State of Health Monitoring / Omer Iram ; Asad Hasan ; Furqan Aziz.

by Iram, Omer ; Asad, Hasan ; Furqan, Aziz | Dr. Osman Hasan.

Material type: Text Text Publisher: Islamabad : SEECS -NUST 2018Online access: Click here to access online Availability: No items available : Withdrawn (1).
No cover image available
Safe Connect: Real time Monitoring of Fuel Transportation Trucks / Haider Ali ; Syed Hashim Abbas ; Komal Ishaq

by Ali, Haider ; Abbas, Syed Hashim ; Ishaq, Komal | Dr, Osman Hasan.

Material type: Text Text Publisher: Islamabad : SEECS - NUST, 2018Online access: Click here to access online Availability: No items available : Withdrawn (1).
No cover image available
Design of A Digital Phase Detector For Cross Clock Domains In MPSoC / Faiq Khalid Lodhi ; Nadra Rahmzan ; Naeha Sharif

by Faiq Khalid Lodhi ; Nadra Rahmzan ; Naeha Sharif | Dr. Osman Hasan.

Material type: Text Text Publisher: Islamabad : SEECS - NUST, 2011Online access: Click here to access online Availability: No items available : Withdrawn (1).
No cover image available
Peekafood: Menu Assistant / Osama Aamer ; Eman Fatima ; Taimoor Bin Khalid

by Aamer, Osama ; Fatima, Eman ; Khalid, Taimoor Bin | Dr. Osman Hasan.

Material type: Text Text Publisher: Islamabad : SEECS - NUST, 2018Online access: Click here to access online Availability: No items available : Withdrawn (1).
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.