| 000 | 00710nam a22002177a 4500 | ||
|---|---|---|---|
| 003 | NUST | ||
| 008 | 140611b xxu||||| |||| 00| 0 eng d | ||
| 020 | _cAvailable | ||
| 038 | _aNusrat Nadeem | ||
| 040 |
_aDLC _bDLC _cRCMS |
||
| 050 | _a004.12 HUM | ||
| 082 | _a004.12 HUM | ||
| 100 |
_aGul Humaira _910913 |
||
| 245 |
_aModeling & Formal Verification, Using Model Checking, of an Inverted Pendulum Based Coaxially Parallel , Two wheeled Transportation vehicle _cHumaira Gul |
||
| 260 |
_aIslamabad _bRCMS NUST, _cc,2012. |
||
| 300 |
_axi,55,p: _bHB, _c25,cm. |
||
| 440 |
_aMS Thesis Computational Sciences _910914 |
||
| 500 | _aMS Thesis | ||
| 700 | _4Dr.Jamil Ahmad (Supervisor) | ||
| 942 |
_2ddc _cTHE |
||
| 999 |
_c24514 _d24514 |
||