NUST Institutions Library Catalogue catalog › Details for: MS Thesis: Probabilistic Formal Modeling And Verification of Real Time Task Scheduling On Multiprocessor

Normal view MARC view ISBD view

MS Thesis: Probabilistic Formal Modeling And Verification of Real Time Task Scheduling On Multiprocessor Ehsan Fauzia

By: Fauzia Ehsan Material type: Text

TextPublisher: Islamabad RCMS NUST C,2017Description: x,109,p: ill: 30,cmSubject(s): -- Computational Science and EngineeringDDC classification: 621.001 FAU

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

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	005 (Browse shelf)	Available		CL-T-5324
Thesis	School of Interdisciplinary Engineering and Sciences (SINES)	School of Interdisciplinary Engineering and Sciences (SINES)	THE	Thesis	621.001 FAU (Browse shelf)	Available		RCMS003092-MS

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	005 Thesis:Identification of Longitudinal miRNA Expression Changes Associated With Smoking Cessation in the Extra-thoracic Airway	005 MS/THESIS:COMPUTATIONAL MODELING AND ANALYSIS OF LONGITUDINAL DAMPING DERIVATIVES FOR BIPLANE WINGS AT LOW REYNOLDS NUMBER	005 MS/Thesis:Categorizing the Small RNA Transcriptome in the Intra Thoracic Airways of Former Smokers	005 MS Thesis: Probabilistic Formal Modeling And Verification of Real Time Task Scheduling On Multiprocessor	005 MS/Thesis: IN-SITU BLOCKAGE MONITORING OF SENSING LINE	005 MS Thesis:Effect of Absorption Region Thickness on InP/ InGaAs PIN Photodiode	005 Thesis:Image Recognition Using Parallel Neural Architecture	Next

Shelf No 7 Row No 3

There are no comments on this title.

to post a comment.