NUST Institutions Library Catalogue catalog › Details for: Thesis:Formalization of Asymptotic Notation in Higher-Order-Logic

Search

Normal view MARC view ISBD view

Thesis:Formalization of Asymptotic Notation in Higher-Order-Logic Nadeem Iqbal

Material type: Text

Text

Text

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

Holdings ( 2 )
Comments ( 0 )

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

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 Flow Separation of Various Dimple Geometries on T-106A Low Pressure Turbine Blade	004 MS/Thesis: Quantum Chemical Studies for the Mechanism of Phosphate Monoester Hydrolysis	004 BOUNDARY LAYER FLOW OF SISKO FLUID WITH CONVECTIVE BOUNDARY CONDITIONS /	004 Thesis:Formalization of Asymptotic Notation in Higher-Order-Logic	004 Impact Analysis Of High Pressure Fragmentation	004 MS/Thesis :Quantum Chemical Studies of the Hydrolysis of δ-6-Phosphogluconolactone to 6-Phosphogluconate	004 MS Thesis:Modeling Simulation and Characterization of Flow Control of Vortex Shedding Using Synthetic Jet Actuator	Next

There are no comments on this title.

to post a comment.

© 2023 Central Library, National University of Sciences and Technology. All Rights Reserved.