Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings / Ramayya Kumar, Thomas Kropf, eds.
Material type:
TextSeries: Lecture notes in computer science ; 901Publication details: Berlin ; New York : Springer-Verlag, c1995. Description: viii, 303 p. : ill. ; 24 cmISBN: 3540590471 (Berlin : acidfree paper); 0387590471 (New York : acidfree paper)Subject(s): Digital integrated circuits -- Computer-aided design -- Congresses | Automatic theorem proving -- CongressesDDC classification: 004.6606
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| REFERENCE | Malaviya National Institute of Technology Reference | 004.6606 (Browse shelf(Opens below)) | Not for loan | 50114 |
Browsing Malaviya National Institute of Technology shelves, Shelving location: Reference Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| 004.6 ZHA Behavior dynamics in media-sharing social networks / | 004.62 STA ISDN and broadband ISDN with frame relay and ATM / | 004.62 STE TCP/IP illustrated / | 004.6606 Theorem provers in circuit design : | 004.67 Internet system handbook / | 004.678 Open computing guide to Mosaic | 004.678 2 THU Developing and securing the cloud / |
There are no comments on this title.