Formalization of laplace transform using the multivariable calculus theory of HOL-Light
Material type:
TextPublisher: Islamabad NUST-SEECS 2013Description: 48 25cm CD ROMDDC classification: MSEE-3 HIR Online resources: Click here to access online
| 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
Supervisors: Dr. Osman Hasan, Dr. Awais Mehmood Kamboh, Dr. Ammar Hasan, Dr. Rehan Hafiz
There are no comments on this title.