LIBRARY AND INFORMATION CENTRE

↓ Click here to search N-LIST Database
↓ Click here to search Print Books and E-Books
Amazon cover image
Image from Amazon.com
Image from Google Jackets

Formal Semantics And Proof Techniques For Optimizing VHDL Models

By: Material type: TextTextPublication details: Germany Springer 2000ISBN:
  • 9780792383758
Subject(s):
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Status Barcode
Main Library Books Main Library Books Basaveshwar Engineering College,Bagalkote HAND_BOOKS A-39 M.Tech VLSI & Embedded Systems Available 126391
Total holds: 0

Management

There are no comments on this title.

to post a comment.

Total No of Books as on Date

Titles Volumes National Journals(Print) International Journals(Print) e-Books e-Journals
43955 139001 162 3 34446 10300

Library working hours

Monday to Saturday Sunday and General Holidays
10.00am to 5.30pm Closed
Contact Information: Librarian, Basaveshwar Engineering College(Autonomus) Bagalkot -587102 Mobile:9448514872