NUST Institutions Library Catalogue catalog › Details for: Modeling & Formal Verification, Using Model Checking, of an Inverted Pendulum Based Coaxially Parallel , Two wheeled Transportation vehicle

Normal view MARC view ISBD view

Modeling & Formal Verification, Using Model Checking, of an Inverted Pendulum Based Coaxially Parallel , Two wheeled Transportation vehicle Humaira Gul

By: Gul Humaira Contributor(s): [Dr.Jamil Ahmad (Supervisor)]Material type: Text

TextSeries: MS Thesis Computational SciencesPublisher: Islamabad RCMS NUST, c,2012Description: xi,55,p: HB, 25,cmDDC classification: 004.12 HUM LOC classification: 004.12 HUM

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings ( 2 )
Title notes ( 1 )
Comments ( 0 )

Item type	Current location	Home library	Shelving location	Call number	Status	Date due	Barcode	Item holds
Thesis	Central Library (CL)	Central Library (CL)	Thesis	004 (Browse shelf)	Available		CL-T-6063
Book	School of Interdisciplinary Engineering and Sciences (SINES)	School of Interdisciplinary Engineering and Sciences (SINES)	General Stacks		Available		RCMS002209

Total holds: 0

Browsing Central Library (CL) shelves, Shelving location: Thesis Close shelf browser

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	004 MS/Thesis:Formal Verification of Internet Worm Propagation Model	004 HIGH RESOLUTION OCT IMAGE GENERATION USING SUPER RESOLUTION VIA SPARSE REPERESENTATION /	004 MS/Thesis: Density Functional Theory Studies on Geometric and Electronic Properties of Anticancer Compounds,DNA Basepairs and Their Complexes	004 Modeling & Formal Verification, Using Model Checking, of an Inverted Pendulum Based Coaxially Parallel , Two wheeled Transportation vehicle	004 ENSEMBLE MODEL FOR CLASSIFICATION OF EMAILS BY MAJORITY VOTING /	004 Emo- Emotional State Analysis from Text /	004 Traders Lounge /	Next