FEEDBACK Smiley face

Your search returned 2 results. Subscribe to this search

|
1. Logic synthesis and verification algorithms

by Hachtel, Gary D | Somenzi, Fabio.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Springer, c2006Online access: Publisher description | Table of contents only Availability: Items available for loan: IIITD [621.395 HAC-L] (1).

2. Computer Aided Verification [electronic resource] :15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings /

by Hunt, Warren A [editor.] | Somenzi, Fabio [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in