Your search returned 3 results.

Not what you expected? Check for suggestions
1.
Scalable Hardware Verification with Symbolic Simulation [electronic resource] / by Valeria Bertacco.

by Bertacco, Valeria [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available :

2.
Functional Design Errors in Digital Circuits [electronic resource] : Diagnosis, Correction and Repair / by Kai-hui Chang, Igor L. Markov, Valeria Bertacco.

by Chang, Kai-hui [author.] | Markov, Igor L [author.] | Bertacco, Valeria [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available :

3.
Post-Silicon and Runtime Verification for Modern Processors [electronic resource] / by Ilya Wagner, Valeria Bertacco.

by Wagner, Ilya [author.] | Bertacco, Valeria [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2011Online access: Click here to access online Availability: No items available :


Implemented and Maintained by Biju Patnaik Central Library.
For any Suggestions/Query Contact to library or Email: library@nitrkl.ac.in OR bpcl-cir@nitrkl.ac.in. Ph:91+6612462103
Website/OPAC best viewed in Mozilla Browser in 1366X768 Resolution.

Powered by Koha