HTML5 Icon

Your search returned 2 results.

1.
Formal verification: an essential toolkit for modern VLSI design

by Seligman, Erik | Schubert, Tom | Kumar, M V Achutha Kiran.

Edition: 1st ed. Language: English Publisher: Amsterdam Morgan Kaufmann/Elsevier 2015Availability: Items available for loan: Central Library [Call number: 621.395 SEL/F] (1). Items available for reference: Central Library [Call number: 621.395 SEL/F] (1).
2.
Parallel programming in OpenMP

by Chandra, Rohit | Dagum, Leonardo | Kohr, Dave | Maydan, Dror | McDonald, Jeff | Menon, Ramesh.

Edition: 1st ed. Language: English Publisher: San Francisco Morgan Kaufmann/Elsevier 2001Availability: Items available for loan: Central Library [Call number: 005.275 CHA/P] (9). Items available for reference: Central Library [Call number: 005.275 CHA/P] (1).

Imp. Notice: It is hereby requested to all the library users to very carefully use the library resources. If the library resources are not found in good condition while returning to the library, the Central Library will not accept the damaged items and a fresh copy of the same should be replaced by the user. Marking/ highlighting on library books with pencil or ink, scribbling, tearing the pages or spoiling the same in any other way will be considered damaged.