NUST Institutions Library Catalogue catalog › Details for: Formal Analysis of Homogeneous Linear Differential Equations Using Theorem Proving /

Normal view MARC view ISBD view

Formal Analysis of Homogeneous Linear Differential Equations Using Theorem Proving / Muhammad Usman Sanwal.

By: Muhammad Usman SanwalContributor(s): Dr. Osman Hasan Material type: Text

TextPublisher: Islamabad : RCMS - NUST, 2012Description: ix, 50 p. ill. ; 30cmSubject(s): Computational Science And Engineering - MS ThesisDDC classification: 004

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

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-5589

Total holds: 0

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 Temperature Tuned Simulations of Double HeteroJunction Bipolar Transistors /	004 MS/Thesis:Control Synthesis For High Angle of Attack Flight an Unmanned Air Vehicle Using Aerodynamic Vectoring	004 Thesis:Modeling & Simulation of Biological Neural Networks Using KOCH Model	004 Formal Analysis of Homogeneous Linear Differential Equations Using Theorem Proving /	004 Electrical Modeling of Excitable Cells /	004 MS/Thesis Systems Engineering:Performance Analysis of Massive MIMO Systems in the Presence Composite Shadowing Fading	004 MS Thesis:Detection and Cognitive Assessment of using high Performance Computing	Next

There are no comments on this title.

to post a comment.