NUST Institutions Library Catalogue catalog › Details for: Formal Analysis of Power Electronics Circuits using Theorem Proving/

Normal view MARC view ISBD view

Formal Analysis of Power Electronics Circuits using Theorem Proving/ Asad Ahmad,

By: Ahmad, Asad Contributor(s): Supervisor:Dr.Osman Hasan Material type: Text

TextIslamabad; SEECS NUST; 2022Description: 103,p; ill; 30,cmSubject(s): PhD- Information TechnologyDDC 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)		200 (Browse shelf)	Available		CLPT-83
Soft Copy	Central Library (CL)	Central Library (CL)	Thesis	200 (Browse shelf)	Available		CLPT-96

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 Finite Time Estimation,Controland StabilityofContinuous,Discreteand Sampled-data Linear Systems/	200 A Robust Security Framework for Combating Malicious Attacks for Internet of Things/	200 A Data-Driven Approach to Automated Analysis of Cyber Threat Intelligence/	200 Formal Analysis of Power Electronics Circuits using Theorem Proving/	200 Real-Time VoIP Traffic classification using Deep Learning/	200 Formalization of transform methods using higher-order-logic theorem proving /	200 Formal Semantic Model for Web Applications Security- An Intelligent Approach for Detecting and Classifying Cyber Attacks/	Next

There are no comments on this title.

to post a comment.