NUST Institutions Library Catalogue catalog › Details for: Formalization of laplace transform using the multivariable calculus theory of HOL-Light

Normal view MARC view ISBD view

Formalization of laplace transform using the multivariable calculus theory of HOL-Light

By: Syeda Hira Taqdees Material type: Text

TextPublisher: Islamabad NUST-SEECS 2013Description: 48 25cm CD ROMDDC classification: MSEE-3 HIR 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	Collection	Shelving location	Call number	Status	Date due	Barcode	Item holds
Thesis	Central Library (CL)	Central Library (CL)		Thesis	621.3 MSEE-3 HIR (Browse shelf)	Available		CL-T-3376
Project Report	Central Library (CL)	Central Library (CL)	NFIC	General Stacks	MSEE-3 HIR (Browse shelf)	Available		SEECSP01468

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	MSEE-3 AMI Analysis of strength of CAPTCHA schemes	MSEE-3 GHA Sentiment analysis on autistic kids	MSEE-3 HAS FPGA based hardware design for solving positive definite system of linear equations using matrix exponential	MSEE-3 HIR Formalization of laplace transform using the multivariable calculus theory of HOL-Light	MSEE-3 MAR Unsupervised and online neural spike sorting for implantable brain machine interface	MSEE-3 MUB Adaptive digital calibration and decimation filter design for delta sigma ADC	MSEE-3 NIA Statistical methods for the classification of agriculture products using infrared spectroscopy	Next

Supervisors: Dr. Osman Hasan, Dr. Awais Mehmood Kamboh, Dr. Ammar Hasan, Dr. Rehan Hafiz

There are no comments on this title.

to post a comment.