NUST Institutions Library Catalogue catalog › Details for: Formal Verification of ECCs for Memories Using ACL2/

Normal view MARC view ISBD view

Formal Verification of ECCs for Memories Using ACL2/ Mahum Naseer

By: Mahum Naseer Material type: Text

TextPublisher: Islamabad : SEECS NUST, 2018Description: ix, 38p. : ill. ; 30cmSubject(s): Mahum NaseerDDC classification: 621.3 Online resources: Click here to access online

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	621.3 (Browse shelf)	Available		CL-T-3888
Thesis	Central Library (CL)	Central Library (CL)	Thesis	621.3 (Browse shelf)	Available		CL-T-1830

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	621.3 Tradeoff between Spectrum Cost and Quality of Service in a cognitive Radio Network/	621.3 Impact of Fiber Type on Data Modulated Distributed Raman Amplification/	621.3 Machine- to-Machine Data Traffic Multiplexing in LTE - Advanced Network/	621.3 Formal Verification of ECCs for Memories Using ACL2/	621.3 Linear Quadratic Sampled-Data Segulation Based On Realizable Reconstruction Filter/	621.3 Design & Development of a Suspended Bridge and Themal Isolation Structure for Microbolometer IRFPA/	621.3 Proceeding for Coordinated Multi-Point Transmission [CoMP] for LTE- A	Next

Hard cover

There are no comments on this title.

to post a comment.