NUST Institutions Library Catalogue Search for 'au:"Osman, Hasan"'

Formalized Probability theory and applications using theoren proving

By Osman, Hasan. USA Information Science Reference 2015 . xii, 298 p. , Includes bibliographical references and index. 9781466683150

Place Hold on Formalized Probability theory and applications using theoren proving

Integration of ASM with event-B RODIN/

By Innayatullah. Islamabad NUST-SEECS 2015 . 66p.

Place Hold on Integration of ASM with event-B RODIN/

MS/Thesis:Formal Kinematics Analysis of Two Link Planar Robot

By Binyameen. Islamabad RCMS NUST 2014

Place Hold on MS/Thesis:Formal Kinematics Analysis of Two Link Planar Robot

Formal Dependability analysis using higher-order-logic theorem proving/

By Ahmad Waqar. Islamabad NUST-SEECS 2017 . 181p.

Place Hold on Formal Dependability analysis using higher-order-logic theorem proving/

Formalization of transform methods using higher-order-logic theorem proving /

By Rashid, Adnan. Islamabad: SEECS - NUST, 2019 . xvi, 122 p. : ill. ; 30cm..

Place Hold on Formalization of transform methods using higher-order-logic theorem proving /

Formal Dependability Analysis using Higher-order-logic Theorem Proving /

By Ahmad, Waqar. Islamabad: SEECS - NUST, 2017 . ix, 181 p.: ill.; , Hardcover. 30cm..

Place Hold on Formal Dependability Analysis using Higher-order-logic Theorem Proving /

On-sensor approximate computing for IoT based ultra-low power Body Area Networks /

By Siddique, Ayesha. Islamabad: SEECS - NUST, 2018 . 49 p. : ill. ; 30cm..

Place Hold on On-sensor approximate computing for IoT based ultra-low power Body Area Networks /

Formal Verification of Distributed Dynamic Thermai Management schemes using HOL4 /

By Muhammad Usman Sardar.. Islamabad: SEECS - NUST, 2015 . xi, 50 p. : ill. ; 30cm..

Place Hold on Formal Verification of Distributed Dynamic Thermai Management schemes using HOL4 /

Formal Verification of Demand Response Management Systems in Smart Grid /

By Yaqoob Salik, Adnan . Islamabad: SEECS - NUST, 2018 . ix, 33 p. : ; 30cm..

Place Hold on Formal Verification of Demand Response Management Systems in Smart Grid /

Integration of ASM with Event-B RODIN /

By Innayat Ullah. Islamabad: SEECS - NUST, 2015 . x, 66 p. : ill. ; 30cm..

Place Hold on Integration of ASM with Event-B RODIN /

Towards the Higher-Order-Logic Formalization of MATLAB Functions /

By Gauhar, Ayesha. Islamabad: SEECS - NUST, 2018 . 41 p. : 30cm..

Place Hold on Towards the Higher-Order-Logic Formalization of MATLAB Functions /

Formal Quantitative Fault Attack Vulnerability Evaluation of Sequential Circuits

By Peracha, Talha Habib. Islamabad: SEECS - NUST, 2018 . 34 p, : 30cm..

Place Hold on Formal Quantitative Fault Attack Vulnerability Evaluation of Sequential Circuits

Formal Analysis of Homogeneous Linear Differential Equations Using Theorem Proving /

By Muhammad Usman Sanwal.. Islamabad : RCMS - NUST, 2012 . ix, 50 p. ill. ; 30cm..

Place Hold on Formal Analysis of Homogeneous Linear Differential Equations Using Theorem Proving /

Battery' Doctor Real time Battery' State of Health Monitoring /

By Iram, Omer ; Asad, Hasan ; Furqan, Aziz. Islamabad : SEECS -NUST 2018 . 68 p. : ill. ; 30cm..

Place Hold on Battery' Doctor

Safe Connect: Real time Monitoring of Fuel Transportation Trucks /

By Ali, Haider ; Abbas, Syed Hashim ; Ishaq, Komal. Islamabad : SEECS - NUST, 2018 . 59 p. ; 30cm..

Place Hold on Safe Connect:

Design of A Digital Phase Detector For Cross Clock Domains In MPSoC /

By Faiq Khalid Lodhi ; Nadra Rahmzan ; Naeha Sharif . Islamabad : SEECS - NUST, 2011 . 90 p. : ill. ; 30cm..

Place Hold on Design of A Digital Phase Detector For Cross Clock Domains In MPSoC /

Peekafood: Menu Assistant /

By Aamer, Osama ; Fatima, Eman ; Khalid, Taimoor Bin. Islamabad : SEECS - NUST, 2018 . 107 p. ; 30cm..

Place Hold on Peekafood:

Accelerating StoRM A CUDA based extension/

By Khan Muhammad Hannan.. Islamabad: SEECS-NUST, 2021 . 51 p. : 30cm..

Place Hold on Accelerating StoRM A CUDA based extension/

FORMALIZED THEORY AND APPLICATIONS /

By TAHAR,SOFIENE HASAN OSMAN.. NEW YORK ; 2015 . 298 P. ;

Place Hold on FORMALIZED THEORY AND APPLICATIONS /

Hardware Trojan Detection in Approximate Circuits Using Side Channel Analysis /

By Fatima, Manal . . 42 p. ;

Place Hold on Hardware Trojan Detection in Approximate Circuits Using Side Channel Analysis /

Formal Analysis of Power Electronics Circuits using Theorem Proving/

By Ahmad, Asad. . 103,p; 30,cm..

Place Hold on Formal Analysis of Power Electronics Circuits using Theorem Proving/

Formal Verification of Dynamic Thermal Management for Many Core Systems/

By Bukhari Syed Ali Asadullah . . 124,p; 30cm..

Place Hold on Formal Verification of Dynamic Thermal Management for Many Core Systems/