Formal reasoning about molecular pathways in higher order logic
Material type:
TextPublisher: Islamabad NUST-SEECS 2014Description: 42p.: 27cm.+ CD-ROMDDC classification: MSEE-3 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 (Browse shelf) | Available | CL-T-4724 | |||
Project Report
|
Central Library (CL) | Central Library (CL) | NFIC | General Stacks | MSEE-3 SOH (Browse shelf) | Available | SEECSP01612 |
Total holds: 0
Supervisors: Dr. Osman Hasan Dr. Awais Kamboh Dr. Rehan Hafiz Dr. Murtaza Khan
There are no comments on this title.