| 000 | 00502nam a22001337a 4500 | ||
|---|---|---|---|
| 082 | _aMSEE-3 HIR | ||
| 100 |
_aSyeda Hira Taqdees _998971 |
||
| 245 | _aFormalization of laplace transform using the multivariable calculus theory of HOL-Light | ||
| 260 |
_aIslamabad _bNUST-SEECS _c2013 |
||
| 300 |
_a48 _b25cm _eCD ROM |
||
| 500 | _aSupervisors: Dr. Osman Hasan, Dr. Awais Mehmood Kamboh, Dr. Ammar Hasan, Dr. Rehan Hafiz | ||
| 856 | _uhttp://10.250.8.41:8080/xmlui/handle/123456789/8811 | ||
| 942 |
_cPR _2ddc |
||
| 999 |
_c13010 _d13010 |
||